大学の数学が期待したほど面白くなかったんだが

[0066 １３２人目の素数さん 2023/11/30(木) 18:58:14.94 ID:afIXefRn]

>>64
解けるって何を？
数学の研究における探索って？
囲碁もオセロも有限だし
研究レベルの数学の形式化って誇大広告じゃない？