Skip to content

Lean

主题归档 • 1 条结果

AI 生成:摘要由 AI 根据所链接的来源撰写。 我们如何使用 AI

返回首页 • GEO summary endpoint

2026-10-07

科技

  • 一个关于11个正方形最优打包的AI辅助证明已通过Lean的形式化验证。完成的EvolvingPrograms验证运行接受了所有7,920个本地Lean模块,最终审计报告零接纳。

    AI研究 • Hacker News

    永久链接