Axiom on AI内参 https://www.neican.ai/tags/axiom/ Recent content in Axiom on AI内参 Hugo zh-cn Mon, 30 Mar 2026 08:10:06 +0800 110亿！00后广州少女“退学”炸场，让终身教授辞职打工：AI不再胡说八道了？ https://www.neican.ai/insights/11000ai-20260330081006927-2/ Mon, 30 Mar 2026 08:10:06 +0800 https://www.neican.ai/insights/11000ai-20260330081006927-2/ 25岁广州少女洪乐潼创立AI独角兽Axiom，融资2亿美元，估值110亿。通过引入Lean语言，Axiom解决了AI“胡说八道”的幻觉难题，让逻辑推理变得绝对可靠，吸引了顶级数学教授辞职追随。