Who fucking cares?

Via MindMatters, math profs are trying to use ChatGPT to disprove theoretical conjectures.

So fucking what? Mathematical conjectures and theorems are meaningless noise, like the pro wrestling of “congress”. Theorems never solve real problems.

A different sort of theory (not same as theorem) arises from real experimenters solving real problems, and occasionally provides a useful framework for expanding and extending the solution. Euclidean proofs play no part at all in this type of theory or formula. It’s just an APPROXIMATION made after gathering up experimental results. An APPROXIMATION can’t be proved or disproved, it can only be narrowed down or altered by further and better experiments. The constant term can be modified, or extra terms may be added to adjust for previously unseen actions.

Totally abstract crap that can be disproved by a single counterexample is just language, not science or math. The only problem it solves is “How can I get tenure?”

EXPERIENCE SURVIVES. THEORY KILLS.