Lean
トピックアーカイブ • 1 件
AI生成:要約はリンク先の情報源をもとにAIが作成しています。 AIの利用について
2026-10-07
テクノロジー
11個の正方形の最適なパッキングに関するAI支援による証明が、Leanによる形式的検証に合格した。完了したEvolvingPrograms検証実行は、7,920個すべてのローカルLeanモジュールを受け入れ、最終監査ではゼロ件の受理が報告された。
AI研究 • Hacker News
パーマリンク
トピックアーカイブ • 1 件
AI生成:要約はリンク先の情報源をもとにAIが作成しています。 AIの利用について
11個の正方形の最適なパッキングに関するAI支援による証明が、Leanによる形式的検証に合格した。完了したEvolvingPrograms検証実行は、7,920個すべてのローカルLeanモジュールを受け入れ、最終監査ではゼロ件の受理が報告された。
AI研究 • Hacker News
パーマリンク