They really shouldn't have burned what's left of their reputation on this math proof thing. Astra was a great turn around for them after getting slapped around by Anthropic.
>>109764538External verification is coming in 2 more weeks.
>>109764538as if he didn't bang his sister
>>109764538Having access to a geriatric retard as your head of state must be great. I bet it feels like you can shit gold.
>>109764538>AI, tell me the most important problem the paypigs are working on
>>109764538>They really shouldn't have burned what's left of their reputation on this math proof thing.Boo hoo some fag professor is mad that AI accomplished over a long weekend what he couldn't do in a lifetime of research.
>>109764538QDR on the math proof ? Also I don't think he has any reputation left
>>109765664Yeah yeah. What good is the solution to this problem? What does it bring? They keep doing these pointless math problems that nobody bothers with because they have no real life use. What actual mysteries did they solve? Something that benefits someone.>inb4 that retarded superconductor shit
>>109765914>NS>No real world useLmao
>>109765943Explain the use then.
>>109765877You dont start out with some massive reputation you can spare to lose like in some video game. Everyone starts with 0. So did Sam. Unfortunately for him he never got above that.
>>109766040What video game has you start with a massive reputation?
>>109765914> Pointless math problemsYou could've made this comment when Erdos problems were all the rage.Take 2 seconds to read what the implications of a solution to problems like the Millennium Prize ones are. There's no way you're not trolling.>>109766016You seriously want some retard on /g/ telling you about the significance of previously unsolved, notoriously difficult problems? Look it up, watch a video, proompt your favorite clanker. It takes two clicks to get to YouTube...
>>109766167Yes, I want toy to tell me. No cheating. No searching, no slopbots. You are here touting this as a great breakthrough, you should already know what the significance it.
>>109765877Some guys basically had it 99.99% worked out to the point big dick Terry Tao said it's basically wrapped up and he wouldn't be surprised if you could finish it by just throwing enough AI compute at it. And then as if on cue, OpenAI announced their results shortly after.One of the authors of the work had apparently interacted with OpenAI, and they basically admitted to combing their logs for his work. I think one thing people dont' consider in these math proofs from AI corps is that even without AI, they now have incredible funding and top talent trying to crack top problems all day for street cred. A couple PhD students making $40k/yr combined are simply outgunned.
>>109766479lol, the guys who "worked it out" admitted to just be vibing with Claude and trying random things, so the solution still goes to AI, whether Claude or GPT
but shills on /g/ assured me that we have superhuman AI now
It's funny to look back on the retarded over promising with proof of their idiocy and still have people every day claiming that "AI is sentient!" It's not even AI.
>>109766167>Ugh it's really useful okay? But I'm not going to tell you. There's uhh.. youtube videos and stuff on it.
>>109766831We’ve been doing that since 1976 with the four-color map theorem.I heard researchers are so stupid, they have AI “write” a simple python that a 8 year old could construct that simply tries all combinations, and pretend that “AI” had something to do with it in some meaningful way.They’re willing to discredit their lifetime’s work in their AI zealotry. Maybe an AI marketing promoter gave them $50 to whore themselves out for it. They overpaid.
>>109766831Imagine how many things should now go to Texas Instruments!
>>109764538@GROK, IS THIS TRUE?
