首页
洞察
早报
日报
主题探索
关于
通用推理模型
洞察 Insights
AI手撕80年数学“钉子户”,数学家们坐不住了:这题我会!
OpenAI的通用推理模型独立破解了困扰数学界80年的埃尔德什平面单位距离猜想,其证明不仅推翻了原猜想,还跨界使用了代数数论工具。该成果获得多位菲尔兹奖得主背书,被看作是AI在数学领域从“助手”到“原创者”的关键转折点。
阅读全文