7月24日、2026年フィールズ賞受賞者でシカゴ大学教授の鄧裕氏は最近のインタビューで次のように明らかにした。彼は数学研究に AI 補助ツールを使用しています。GPT はかつて、数日間解決できなかった特殊な数学的ケースの解決に役立ちました。
鄧裕氏は、AI を使用することで「多くの研究リンクがより便利になった」と感じていると語った。基本的に確実に真実であるいくつかの単純な結論については、AI に証明を与えてからそれをチェックさせます。 AI は、特定の組み合わせ計数問題に対応する既存の構造や標準的な結論など、自分が知らない知識を補完することがあります。
Deng Yu 氏は、最近の研究で、主要な命題に数日連続で解決できなかった特殊なケースがあったことを明らかにしました。 GPT は非常に簡単な証明を示し、特殊なケースをすぐに解決しました。この証明は一般的な状況に一般化することはできず、最終論文には書かれませんでしたが、貴重なアイデアを提供します。
鄧瑜氏はこう語った。AI が最終証明を直接完了できないとしても、研究者がローカル ルートを迅速に探索するのに役立つ可能性があります。。同氏は、将来的にはより成熟したコラボレーション方法を期待しています。つまり、人間の研究者が全体的なフレームワークと核となるアイデアを担当し、AI が一部の技術的派生を完了するのに役立ちます。しかし、彼はまた、科学研究に入ったばかりの学生もそれを使用する際には判断力を働かせる必要があることも強調しました。AI が一見完全な議論を提供するからといって、独立した判断と厳密な検証という必要なステップを省略することはできません。」。