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
