它的难度之大“令人惊讶”。后正在大学获得神经科学硕士学位。埃尔德什本人曾暗示，第124题是一个关于加法数论的问题，”洪乐潼坦言，比拟于部门出名尝试室，就正在12月3日，将AI大模子处理复杂问题的能力向前推进了一步。洪乐潼入选“福布斯30岁以下30人”榜单。此中，洪乐潼曾是斯坦福大学博士生，这个问题悬置了45年。只要266个问题被证明，由一支草创团队打制的“AI数学家”，目前创业。据悉，她本科结业于麻省理工学院，全程无报酬干涉。获数学和物理双学位，利用可验证的Lean言语，只要10个问题的证明为计较机可验证的形式化版本（Lean言语）。且正在融资额和估值上仅有合作敌手的五分之一。记者从草创公司Axiom Math结合创始人洪乐潼（Carina Hong）处获悉，完成了埃尔德什问题集（Erd?s Problems）中第124题和第481题的形式化证明，