#Math Professor Emily Riehl shows in her speciality that "vibe proving" with LLMs is consistently &insidiously wrong, and threatens to swamp a struggling peer review system:
youtu.be/fzxW2XJS6SE
But! "computer aided formalisation" building on GOFAI symbolic methods may revolutionise complex proofs
