Axiom AI 验证堆栈项目

发布智能体人工智能信号强度 0.91 条来源

来源

1 条

A startup's AI agents have formally verified the Stacks Project, a major mathematical library.

2026-11-06