Ken Ono
@KenOno691
Founding Mathematician @axiommathai | Prof @UVA | AI, proof | Assoc. Producer, The Man Who Knew Infinity | Olympic swim performance 🏊♂️🏅
Joined March 2024
193 Following 67.1K Followers
About to brief congress regarding AI and AI for math and education and formalization. @amermathsoc @NSF @axiommathai @leanprover
