AI攻破80年数学难题
OpenAI这次有点吓人,它的通用推理模型,推翻了埃尔德什1946年提出的平面单位距离猜想。简单说,就是平面上放很多点,最多能有多少对点刚好相距1。这个问题看着像几何题,其实卡了数学界快80年。
这次模型给出了新构造,外部数学家也做了验证。最关键的是,它不是专门为这道题训练的。
以前AI像科研助理,帮人查资料、写代码、算结果。现在它开始往前跨了一步:自己提出人类没想到的解法。数学圈如果都开始被AI撬动,那科研×AI,真的可能会产生无数种可能了~

AI攻破80年数学难题
OpenAI这次有点吓人,它的通用推理模型,推翻了埃尔德什1946年提出的平面单位距离猜想。简单说,就是平面上放很多点,最多能有多少对点刚好相距1。这个问题看着像几何题,其实卡了数学界快80年。
这次模型给出了新构造,外部数学家也做了验证。最关键的是,它不是专门为这道题训练的。
以前AI像科研助理,帮人查资料、写代码、算结果。现在它开始往前跨了一步:自己提出人类没想到的解法。数学圈如果都开始被AI撬动,那科研×AI,真的可能会产生无数种可能了~

作者最新文章
热门分类
科技TOP
科技最新文章