标签：形式化验证

1 篇文章 · 查看全部标签

• AI 又攻下一道 30 年数学悬案：这家团队验完才宣布，OpenAI 发 722 篇先撤 3 篇2026 年 10 月 16 日

← 返回首页