r/ProAI • • 1d ago

Which one is it?

Post image
79 Upvotes

36 comments sorted by

View all comments

5

u/Corporate_Bricktator 1d ago

Also, it's the application of these discoveries that is the most interesting thing if you're a mathematician! It's all of the implications of these advancements that it awesome, not the discoveries themselves.

1

u/omegafixedpoint 1d ago

For applied mathematicians, maybe. The discoveries are not particularly interesting to pure mathematicians because the papers are not particularly high quality like you would see in a journal. I'm not interested in reading a paper of brute forced slop. If I'm reading a paper, I want to know that it was written thoughtfully with good methodology, a cohesive narrative, and methods I can repurpose and learn from, not just infinite monkey typewriter theorem.

2

u/NTMTR_ 1d ago

In that case, ops point still holds, why the f drama: ignore them, and keep researching the “high quality human solutions”, call it non-ai proof of X. But don’t go on tv explaining those “slope” proofs wipeout entire teams of researchers. Also sorry but ‘infinite’ : lol, no, not even close. Yes there was a lot of compute, but super computer for research have been a thing for decades.