Comment by spzb

Mathematical proof vs a web app that doesn't actually run? Not much of a contest.

Never mind the fact that AIs of the LLM-variety haven't and aren't going to find solutions to mathematical problems.