erdos-problems

OpenAI的AI模型已经解决了多个著名的埃尔德什问题，包括单位距离猜想，促使数学家重新思考AI如何改变数学研究。

VibeMathed是一个追踪借助AI解决的数学问题的网站，特别关注Erdős问题，包含验证状态和所用AI模型的引用。

研究人员使用20个并行Codex账户解决了20个Erdős问题，其中包括使用Lean对数论中的Erdős问题#123的形式化证明。

GPT-5.6 Sol Ultra 已经解决了另一个 Erdős 问题（#793），使用了极其简短而优雅的构造，增强了 Erdős 使用的原始方法。

马特·帕克的视频探讨了近期AI（包括ChatGPT）帮助解决未解的Erdős问题的案例，彰显了AI辅助数学发现的新时代。

Thomas Bloom 撰写了一篇综述博文，介绍了近期关于 Erdős 单位距离猜想和实数域上和积猜想的反例，包括借助 OpenAI 辅助推翻单位距离猜想的工作，以及通过合作推翻和积猜想的工作，并概述了相关构造方法及其背后的直觉。

Demis Hassabis评论称，解决Erdos问题并不构成真正发明，提供了关于AI创造力和问题解决本质的视角。

2026年开年以来，AI以摧枯拉朽的速度完整解决了至少10个Erdős问题，若包括新解则达19个，被视为数学科研的珍妮纺纱机。

Google DeepMind的AI代理自主解决了353个未解决的Erdős数学问题中的9个，每个问题花费仅几百美元。