#AI数学証明

全1件の記事

$AIが数学の未解決問題を解く時代：人間の研究者は何をすべきか$

AIが数学の未解決問題を解く時代：人間の研究者は何をすべきか

AI「AxiomProver」が5年間未解決だった数学の予想を証明。ChatGPTでは解けなかった問題をAIが瞬時に解決した背景と、数学研究の未来への影響を探る

2026年2月4日