初创公司Axiom Math提交了8篇AI生成的数学论文，其中5篇已通过同行评审。创始人洪乐潼在MIT获得双学位后退学创业，AxiomProver系统能够生成形式化证明并与人类数学家合作。该公司的目标是打造自我改进的超级智能推理器，已解决多个数学难题，并扩展到博弈论和经济学领域。