#形式検証

2 件 · すべてのタグ

📡 Events

August 3, 2026

「AIが90年の数学的難問を打破」の真相——壊れていたのは検証ツールだった

AI数学形式検証

July 22, 2026

AIが数学の反例を続々と発見、数学者を震撼——Erdős、Grothendieck、ヤコビアン予想が覆される

AI数学Lean形式検証