Kenn Ejima
@kenn
Maker of Kanary @kanarymac meta-harness for agents and voice | @gistajs, foundation you build on with Claude/Codex | Admit AI @admit_ai
가입 January 2007
4.2K 팔로잉 중 44.3K 팬
The Starting Point for Reasoningっていうのにピッタリやな、Axiomだけに
数学にもとうとうこの日が来てしまったな…
The largest math proof in human history is now computer-verified.
Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."
About 15,000 pages, built by over 100 mathematicians across generations.
더 보기
