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
永久链接