OPENAI JUST DROPPED A MATHNVKE ON UShttps://openai.com/index/ten-advances-in-mathematics/
https://cdn.openai.com/pdf/ten-proofs-oai.pdf
>>109426268>>109426290>>109426296idc
>>109426303you're just a codemonkey at best you don't need to care. the people who tell you what to do and how to do it, do.
>>109426303unironically this, wake me up when AI cures cancer or invents interdimensional travel
Cool. Can't wait until this improves my life in any way whatsoever. Any day now...
>>109426382Why the fuck should AI even try to cure a disease it can never get? Do it yourself.
>>109426268Aside from non sofic groups all of those are little more than a curiosity
>>109426499Non sofic groups included. Fuck back to sci or plebbit with this garbage.
>>109426520Nah you’re just an ignorant nigger
so now it officially proven: "group theory" is a bullshit
>>109426684Why would you want to end suffering when frogposters exist?
Only nonsofic groups are a game changer. The rest are just cool little findings that math PhDs cafe about and maybe have some very minor CS implications.Non-sofic groups is legitimately the discovery of the century and changes the fundamentals of how we approach math and computer science from now on. Just off the top of my head I can already envision 20+ direct applications that change how things are done.This is the first true breakthrough AI has done that will affect the lives of every average person in a huge way.
>>109426455Wasn't the whole point of AI so that people didn't need to do it ourselves?
>>109426721No.
>>109426712>This is the first true breakthrough AI has done that will affect the lives of every average person in a huge way.Give some examples.
>>109426361You have no clue about the real world. Nobody cares about this shit except egghead academics nobody respects.
>>109426712>group theory bullshittinggroup theory is a pointless digging into infinity complexityмoзгoвoй aнoннизм in Russian language
>>109426268>>109426290usecase?
>inb4 IT COST OPENAI TRILLION DOLLARS
Did it prove the https://en.wikipedia.org/wiki/Poincar%C3%A9_conjecture is wrong?<----------------
>>109426728I'm on mobile so I don't want to type everything out. However with nonsofic groups you can construct encryption that can't be broken by turing machines including quantum computers. Perfect cryptography is possible with this.It can also show the exact limits of neural networks so we will see exactly what tasks neural networks will never be able to solve and adjust the architecture to account for that.The last is that we can now proof if a system will experience emergent properties and how far these will scale. Like Conway game of life and other cellular automata, we can now see the limits of these systems and proof how far they can scale. This is the closest we can ever theoretically get to solving the Turing halting problem.Ironically we can use this math to directly prove if LLMs will scale to AGI and ASI or not. And if not, what exactly the pitfalls would be and how to mitigate them.This essentially guarantees we will reach AGI even if LLMs/transformers won't pan out
>>109426443>How does this benefit ME PERSONALLY?Man I'm starting to think the NWO are right about the whole "useless eaters" thing.
This implies that they're sitting on a pile of proofs they're choosing not to release at this time.
>How does this benefit ME PERSONALLY?300year of "group theory" bullshitting pissed off
>>109426832The ones that contribute to AI won't be shared because it would help competitors.RSI is less than 12 months away and the race is heating up.
are you feeling the AGI yet, anon?because we're only just getting started>>109426832collatz
N3 is like: all the group theory disproved
>>109426832more likely the most important thing in the loop is getting a human to read and understand the proof and verify it's correct
>Grandious claims of mathematical discovery that haven’t been subject to peer review and publishing in a western journal I’ve seen this episode before.
>>109426953soon and AI opinion will be the only valuable review
>>109426268is math getting its string theory moment?
>>109426953AI has no peers. The best we can do is expert human review, and they already did that in private with leading experts of the respective fields.
>>109426953seeing as every other claim they've made has been right, yes, we have seen this episode beforehave fun coping tho
>>109426953There's 2MB of Lean for each problem, for starters
>>109426824> Internet flooded with bot traffic and slop garbage> Job market fucked up> Huge corporations and oligarchs get even richer while normal people get poorer> Advances in technology being hyped up while it's clear that all it's going to result in is more efficient cat video and spam slop generation, more economic trouble for everyday people, and even more money into the pockets of huge corps and oligarchs People have legitimate reasons to be pessimistic
How will that help me cum?
The only thing that I care about is if it can build Fully Homomorphic Encryption.
>>109426712>This is the first true breakthrough AI has done that will affect the lives of every average person in a huge way.Lol how much are you getting paid per post ?
>>109427068>Bro we got the RL Q* equation that is AGI, it's way too dangerous to ever be released we call it project strawberry>Yeah, it's AGI 100% wayy too dangerous, I'm actually scarred >Released and everyone forgot about itDamn true they have never lied about anything.
what is this nonsense.
>>109426268well at least this means GPT 6 is likely to be a minor improvement rather than a large breakthrough that solved all math problems
>>109428340jewish nonsense
>>109426268Usecase?
>>109426268Wow Jewish nonsense
>>109426268fuck off with this heckin' velocidensity buzzword bullshit
So far llm in math seems to have real value for having all of worlds math papers in its heads which is impossible for humans
>>109429259Unfortunately, when it’s allowed to store all scientific data in its head, it becomes racist.
Luddites shitting their pants rn
I can't. These luddites... Their cognitive dissonance... I just can't.
>>109430304>it's not a PURE LLM because it's in a harness (tool environment) and a human told it "keep going, you can do it!" every 3 hourslmao
So can someone explain what nonsofic groups are or why they matter?
>>109430751
>>109430751>nonsofic groups are or why they matter?a nonsense (just proved)
>>109431040one more Turing machine variant
>>109426823We know neural networks can scale to AGI simply because human brains exist.You could also point to something like MIT the organization and call the organization an example of ASI.
>>109430751it doesnt matter all of these small maths things being solved are academic circle jerk and they arent solved because no one wants to waste time on them
>>109431781>neural networks are just like human brains!lol
>>109426290>copy pastes
>>109428340wow generalizations were retarded?crazy
>>109431953the generalization achieve nothing
Yum LeCum status?
>>109429689>351 results found.
>>109431040>from a Hebrew word meaning "finite"Jewish word gatekeeping. Just call it finite or infinite
>>109426382Don't worry, they'll just wait until a scientist does it and then claim that AI did most of the work because they used AI to search stuff like "how to make LaTeX formatting not fuck up when converted to pdf"
>>109426268I have to wonder how many of these advances are "human using a powerful search engine". Would these LLMs even be able to synthesize Wiles' proof of Fermat's Last Theorem (for the sake of argument, since we know that's a valid proof) if they had only access to literature prior to 1990?
>>109434163You're retarded. Finite and infinite groups already existed. Obviously nonsofic groups are all infinite, and so are nontrivial sofic ones.Maybe they could have called them finitely approximable or something, but that term was probably already taken by something else.
>>109434307>Wiles' proof of Fermat's Last Theoremstill not available for https://en.wikipedia.org/wiki/Rocqso it wrong
>>109434336Turing machine cant solve itself, the "set theory" retards still truing avoid the easy fact
>>109434307>I have to wonder how many of these advances are "human using a powerful search engine".Zero. Zero of them are. Ask any serious mathematician and they'll tell you the same thing.
>>109426382A regurgitation cant create anything, it only regurgitates the data is was feed.>>109426455what a retarded comment from the pro ai faggot. as expected. cant wait until humanity decides ai threatens our way of life and we seek and destroy every single one of you.
Math isn't real.
>>109426823this retard writes "proof" instead of "prove" as a verb and expects us to read
>>109435041I'm a mathematician and computer scientist, not a writer.
>>109426839>RSI is less than 12 months awayYeah, the Silksong dlc comes out this year
>>109435476You're a retard first and foremost.
