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
