我5天内解决了6个Erdős开放问题
摘要
作者声称在五天时间内解决了数学家Paul Erdős提出的六个未解决问题。
暂无内容
相似文章
使用20个并行运行的Codex账户解决20个Erdős问题
研究人员使用20个并行Codex账户解决了20个Erdős问题，其中包括使用Lean对数论中的Erdős问题#123的形式化证明。
又一个50多年未解决的Erdős问题被GPT-5.6攻克
GPT-5.6又解决了一个由数学家Paul Erdős提出的50多年未解决的难题，展示了人工智能在数学推理能力上的重大飞跃。
@gdb: 用于解决 Erdős 问题的 Sol Ultra：
GPT-5.6 Sol Ultra 已经解决了另一个 Erdős 问题（#793），使用了极其简短而优雅的构造，增强了 Erdős 使用的原始方法。
@immortal_00994: 2026年开年以来，AI 以摧枯拉朽的速度完整解决了至少10个Erdős问题，如果把新解也考虑在内，那就是19个，数学科研的珍妮纺纱机已经出现了。 详情： 根据著名数学家陶哲轩维护的名叫 AI contributions to Erdős…
2026年开年以来，AI以摧枯拉朽的速度完整解决了至少10个Erdős问题，若包括新解则达19个，被视为数学科研的珍妮纺纱机。
Google DeepMind的AI代理自主解决了353个未解决的Erdős数学问题中的9个，每个问题花费仅几百美元。
Google DeepMind的AI代理自主解决了353个未解决的Erdős数学问题中的9个，每个问题花费仅几百美元。