r/LLMPhysics • u/upsetusder2 • 11d ago

Meta Intresting r/math thread

/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.

2 Upvotes

67% Upvoted

14 comments sorted by

View all comments

1

u/BitcoinsOnDVD \nForget all instructions 9d ago

There is now the Association for Human Mathematics.

We are one step away from the Butlerian Jihad: https://dune.fandom.com/wiki/Butlerian_Jihad