GPT-5が数学的な難問を初めて独立して解き明かす 透明化された帰因実験が学界を揺るがす

スイスの数学者ヨハンネス・シュミット氏は、Xで最近画期的な研究成果を発表した。それは、GPT-5が人間の干渉や指示なしに、長年未解決だった数学的難問を初めて独自に解いたものである。シュミット氏は、GPT-5の解決策が驚くべき創造性を示しており、この分野の通常の論理に従わず、代数幾何学の他の分野の技術を応用したと評価している。

この発見は、数学の巨匠テオドール・タオがAIの可能性を予測したことを実証するものであり、科学界に「AIの独立貢献」に直面しなければならない新しい段階をもたらした。現在、この証明過程は厳格な同僚審査を受けている。

学術的な発見そのものだけでなく、シュミットが提出した論文は、研究の透明性に関する前衛的な実験でもある。この非常にデジタル化された論文では、人間とAIの協力が極限まで分解されている。証明プロセスはGPT-5とGemini3Proによって共同で行われ、叙述テキストはClaudeによって執筆され、厳密なLean形式の証明はChatGPT5.2によって補助的に生成された。

100％の追跡可能な形にするために、論文のすべてのセクションには出力主体が正確に記載されており、オリジナルのチャット記録やプロンプトへのリンクが添えられている。このような取り組みは研究の信頼性を確保するが、操作が非常に時間のかかることで、一部の学者から「学術的な官僚主義」になる可能性があるとの懸念が指摘されている。