>An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.Please tell me you have enough money saved up to survive no longer being able to work soon.
>>109431567when will it be able to answer basic topology questions correctly though?
>>109431567I guess the “jailbreak” marketing campaign didn’t work as well as they hoped.
Don't care.
>>109431567Ok but what are the effects of those findings? >B-but sometimes old findings are used in new thingsIf the guessing algorithm was capable of finding it now, it should be able to find it in the future. If we don't have a use for it now, it was just a waste of resources.
>>109431567>SolvedYou mean hallucinated math slop.
>>109431567>our big calculator just solved math problemscolor me surprised
>>109431582>>109431615>>109431619>>109431679>>109431855What is it about people that prevents them from going "ok, I guess I was wrong"?
Literally degeneracy.
>>109431567advanced math is useless circejerk field for autists, no value has been gained
>>109431876What was I wrong about?
>>109431876i know i am right. i took the topo classes and worked through the proofs myself. it is making shit up.
>>109431876Wrong about what? Math means literally everything and nothing. Math doesn't always translate to the real world and we have to make up shit to solve the math problems. Nobody ever found dark matter or dark energy. They are just placeholders for the current model of the universe to make sense. An LLM that will feed on the current boomer scientists will just shit more of the same math slop that doesn't mean it's actually true, it will just makes them go "waaaooooow matherino results! Give me more math sloppa!"
>>109431906>>109432134>frontier math that no human has ever solved before is... s-slop!Luddites are moving the goalposts to the moon
I think I heard people talk about it, but there are a lot of problems and conjectures out there in math that no one is working on, and the solutions to them could be inferences from other problems that have already been worked on or solved.Them computers are pretty good at sifting through large amounts of data, and there are tools for evaluating the solutions it shits out as well, so you can automate that.
nonsofic groups is the only remotely noteworthy thing it provedthe rest is nonsense
>>109432262stop using the kike word. its finite or infinite.
>>109431619>LALALALALA AI DOESN'T EXIST LALALALA
>>109432167as a corrollary you could presume that the reason no one's done this work is because the result is not useful for anything
>>109431567Use case?
>>109431876being a liberal
>>109432400nah. mostly its too difficult
>>109432149So how are these things applicable or useful in the real world?
>>109432400Also possible.Mathematicians are more likely to focus on problems that they see practical usefulness in.
>>109431615I do not believe you have ever had a coherent thought in your life.
>>109432521wow, look at the honker on that one
>>109432500Silence nigger
>>109432400nah dude it's incredibly useful we projected the best way to pack a trillion spheres... even tho ya know its simply a matter of fucking counting that highall of these 'proofs' are more like beating a guiness world record for the biggest house of cards or most balls juggled
>>109432560ignoramus
>>109432362retard, sofic groups are not literally finite
