
AI vs. Fermat's Theorem: Revolution or Formal Mirage?
Claude has completed a task in less than two weeks that took mathematicians years. We analyze whether this automation of formal proofs marks the end of human intuition or simply a new era of technical assistance.


