More than 150 math experts tell governments not to trust AI hype after headline-making proof claims (opens in new tab)

"Current automated techniques can produce plausible but unreliable (or even incorrect) arguments which are difficult to distinguish from correct mathematical proofs."