数学に関するニュース

数学はかつて芸術だった——AIが力任せにやってくるまでは

AIが数学の難問を総当たりで解くようになった今、数学が長年培ってきた美学と判断力の文化が岐路に立たされている。形式化検証という強みを持つ数学が、AIを「代替者」ではなく「加速器」として活かせるかが問われている。

OpenAIは自社開発のAIエージェントが数学分野で最重要とされる未解決問題の一つを解いたと主張したが、検証プロセスの不透明さや商業的動機への疑念から、数学界に激しい論争を引き起こしている。