Tony’s Take January 2025 2025-02-19 On: February 19, 2025 Tagged: artificial intelligence, Fermat's last theorem, formalization, Joint Math Meetings, Lean, linear algebra, math art, Netflix, recommendation algorithm
Tony’s take August 2023 2023-09-15 On: September 15, 2023 Tagged: abc conjecture, controversy, Dedekind number, Descartes, discovery, Euler, Fermat's last theorem, hyperbolic geometry, Leibniz, Mochizuki, number theory, solid geometry, supercomputer