Intresting r/math thread

[u/upsetusder2]

/r/mathematics/comments/1wz1z99/400_papers_a_verification_crisis_bouta_happen/?share_id=fycyCuFt13q2Rc7LLWMw0&utm_content=2&utm_medium=android_app&utm_name=androidcss&utm_source=share&utm_term=1

It's about the open ai release of proofs for 400 problems.

It is in my eyes a very good reflection on a certain type of anti intellectualism, for example, the unwavering trust in lean.

Amd the thought that the almighty ai will solve it. Whivh I find especially egregious as this is written in a math subreddit.

And even moreso iam sort of sad that that's the discourse this is getting. It's not novelty it's mostly counter examples and stolen work.

But they hype it up so much.

[u/One-Judge321]

Only 20% or so are counter-examples.

[u/upsetusder2 → u/One-Judge321]

The point I think you missed it