テレンス・タオが ChatGPT と数学難題を対話・ヤコビアン予想で反例を検証

要約

数学者テレンス・タオが ChatGPT との会話記録を公開し、ヤコビアン予想の反例をめぐる対話の過程を示した。AI との段階的な検証・証明の議論を通じて、数学的直観と形式的推論の相互作用をドキュメント化している。この公開はトップ数学者による LLM の数学的応用の具体例として業界の注目を集めており、AI の推論能力と数学的議論の限界・可能性を実証的に示すものとなっている。