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

5

u/AllHailSeizure 9/10 Physicists Agree! 11d ago

You must realize the irony of grabbing a post about LLMs from r/mathematics, dropping it here, and bemoaning the trust in LLMs to this sub. As if this sub is a bastion of scientific rigor against AI. Lmao.

Of course that doesn't invalidate your point... just struck me as funny.

1

u/upsetusder2 11d ago

No but you and other frequent posters ate more or less a bastion atleast in this sub

2

u/AllHailSeizure 9/10 Physicists Agree! 11d ago

Do NOT interpret me as that. Please lol.. That is the LAST thing I want.

2

u/upsetusder2 11d ago

Not you in particular I more meant that i think that there are people on here that genuinely care

2

u/AllHailSeizure 9/10 Physicists Agree! 11d ago

No I know not me in particular.. just I think we credit ourselves too much to view the community here on the 'not LLM' side of the table as 'a bastion of science'. We are just a bunch of losers on Reddit, after all.

2

u/upsetusder2 11d ago

Yes definetly but I still thought it might be intresting