OpenAI宣称其内部推理模型成功解决Erdős Unit Distance Problem和一个Nesterov加速收敛问题.
作为一个数学偏微分方向的学生,真让人感叹又焦虑
我是23年GPT开放使用的那会就一开始就在使用了,那时候包括在或许很多的大模型数学能力测试中表现都不是很好,也有时候会出现有人发拿数学开放测试题来背答案也还觉得这至少对数学猜想来说还是聊天玩具,包括后面的各种cli工具,agent,image2等各种爆发,也只是让我感叹对计算机的冲击,至少是对数学没有很大的冲击力,现在一看,好像是要冲击数学学术圈了吗…
wallstreetcn.com
困扰人类80年的数学难题,被AI破解了!奥特曼:感受很复杂
OpenAI一个通用推理模型,自主攻克了困扰数学界近80年的“平面单位距离猜想”难题。更震撼的是,AI动用的突破工具竟来自毫不相关的代数数论领域。数学家Gowers称之为“AI数学的里程碑”,CEO奥特曼称“感受很复杂”。而数学可能只是开始,AI自主产出科学突破的时代可能比所有人预想的都来得更快。
1 个帖子 - 1 位参与者