>>17058580
It’s over

>>17058580
If we take all the proofs
And overtrain
And underfit
Ad infinitum
Maybe, just maybe we’ll
Roll The Right Proof!!!!!!1!!!

>>17058580
Dear Academics,
WTF does any of this mean? Did we unlock some higher power or is our new Sycophatic Chatbot just playing us for more of those Juicy Tokens we’ve hooked it on?
Pizza Party for the first meat sack to figure it all out.
Thanks,
AI

>>17058580
>we won't announce we solved more problems until we figure this out
>they announce they solved more problems
are they disingenuous or just retarded?

>>17058593
Upcoming IPOs.
Sequestering facts until after payday.

>>17058593
OpenAI wants to get ahead of Anthropic announcing they solved those problems. OpenAI problem has the solutions in LEAN but they might still be wrong in other ways

And yet these so called brain geniouses can't get mwahnon to post more combos

>>17058593
they're saying that they have 100+ proofs but can't announce them because some people's feelings are hurt
so if you're currently working on an open problem you should go talk to terry tao because your problem may already be solved, but terry's ego is more important

>>17058601
I thought you couldn't announce you have solved math problems in the current climate or they'll get stolen

https://m.youtube.com/watch?v=w9gOQgfPW4Y

>>17058605
no one can post anything because terry's threatening to jump off the nearest bridge if they do and that would be bad pr

Imagine you had a machine that produced pre-used toilet paper. In quantities that rivaled the total resources of the nature world.
No imagine that I could sell you, as an investment, a tiny piece of that amazing machine.
We can always lease out the capacity is our proof turns out wrong.

>>17058580
>May I see it?
>No

What's the point of learning to do anything anymore if AI can do it better, faster and cheaper than you?

>>17058618
It can’t. It demonstratively cannot.

>>17058580
>Initial Members of the Advisory Group on Mathematics and Artificial Intelligence, hosted at the Institute for Advanced Study:

>François Charles (ENS-PSL)

>Camillo De Lellis (IAS, GSSI)

>Timothy Gowers (Collège de France, Cambridge)

>Martin Hairer (EPFL, Imperial College London)

>Nikhil Srivastava (Berkeley, Simons Institue)

>Ulrike Tillmann (Oxford, INI)

>Ravi Vakil (Stanford)

>Edward Witten (IAS)

>Melanie Matchett Wood (Harvard)

>>17058636
Damn they got Witten
Luddite bro's... it's over

>>17058637
Once AI companies started announcing they are solving open math problems, mathematicians have no choice but to join these AI companies and salvage whatever credit /accomplishment they can to solving the remaining open math problems

>>17058593
It's marketing.

>>17058635
It knows more correct things about any subject except the one that you happen to be pigeon holed in.

And it will soon beat you in that subject too.

>>17058580
Math fags should commit suicide. It's unironically, indisputably over.

>>17058658
>Robot Olymoians!
Kek

@grok, is 0 a natural number?

>>17058593
the CEO of math banned AI so they can't announce solved problems anymore

>>17058746
This is why I run my own local models.
Fuck the CEO.

File: IMG_2764.jpg (51 KB, 1072x244)

51 KB JPG

>>17058636

>>17058580
Why is OpenAI letting egotistical mathoids get in the way of publishing the results? Nobody gives a fuck about gate-kept "peer review" behind the curtain if they're being """peer""" reviewed by the same people who weren't able to solve them in the first place.

File: witten.jpg (122 KB, 665x1047)

122 KB JPG

Even the patron saint of /sci/ knows AI is the only viable path to a formulation of m-theory

>>17058785
They’re bluffing. And stalling.

>>17058785
for openai, it's all pr all the way down
they consider n-s solution a fail because of the wrong way it was spun in the media by mathematicians
they need the results to be released with them firmly being represented as stars of the show, in the most positive light. in the end it's the top mathematicians who decide how "the community" reacts to anything. if the leaders will all say "chill, it's all good, we are here in the quest for truth after all", then that's what the public perception will be
so they hire this committee to bless their results

File: 1733216640857473.jpg (51 KB, 839x505)

51 KB JPG

It was failing basic multiplication 3 years ago. I'm starting to suspect none of us will be alive to see the end of 2027.

File: chalmers-good-lord-what-i(...).png (13 KB, 245x184)

13 KB PNG

>>17058580

File: ahem.png (25 KB, 283x283)

25 KB PNG

>>17058580
But can it see why kids love Cinnamon Toast Crunch?

>>17058816
God I hope not