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