数学论文

• 人工智能

  00后创始人洪乐潼：5篇AI数学论文被接收，融资14亿

  数学论文预印本领域正在经历一场静悄悄的变革。当大多数研究者还在争论大模型能否理解数学逻辑时，一家名为Axiom Math的初创公司已经拿出了实际成果：8篇由同一个系统生成或形式化证…

  1天前