TAG:数学

2026菲尔兹奖得主齐默尔曼宣布转向AI安全并加入OpenAI。他凭借o-极小性理论重塑算术几何，推动格里菲斯周期图像代数性猜想与安德烈-奥尔特猜想多项突破，证明了自己顶尖数学天赋。赛后新闻发布会透露，他对AI安全严谨审慎的态度同样令人钦佩，这标志着数学最高荣誉得主向AI治理领域转型。

aibase

2026-07-24 16:56

4

·

0

谷歌DeepMind团队推出的AlphaProof Nexus AI框架，凭借创新的四级智能体架构和形式化验证能力，成功解开了两道悬置56年的Erdős数学难题。该系统在自主测试中解决了9个Erdős问题和44个开放猜想，推理成本仅数百美元，标志着AI驱动的科学发现取得重大进展，预示着人类与AI深度协作攻克科学难题的新时代。

aibase

2026-05-26 15:10

2

·

0

图灵奖得主高德纳被AI震撼：Claude仅用1小时破解他钻研30年的数学难题。文章讲述AI如何通过结构性思维解决图论难题，并展示清晰的推导逻辑，让这位计算机科学泰斗对生成式AI刮目相看。

aibase

2026-03-09 18:13

3

·

0

OpenAI的GPT-5.2 Pro模型成功攻克了数论领域的埃尔德什难题第281号，其证明过程被数学家陶哲轩评价为具有原创性。文章同时揭示了AI解决此类难题的真实成功率仅为1%-2%，并探讨了AI作为数学研究辅助工具的潜力与局限。

aibase

2026-01-19 14:50

22

·

0