The speaker says current AI-generated proofs resemble Hales' proof in being spaghetti-like and inscrutable to people, which feels unsatisfying.

“And does that remind you of anything? Yes. If you look at AI proofs now, they have a similar property, right? They are, they look a bit like spaghetti and they're inscrutable to us, and that doesn't give us a very satisfying feeling.”