Is he right?Did OpenAI's GPT-7 just drop a Nagasaki on Math?
>>17070291literally October 7-1, but noone liked my SI generated meme :( >>17070267
>Calculator can multiply numbers faster than any human >It’s over for mathematicians it’s time to become a cambodian rice farmer
>>17070300Are you one of those people who think that professional mathematicians just multiply really big numbers.
>>17070303Yeah bro that’s exactly it
>mathematicians call for the rising of the sea>the sea rises (llm theorem proving harness rl becomes viable)>"no not like that" AKA "this is cheating it's not the sea rising"you just love to see the luddite cope
>>17070291I mean, post-nuke Japan was a flourishing country, but vastly altered. Perhaps if there was one more nuke, the country could even be decent. Maybe the same will happen to math.
>>17070303I have a math PhD and I do believe it.
>>17070291Math as it was understood pre 2026? Yes, that's finished.But it will transform. As of now, AI is the calculator for proofs. Proofs will become like arithmetic problems, trivial. The work will shift to higher levels that are difficult to articulate now.Some time later, these higher levels will also be taken over by AI. From then on, it's "human flourishing" all the way down.
>>17070291bad day for chinese nerds
>>17070291I was just thinking of getting some maths qualifications but now I wonder if there even any point.
>>17070291TMD
>>17070291What the hell is "human flourishing" lmao? Nigga, just learn plumbing.
>>17070291The great thing about AI solving all the math problems is that everyone will realize that none of it mattered anyway.
>>17070291>Carpet bomb a field with tens of thousands of sloppa papers that it will take experts decades to comb through, slowing down actual progress even further.We did it, Patrick! We saved research!
>>17070300Archeofuturism
