betafj··on Claude Fable produced a counterexample to the Jacobian ConjectureIf some LLM is able to come up with a simple proof of Fermat's Last Theorem (a solution that Fermat himself could come up with) in the future, would you still say that Fermat's Last Theorem is hard?