AIMPACT メッセージ、2026年5月4日（UTC+8）、研究者は最初にGPT-5.4 Proから派生したAI生成証明方法を改良・適応し、最近エルドス問題1196の解決に用いた。このAI発見の数学的枠組みを一般化することで、共同研究チームはまた、エルドス、サルコジ、スメレディによって提案された60年の未解決予想を証明した。 このメッセージはWesRothによって2026年5月4日にTwitterで公開され、協力作業と証明方法の一般化応用について言及したが、具体的な技術詳細は提供されていない。（出典：InFoQ）
研究者はAI証明手法を改良し、エルドス問題と60年の予想を解決した
AIMPACT メッセージ、2026年5月4日（UTC+8）、研究者は最初にGPT-5.4 Proから派生したAI生成証明方法を改良・適応し、最近エルドス問題1196の解決に用いた。このAI発見の数学的枠組みを一般化することで、共同研究チームはまた、エルドス、サルコジ、スメレディによって提案された60年の未解決予想を証明した。 このメッセージはWesRothによって2026年5月4日にTwitterで公開され、協力作業と証明方法の一般化応用について言及したが、具体的な技術詳細は提供されていない。（出典：InFoQ）