20月2026日、arXivの最新リストに、数学者たちがChatGPT-6 Astraのようなモデルの支援を明記した論文が現れた。
その中には、任意のk ≥ 3に対するヒマワリに関するエルデシュ–セメレディ予想の証明が含まれる。著者らは、中心となる定理を見つけたのはまさにChatGPT-6 Astra Proであると述べている。
これまでに知られていたのはk = 3の場合のみであり、これは2016年のcap-setによるブレークスルーによって得られたものだった。今回、明示的な改善が主張されている。すなわち、k-ヒマワリを含まない族のサイズは2^nより小さい値で抑えられる。
同じリストには、AIが関与した他の結果も含まれている。ボロディン–コストチカ予想に対する評価、整数計画問題の求解時間の改善、そして可換の場合におけるアルヴェソン予想への反例である。
多くの著者が、モデルが重要なステップや完全な証明を提案し、人間がそれを検証して整えたと書いている。一部の論文にはLeanによる検証への言及が添えられているが、ファイルはまだ公開されていない。
主張されたすべての結果は独立した査読を待っている。現時点では「検証待ち」の状態にとどまっている。
