.png)
2026年5月28日，初创公司Axiom Math宣布其提交的8篇由AI生成或形式化证明的数学论文中，已有5篇通过同行评审并被学术期刊接收。创始人洪乐潼，2001年出生于广州，本科毕业于MIT，曾获罗德奖学金，后从斯坦福退学创办Axiom Math。公司于2026年3月完成2亿美元融资，估值达16亿美元。这批论文涵盖数论、代数几何等领域，其中一篇解决了Ballantine等提出的10个猜想中的6个，并发现反例。AxiomProver系统通过Lean形式化证明和机器验证逻辑，实践了人机协作新模式。公司下一步目标是打造自我改进的超级智能推理器，已开始探索博弈论与经济学领域应用。
原文链接
本文链接：https://kx.umi6.com/article/36288.html
转载请注明文章出处
分享至
打开微信扫一扫
内容投诉
生成图片
.png "36288")
相关推荐
.png)
换一换
对话深言科技岂凡超：AI打破人与信息的关系，语鲸想帮你对抗焦虑
2025-08-04 09:52:22
那封AI“替”雷军写的公开信，为什么这么多人信了？
2025-04-03 18:35:33
字节豆包研发 3D 模型 AI 生成工具“3D Model Generator”
2025-08-26 09:40:00
刘晓庆打假AI生成假冒视频：画面、声音像我 但不是我
2025-03-03 16:28:15
单图直出 CAD 工程文件，新研究解决 AI 生成 3D 模型“不可编辑”痛点
2025-04-14 18:46:51
日本摄影大赛一等奖作品疑是 AI 生成，作者承认没自己拍
2025-11-12 22:26:51
两位自动驾驶大牛创业世界模型：无需任何游戏引擎，人人免费可玩
2025-05-29 15:36:32
某平台多部AI生成短剧换脸易烊千玺 后者工作室发声明将追责
2026-04-05 09:44:58
居然有21%的ICLR 2026评审纯用AI生成…
2025-11-30 15:14:39
《黑神话：悟空》四妹被炼成"赛博丹药"！AI成图欣赏
2024-09-03 18:12:42
猪猪侠开YU7？CEO卖蜜雪… Sora2被网友玩坏了，律师警告
2025-10-05 17:22:52
AI暂时生成不了鲁迅和张爱玲，但别高兴太早
2025-04-03 09:10:59
Netflix《英雄联盟：双城之战》第二季海报被指 AI 生成，拳头工作人员回应
2024-11-23 18:30:21
717 文章
665145 浏览
24小时热文
更多
-
2026-05-28 17:29:36 -
2026-05-28 16:33:21
-
2026-05-28 16:32:13
