Ken Ono
@KenOno691
Founding Mathematician @axiommathai | Prof @UVA | AI, proof | Assoc. Producer, The Man Who Knew Infinity | Olympic swim performance ๐โโ๏ธ๐
193 Following 67.1K Followers
Knowledge is now a commodity. Curiosity is the new edge.
My perspective on the future of math, AI, and why the "race" isn't what you think it is.
via @YouTube
Honored to speak at this Congressional briefing. Grateful to the AMS and AIM for the opportunity to discuss the vital role of mathematics with our leaders. @axiommathai @leanprover
About to brief congress regarding AI and AI for math and education and formalization. @amermathsoc @NSF @axiommathai @leanprover
We gave AxiomProver a real-world stress test: autoformalizing Theorem 1.2 from Yifeng Huang's latest paper. This isn't vanilla theory; itโs a gnarly quadratic form generalization involving gap posets and rational dinv.
I couldn't crack this proof myself. So pleased that AxiomProver formalized it Lean/Mathlib. This is a glimpse of the future. Mahalo @leanprover
Show more
