据悉，洪乐潼曾是美国斯坦福大学博士生，目前退学创业。她本科毕业于美国麻省理工学院，获数学和物理双学位，后在英国牛津大学获得神经科学硕士学位。她还曾获得表彰北美地区数学专业本科生杰出研究的AMS-MAA-SIAM摩根奖。不久前，洪乐潼入选“福布斯30岁 ...

据了解，现年57岁的小野肯教授，是在美国日本裔学者，一名解析数论、模形式等领域的权威学者，在数学界享有崇高声誉。他推动并扩展了拉马努金的分拆理论，合作证明了大量关于分拆函数的新等式、母函数、模形式结构，包括拉马努金同余式到影月光猜想；他的数学成就横跨 ...

据《华尔街日报》，57岁的美国顶尖数学家小野健（Ken Ono）辞去了弗吉尼亚大学终身教职，上周正式加入了他之前的学生，一位24岁年轻人洪乐潼（Carina Hong）创办的AI数学公司Axiom Math，成为第15号员工。

传奇数学家Ken Ono辞去了弗吉尼亚大学终身教职，加入了自己学生Carina Hong创办的Axiom Math，打造「AI数学家」。促使他做出这一决定的，只因他在一次研讨会上看到了AI在数学研究上的无限可能。

近日，AI 初创公司 Axiom 宣布其模型在没有人类干预的情况下，自动完成了两个数学猜想的证明——埃尔德什问题（Erdős Problem）中的 481 号和 124 号。据称，481 号问题仅用时 5 小时，代码量为 656 行；124 ...

狂揽4.6亿元！近日，来自广州的00后再一次刷新了硅谷的想象。总部位于旧金山的人工智能初创公司Axiom Math，宣布完成首轮6400万美元（约合4.6亿元人民币）融资。 Axiom Math由B Capital领投，Greycroft、Madrona和Menlo Ventures等知名机构共同参与。此轮融资后，公司估值 ...

00后正在改变世界。 智东西10月13日报道，由00后女生创办的AI创企Axiom Math，最近拿下6400万美元（约合人民币4.56亿元）种子轮融资，估值达到3亿美元（约合人民币21.39亿元）。 Axiom Math创始人洪乐潼（Carina Hong）是一位00后中国女学霸，凭借着在数学上的天赋和 ...

12月4日，AI初创公司Axiom Math宣布著名数学家、弗吉尼亚大学前教授小野健Ken Ono加入公司，担任创始数学家（Founding Mathematician）职位。 Axiom Math致力于打造“AI数学家”——能推理、发现并证明数学问题的AI，公司已融资6400万美元，核心团队包括多位来自Meta等科技 ...

Carina Hong, a brilliant mathematician, has left formal studies to found Axiom Math. The company aims to build artificial intelligence capable of adv ...

Ken Ono had an epiphany. Now the professor is moving to Silicon Valley to chase mathematical superintelligence.