←返回首页

话题 · Topic

#形式化证明

共 2 条相关资讯

2026.07.24 · 周五研究论文

DeepMind 研究：AI 智能体自主解决 9 个 Erdős 开放问题

2026.07.04 · 周六开源

Mistral 发布 Leanstral 1.5：专注 Lean 4 证明工程的开源模型