#数学家当场泪崩

共 1 篇相关文章

华人AI初创公司Axiom调度多智能体系统，在24天内将人类耗时半个世纪、长达15000页的“巨型定理”——有限单群分类定理（CFSG）完整形式化为Lean代码...

2026年10月30日人工智能 #AI补全人类史上最大数学证明 #数学家当场泪崩