Axiom Math 称已建成全球最大计算机验证数学库
Stanford dropout's $1.6B AI startup claims to have built world's largest computer-verified math library
精选理由
一个25岁Stanford辍学生创办的Axiom Math，把几千页高等数学转成了计算机验证的证明库，做数学的人可以看看。
Axiom Math 是一家由 25 岁的 Stanford 辍学生 Carina Hong 创立的 AI 初创公司，估值 16 亿美元。公司宣布已将数千页高等数学内容转化为形式化验证的数学库，并称其为全球最大的同类库。该库中的每个证明都经过计算机验证，确保数学推导的正确性。
原文 · VnExpress International: Tech
Stanford dropout's $1.6B AI startup claims to have built world's largest computer-verified math library
Axiom Math, an AI startup founded by 25-year-old Stanford dropout Carina Hong, has converted thousands of pages of advanced mathematics into what it calls the world's largest library of formally verified math.
