陶哲軒氏：AIが数学証明を氾濫させ、数学 1.0 時代の終焉が迫る

Techub News のニュースによると、フィールズ賞受賞者のテレンス・タオ氏が、AI が数学的証明を氾濫させていると指摘し、証明の希少性に基づく数学の 1.0 時代が終わりを迎えようとしていると述べました。彼は、十分な計算能力と最先端のモデルがあれば、人々は短時間で多くの難問の解答を得ることができるが、解答の正しさ、貢献度、および既存の研究との整合性を判断するには、依然として慎重な取り組みが必要だと指摘しました。 テレンス・タオ氏は、数学の現在の最先端の問題の大多数はまだ解決されておらず、AI の能力は均一ではないと考えています。彼は、より透明で科学的な評価メカニズムを確立し、失敗した結果と AI の計算コストを報告に含めることを呼びかけ、盲目的に「問題解決」指標を最適化し続けると、数学の長期的な健全性を損なうと警告しました。 AI 時代における数学者の核心的価値について、テレンス・タオ氏は、モデルは答えを生成し、推論を検証することができるが、人間のチェックを代行することはできないと強調しました。彼は、証明をいち早く生成することへの強調を減らし、説明、審査、知識の整理への重視を増やすことを主張し、自身が参加しているオープンな数学モデルプロジェクトがまもなく公開されることを明らかにしました。（量子位）