25岁天才少女“整顿”AI圈：让大模型像做数学题，一步都不能错！ MIT牛津斯

寻云糊涂 2026-03-31 02:35:36

25岁天才少女“整顿”AI圈：让大模型像做数学题，一步都不能错！ MIT牛津斯坦福开挂，25岁退学创业，一年干出110亿独角兽！说的就是广州女孩洪乐潼。她创立的Axiom，专治AI“胡说八道”——用数学证明的逻辑，让大模型的每一步推理都可验证，从根源上杜绝“概率性瞎蒙”。最狠的是，她甚至让一位功成名就的数学界泰斗、弗吉尼亚大学终身教授Ken Ono，毅然辞职跑来给她打工！只因为看到了“数学超级智能”的可能。这波00后创业潮真是“卷”出新高度：不追风口，专啃硬骨头。所以，AI的上限到底在哪？或许答案就藏在这位“数学卷王”的偏执里。你觉得，这种“绝对正确”的AI，有生之年能看到吗？

0 阅读：1

感谢大家的关注

作者最新文章

1

广东“反向营销”天花板：老板贴告示“喝汤可能拉肚子”，结果火到想哭！佛山一家

2

深圳电动车“速度与激情”现实版：650万辆的“路权大战”开打！深圳电动车新规

3

深圳“最光明”的区，打工人看了都想来躺平！深圳光明区，一个被东莞和深圳兄弟区

4

乐坛冰火两重天：一个侵权翻唱被怼，一个暴雨退票封神！最近两位顶流歌手贡献了教

5

广东天气变脸秀：雨水“调休”两天，清明假期疯狂“加班”！这天气是懂“调休”的

6

华为AI大将跑路！90后学霸带“套壳”争议潇洒离场华为盘古大模型核心负责人、

7

广东天气“戏精”附体！高铁困隧道，机场“跪求”旅客别急这天气是真能“作妖”！

8

德国巨头在湛江“梭哈”了！投了87亿欧元，就为搞“绿色”化工？巴斯夫在湛江的

9

楼市也“内卷”！光明区2月成交榜出炉，冠军居然是这个盘？深圳楼市“月考”成绩

10

25岁天才少女“整顿”AI圈：让大模型像做数学题，一步都不能错！ MIT牛津斯

热门分类

军事TOP

1

#伊朗称击中一架美军隐形战机#【伊朗：击中一架美军隐形战机有能力对抗最先进设备

2

#白宫回应俄被曝向伊朗提供情报#【#美媒称俄罗斯向伊朗提供情报#，白宫回应】据

3

#美国精锐伞兵部队可能被投入地面战#【美精锐空降兵突然取消演习，要推地面战？】美

4

【#乌克兰制裁俄罗斯#】据乌通社报道，当地时间4月4日，乌克兰总统办公室称，乌克

5

【俄媒：#伊朗向俄罗斯请求人道主义援助#】据俄罗斯《专家》周刊网站3月12日报道

6

【#俄罗斯警告日本#】#日本采购巡航导弹俄罗斯发出警告#据新华社，俄罗斯外交部发

7

【#美方给予印度购买俄油30天豁免期#，“像给枪伤贴创可贴”】中东冲突引发全球能

8

#卢卡申科对朝鲜进行正式访问#【#白俄罗斯总统对朝鲜进行正式访问#】据俄罗斯卫星

9

#普京称乌克兰与欧盟像尾巴摇狗#【普京：乌克兰与欧盟的关系感觉像“尾巴摇狗”】

10

#伊第87波攻势4次打击美以目标#【#伊发动第87波攻势##伊打击美军指挥中心#

军事最新文章

1

【#乌克兰制裁俄罗斯#】据乌通社报道，当地时间4月4日，乌克兰总统办公室称，乌克

2

#美军两架黑鹰直升机被击中#【《黑鹰坠落2》？美军两架搜救直升机被击中】据美国官

3

#伊朗称击落一架美军F35#【伊朗革命卫队：击落一架美国F-35，飞行员生还渺茫

4

#俄两大重要油气港口被乌轰炸致瘫痪#【别忘了俄乌还在打，俄罗斯波罗的海两大重要油

5

【急眼了，“真跟中国打，美军武器只够撑8天”】#美专家称跟若中国打美军武器只够撑

6

【#美军一架F35战机坠毁#】#美军一架F35坠毁#据美国军事新闻网站“战区”

7

【#俄一运输机坠毁29人遇难#】据俄新社4月1日援引俄国防部消息报道，俄罗斯一架

8

【#俄方拒绝给日本供油#】当地时间3月31日，俄罗斯外交部副部长安德烈·鲁登科称

9

【#俄罗斯拒绝向日本供油#】#俄称不会向日本供油#据俄新社3月31日报道，俄罗斯

10

#伊第87波攻势4次打击美以目标#【#伊发动第87波攻势##伊打击美军指挥中心#