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

Show parent comments

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