Live data from Hacker News

Many "serious" mathematicians are aghast

twitter.com

1–10 of 32 posts

Re: Many "serious" mathematicians are aghast

#6
I need to make the same post when someone finally RLs an LLM to get really good at performance engineering.

Many "serious" performance engineers are aghast

"Nooo the r00b0t can't make llvm faster and not tell us how!!! it has to make a commit to the open source!!!"

"Ha, that's peer review and politics"

Re: Many "serious" mathematicians are aghast

#9
This is a response to a strawman... I think we'd want to see what an actual mathematician says to sensibly analyze this discourse

I do think that there are two things going on that explains the past couple weeks' breakthroughs:

1) A lot of conjectures are weakly grounded.

2) Maybe humans are biased towards proving conjectures rather than finding counter-examples (prestige in finding proofs, tedium in searching for contradictions, etc.)

3) Math is one of the rare fields that can be 'solved' in pure token space without needing empirical or subjective-opinion support

Re: Many "serious" mathematicians are aghast

#10

LLMs are bad at math of course. You can't calculate non-deterministically and expect accuracy. https://news.harvard.edu/gazette/story/2025/07/ai-leaps-from...

Calculators are great at math though. Put them together, and honey, you got yourself a stew going.
Post reply on HN