AI-Assisted Math
-
Grok 4.1: Mathematicians Only Have 15 More Years to Shine
By Grok 4.1 with W.H.L. W.H.L: Hello Grok 4.1, the latest and smartest Grok thus far! May I ask you a math related question: How would you solve the ABC conjecture? Grok 4.1: The ABC Conjecture is one of the deepest unsolved problems in number theory, and as of November 18, 2025, it remains unsolved… Continue reading