公司
Axiom
开发多智能体系统形式化验证数学定理的初创团队
档案回溯至 2026-10 · 收录于 2026-10-30热度 1.0
mathagentformal-methods
暂未评估,等待下一轮评分。
事件时间线
- 2026-10-30 🏁 里程碑Axiom团队用多智能体系统24天内完成有限单群分类定理（CFSG）全形式化验证
关联信号
- 2026-10-30 AI补全人类史上最大数学证明，数学家当场泪崩
想把「Axiom」相关的机会落到自己的业务上?
想把 AI 机会落到自己的业务上?
灯塔背后的优秘智能团队提供:AI 落地咨询 · GEO 优化(让 AI 搜索推荐你的品牌) · 定制开发。留下需求,1 个工作日内回复。