AIは数学者になれるか 数学界に衝撃、証明検証ソフトLean登場

2025.12.14 9:00
Asahi.com

■《前編》AIは数学者になれるか AIが数学の定理を理解し、証明し、自分で正しさをチェックする――。そんな時代が近づいている。これまで人間が担っていたひらめきや証明、検証にAIなどのコンピューターが挑…

検索

人気記事

2026.05.05 11:04
2026.10.22 0:04
2026.10.21 22:50
2026.10.22 0:00
2026.10.21 23:09

コメント一覧

まだコメントはありません。

コメント