Skip to content

Lean

トピックアーカイブ • 1 件

AI生成:要約はリンク先の情報源をもとにAIが作成しています。 AIの利用について

ホームに戻る • GEO summary endpoint

2026-10-07

テクノロジー

  • 11個の正方形の最適なパッキングに関するAI支援による証明が、Leanによる形式的検証に合格した。完了したEvolvingPrograms検証実行は、7,920個すべてのローカルLeanモジュールを受け入れ、最終監査ではゼロ件の受理が報告された。

    AI研究 • Hacker News

    パーマリンク