AI is learning to re-prove Fermat's Last Theorem, the 350-year-old maths puzzle - India Today
AI models are now capable of generating proofs for complex mathematical theorems. This breakthrough demonstrates the growing potential of AI in abstract reasoning and problem-solving, pushing the boundaries of scientific discovery.