搜索
前脚OpenAI刚把Erdős 80年猜想推翻，数学家们的惊呼声还没落地。紧接着，Google DeepMind发布了一个全新AI数学智能体——AlphaProof Nexus。它一出手，就干掉了9道悬而未决几十年的Erdős开放问题。其中最古老的那个，悬了整整56年！
OpenAI宣布AI首次自主攻克顶级数学开放问题，连证明思路都让数学家意想不到！这个问题叫做平面单位距离问题，由匈牙利数学家保罗·Erdős在1946年首次提出。看视频（视频有亮点，曾经的清华本科特将获得者陈立杰是这个突破的的研究人员）
刚刚，谷歌发布了一项新的研究进展：他们用 Gemini 做了一次系统性的数学攻关实验，把目标对准了著名的 Erdős Problems 数据库里 700 个仍被标注为 open（未解决）的猜想。
数学大神陶哲轩近期发现，AI声称破解的Erdos难题，实则是多年前已被人类解决但被遗忘的「旧闻」。这揭示了AI当前的核心能力并非从0创新，而是利用超强算力扫描人类文献的「长尾黑洞」，摘取那些被我们忽视的「低垂果实」。
刚刚，AI又破解了一个数学难题！Erdos#1026问题已经被攻克，且给出了正式证明。而在此之前，这个问题已经困扰了数学界50年。陶哲轩在Mastodon上宣布了这一消息，还在一篇博客中详细讲述了这个故事。
近日，AI 初创公司 Axiom 宣布其模型在没有人类干预的情况下，自动完成了两个数学猜想的证明——埃尔德什问题（Erdős Problem）中的 481 号和 124 号。据称，481 号问题仅用时 5 小时，代码量为 656 行；124 号问题则耗时超 24 小时。值得关注的是，这些证明均通过 Lean 验证，Lean 的特点是其形式化证明过程无需人工干预，为数学正确性提供了保障。
刚刚，Erdos 问题 #124 的一个弱化版本被证明。
OpenAI于2025年11月22号震撼发布GPT-5早期实验报告，揭示了AI从「聊天机器人」向拥有逻辑直觉的「硅基科研员」进化的里程碑式飞跃。从协助破解困扰数学界数十年的Erdős谜题，到将数月的生物实验推理压缩至几分钟，GPT-5展现了惊人的跨学科洞察力与推理质变。这份报告宣告了AI4S时代的降临：AI是科学家手中那架穿透未知迷雾的「认知望远镜」。
星星之火，可以燎原！证明的尊严在于可验证；这一次，GPT-5让数学证据落在了代码里。一雪前耻，ChatGPT为OpenAI「正名」！被Hassabis吐槽太尴尬之后，GPT-5真启发了新的数学结论。OpenAI的科学家Sebastien Bubeck高调宣扬GPT-5破解了十道Erdős难题。但被指出GPT并非解决了Erdős问题，而是找到了已经解决这些问题的文献。
GPT-5一场闹剧，让OpenAI出大糗了！让所有人都以为GPT-5破解了十道Erdos难题，没想到竟是查文献给出了答案。Hassabis点评，这太尴尬了。