タオ氏「数学2.0」は進歩の評価を刷新すべき
原題: “Math 2.0” will need to value mathematical progress more holistically
なぜ重要か
AI証明支援ツールの普及が数学の学術評価制度そのものを揺るがし始めており、研究者の貢献指標の再定義が求められている。
フィールズ賞受賞者のTerence Tao氏が、AIツールの台頭を背景に「数学2.0」の時代が到来しつつあると指摘した。同氏はMastodonへの投稿で、従来の数学（Math 1.0）が「最初の発見者」を過度に重視してきた点を問題視し、今後は数学的進歩をより包括的な視点で評価する必要があると主張した。
著名な数学者Terence Tao氏が、Mastodonのmathstodon.xyzへの投稿で、数学の評価基準の転換について論じた。
Tao氏によれば、「Math 1.0」では誰が最初に定理を証明したかという優先権（priority）が過度に重視されてきた。しかし、AIを活用した証明支援ツールや協調的な数学研究が広がる現在、こうした一点集中型の評価軸は時代に合わなくなっていると指摘する。
「Math 2.0」においては、証明の発見者だけでなく、その証明を形式化した人物、証明を検証・改善した貢献者、さらにはより理解しやすい解説を提供した人物なども適切に評価されるべきだという考えだ。
Tao氏はここ数年、LeanなどのAI支援型証明アシスタントの活用や、Polymath Projectに代表されるオープンな共同研究の推進に積極的に関与してきた。今回の投稿は、そうした実践の延長線上にある問題提起といえる。
数学コミュニティでは、AI証明ツールの精度が向上するにつれ、「誰が証明したか」より「どう証明を発展させるか」という視点の重要性が高まっている。Tao氏の発言は、学術評価制度や論文の著者基準にまで影響を与えうる議論の出発点として注目される。