最新AIモデルの科学への貢献

AI-News.ruの記事では、最近のAIモデルが科学、特に数学に貢献していることについて議論しています。記事は、テリー・タオ（2026年7月21日）によるヤコビアン予想の反例に関する投稿に言及しており、そこではClaude Fable 5やChatGPTを含むAIモデルが役割を果たしました。別のプレプリント（arXiv:2607.18186）では、次元n≥3に対して成立する証明が示され、ChatGPTとClaudeが支援しました。Microsoftの研究者による論文（arXiv:2607.18619）では、GPT-5.6 Solを用いた四色定理の別証明が説明されています。さらに、arXiv:2607.18655はClaude Fable 5に関連し、arXiv:2607.19675では1964年の問題を参照してOpenAI Codexを使用した証明が記述されています。他の研究には、誤差項O(T^-1)を持つDe Giorgi予想のAI導出の境界（arXiv:2607.18174）、GPT-5.6を使用したSYKモデルの論文（arXiv:2607.18998）、およびジョバンニ・フォルニによる多角形内のビリヤードの周期軌道の存在証明（arXiv:2606.10102）が含まれます。著者はまた、GPTを用いた自身の研究にも言及しています。