扫描下载APP
其它方式登录
GPT-6 Astra联合人类研究员攻克悬而未决9年的数学难题，首次证明批准式委员会选举中‘核’恒非空，即绝对公平的委员会必然存在；AI不仅否定了反例存在的可能性，还原创提出基于‘调和熵’的投票规则与多项式时间算法，标志着大模型从解题工具跃升为数学规律发现者。
GPT-6 Astra成功解出FrontierMath Tier 4最后一道未被AI攻克的题目，标志着这一曾被数学家视为‘研究级防线’、涵盖分析、数论、拓扑等领域的高难度测试题库全面被AI至少单次解出，Tier 4宣告‘饱和’；但AI尚未真正解决开放数学问题，FrontierMath已转向Erdős开放问题和形式化证明等新挑战。
谷歌DeepMind推出AI协同数学家（AI Co-Mathematician），一个专为数学研究设计的多Agent系统，通过长期协作、失败记录与工作流并行机制，协助牛津大学数学家攻克群论领域数十年未解的第21.10号问题，并在最难数学基准FrontierMath Tier 4上以48%准确率刷新SOTA，显著超越基座模型Gemini 3.1 Pro的19%。
