Axiom Math、
IEEE Spectrum · AIBenjamin Skuse要
AI要約
3行で- Axiom Math が 246 定理の証明を AI で検証しました。
- 同社の AxiomProver を使った成果です。
- AI 生成コードの検証への応用も見込まれます。
AI要約です。詳しくは出典へ。誤りを報告
典
出典
1ソースIEEE Spectrum · AIAI Used to Verify Toughest Mathematics Proof Yetspectrum.ieee.org