>>172
>新しい話題は歓迎なんだが

巡回ご苦労さまです
まあ、こういう時代だってことですかね
数学者が不要になることはないと思いますよ
でも、レベルアップは必要ですしょうね

数学科は イプシロンデエルタぞ
厳密ぞ おまえら 数学科以外は厳密ではない！ という時代は終わった
厳密だけなら AI+コンピューター証明が上

まあ、囲碁界でのAIみたくには 数学界ではならないでしょうね
あたかも πの数値計算が 圧倒的にコンピュータパワーが高いとしても
数学では 人間が考える領域は残る・・・でしょうね・・ （＾＾

(参考)
https://ledge.ai/articles/ai_autonomous_solution_erdos_problem_728
ledge.ai
2026/1/24 [SAT]
フィールズ賞のテレンス・タオ氏、「GPT-5.2 Proが数学の未解決問題をほぼ自律的に解き切った」と評価──エルデシュ問題#728で示されたAIの新たな到達点

AIが数学の未解決問題を「ほぼ自律的に解き切った」と、数学者が評価した。著名な数学者であるテレンス・タオ氏が2026年1月8日、分散型SNS「Mathstodon」への投稿で、エルデシュ問題の一つである #728 が、AIツールによって「more or less autonomously（ほぼ自律的に）」解かれたと述べた。

この成果についてタオ氏は「私たちの知る限り、既存の文献では再現されていない」としたうえで、近年のAIツールの能力向上を示す「節目（milestone）」だと位置づけた。