OpenAI称攻克100多道数学难题 数学界进入“证明过剩”时代?
量子位
量子位
000
发布于2026年09月22日 20:05 · 405 播放
OpenAI称,一款内部模型已经解决100多道长期开放的数学问题。问题也随之变了:当AI解题的速度开始超过数学家验证、理解和发表成果的速度,数学界真正稀缺的,可能不再是答案,而是消化答案的时间。
展开