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