Aletheia

产品

Google DeepMind推出的用于挑战Erdős数学猜想的证明系统

1 次提及3 个连接首次出现: 2026-05-04最近出现: 2026-05-04

关系图谱

关系 (3)

发布 (1)

Google DeepMind

使用 (1)

Gemini Deep Think

使用技术 (1)

形式化验证

相关文章 (1)