#形式検証

3 件 · すべてのタグ

📡 Events

October 23, 2026

Opus 5.5が1.8億行の形式化証明を生成、123のオープンソースライブラリをカバー

形式検証LLMAnthropicソフトウェアサプライチェーンセキュリティ

August 3, 2026

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

AI数学形式検証

July 22, 2026

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

AI数学Lean形式検証