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
Joined January 2007
4.2K Following 44.3K Followers
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.
Show more
