新闻资讯7

GPT - 5.2攻克数学难题，人类数学家地位受冲击

新智元2026-01-25

AI 摘要

币圈玩家Neel Somani用GPT - 5.2 Pro攻克数学难题，成功率仅1% - 2%，靠Aristotle筛选。陶哲轩称其为“人工通用小聪明”，人类数学家或只负责定义问题，数学美感面临挑战。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

OpenAI等用AI攻克Erdős数学难题

2026年，OpenAI等公司用AI解决多个匈牙利数学家Paul Erdős提出的问题，震动数学界。这些问题分布广、难度跨度大，适合模型测试。不过，AI证明的验证和人类数学家地位受关注。

菲尔兹奖得主陶哲轩在ICM大会称数学迎来百年危机，上次危机是检查逻辑地基，这次是价值观地基。他以First Proof评测展示AI解数学题能力，提出“工作假设”分析数学研究目标及KPI变化和“证明过剩”问题，还给出应对之策。

7月24日，陶哲轩在ICM 2026演讲指出数学界正经历新危机，关乎价值观与工作方式。他围绕AI能力猜想探讨数学界如何应对，列举目标和风险，提出需升级目标，还介绍莱顿宣言建议。

当地时间7月24日，菲尔兹奖得主陶哲轩在2026年国际数学家大会上发表演讲，指出AI参与数学研究，或使数学站在类似历史节点，研究方式和价值体系受挑战，还探讨了AI对数学研究各方面的影响及应对方向。