The US AI startup Axiom Math announced that it had completely formalized the CFSG (Classification of Finite Simple Groups) in ...
Axiom Math said on October 27, 2026 that it is releasing what it calls the first complete computer-checked proof of the ...
Axiom's AI agents formalized the 15,000-page Classification of Finite Simple Groups in Lean in 24 days, fixing over 2,000 ...
A research team of mathematicians and computer scientists has used machine learning to reveal new mathematical structure within the theory of finite groups. By training neural networks to recognise ...
The primary purpose of this paper is to give a complete classification of all finite simple groups with quasi-dihedral Sylow 2-subgroups. We shall prove that any such ...
人类历史上规模最大的数学证明，现已通过计算机形式化验证。 有限单群分类定理（CFSG，Classification of Finite Simple Groups），刚刚被AI彻底形式化！
액시엄에 따르면 발견된 오류 가운데 상당수는 오탈자와 표의 오류, 가정 누락 등 비교적 사소한 문제였다. 하지만 일부는 논증의 수정이 필요했다. 예를 들어 특정 군론적 성질을 다루는 논문에서 두 수학적 값이 같다는 주장이 ...
Axiom Math ระบุเมื่อวันที่ 27 ตุลาคม 2026 ว่าบริษัทกำลังเผยแพร่สิ่งที่เรียกว่าเป็นบทพิสูจน์การจำแนกกรุปอย่างง่ายจำกัด ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results