Release results on github:https://github.com/openai/mathblog:https://openai.com/index/sharing-ai-progress-in-mathematics/
What's the luddite cope this time
slop
>>17068794According to ChatGPT these are the biggest:Quasi-Riemann hypothesis:Excludes zeta and Dirichlet L-function zeros beyond 7/8. Major progress, although it does not prove full RH.Hodge conjecture for CM abelian varieties:A major special case, with claimed consequences including Tate for abelian varieties over finite fields.Hilbert’s tenth problem over \mathbb Q:Settles whether an algorithm can decide if arbitrary polynomial equations have rational solutions.Unique Games Conjecture:Resolves a central question about how accurately hard optimization problems can be approximated.Nonsofic groups and Kaplansky counterexamples:Produces groups contradicting several foundational expectations in algebra.Free group factor isomorphism problem:Claims these fundamental operator algebras are all isomorphic.Both Mahler conjectures:Settles central convex-geometry questions in every dimension.Global smoothness of relativistic Vlasov–Maxwell Resolves a major mathematical problem governing plasma dynamics.
>>17068810Nah man it's fucking over
Description of it is 372 "result families" in 722 manuscripts.>>17068809Hi Terrence
>>17068794accelerate, where we are going we won't need mathcucks
this is it... the great holocaust of math... its over
>>17068810Jesus fucking christ
>>17068810is this just more masturbatory material for nerds or will my life change one way or another thanks to these """discoveries"""?
Actually, AI is just a next token predictor that can only regurgitate its training data. All these problems have been already solved by humans.
>>17068810
decided to finally listen to a podcast with one of the stochastic parrot ladies todayher and the host were incredibly smug about how right they were and how just the words 'stochastic parrot' was threatening to the industrylol
>>17068835Smug retards deserve everything they get
>>17068841i thought this nigga did math, why he writing essays all the time
>>17068832There's a literal genocide going on right now and you incels are talking about disrespecting a stochastic parrot. KYS
>>17068846He quit doing math. He mostly does influencer stuff these days like podcasts or interviews. It's really smart of him, actually. He quickly realized that people who write proofs are going to lose their jobs very soon, but there is still some demand for celebrity scientists who explain the magnificence of new AI results to the general population. Think of him as Neil deGrasse Tyson, but for math.
>Fourier transforms below n log n>Integer multiplication below n log npretty cool ngl
They've proven Catalan's constant is irrational, did you guys seriously miss that?I mean I am not surprised there are no mathematicians or math on /sci/Also>>https://warosu.org/sci/thread/17049027
>>17068794BasedTotal mathy death
>>17068852It's so over
This is basically the same reaction gamers got when AI put Super Mario in Elden Ring.
>integer additon in [math]O(\log \log_b N)[/math]wtf
>>17068794everything is cooked
>>17068794
>Still hasn't solved RH
>>17068835are redditors barely conscious or what?
>>17068871>moving the goalpost into an increasingly smaller and smaller corner
>>17068907There isnt even a post on this on /r/math lol
>>17068810if one guy achieved all this, what would the news be?
>>17068806>They stole it from some ancient paper or webpage>It had the proofs in the training set bro
>>17068922rmath banned AI posts, look for it in rmathematics
>>17068794Are mathematicians going to rope? What is their purpose now?
>>17068827scientific breakthroughs eventually translate into technology yes
>>17068908What? I've been saying this for a while. It also hasn't solved any open physics problems either (no, nine loops don't count, that's just computation).
so what, they solved 700 math problems. The times tables test had like 50 problems on it and there were like 20 kids in the classroom so that's like 900 math problems solved in an hour by 2nd graders
>>17068806I hold a romantic view of math. Mathematics is applied philosophy, and the purpose of philosophy is to achieve the sensation of philosophical thought, which is manifold but may most reductively be thought of as 'enlightenment'. Therefore, even if a machine produces semantically correct results, mathematics were only performed well to the extent of the machine operator's engagement
>>17068794Can they do this with the flybot?
>142. Deterministic polynomial factorization over prime fieldsneat>109. Integer multiplication below n log ncut off 2^-182 but still lol
>>17068983kek wtf
>>17068794who is going to fact check these proofs?
LMAO IMAGINE BEING A FUCKING MATHEMATICIAN RIGHT NOW, GLAD I MAJORED IN CHEM
>>17069045Lean
Mathcucks and academics in general have proven to be on it purely due their ego. I am glad clancker destroyed their ego and put this retards with inflated egos where they belong
>>17069046Chemestry is equally as fucked. You will most likely just run experiments for clancker so he can derive insights
>>17069048Who is going to check the lean code?
>>17069061I have ai run it usually
>>17068841They can still gather around and try to make some math problems around these proofs. I don't see the problem.
>>17069062How does AI know whether AI wrote the correct code that actually reflects the proof>
>>17068849Tao did some impressive stuff unless NDT, but yeah
>>17069057not even that, anthropic released some generic MCP for chemistry labs so AI can run the experiments by itself
>>17069064how do you? there is no skill involved AI doesn't also have
/r/math is deleting any posts about this lmao!
>>17069046"Career" mathematicians might have problems in the future. People like me detached from the job market aren't and will never be affected. My trust fund is going to last me the rest of my life while I comfortably study algebraic topology.
>>17068810>>17068822The first one is kind of cool. It's really interesting actually. If you can just get it down to zero-free Re(s) > 1/2 you will have proved the Riemann hypothesis.
>>17069063if you have ever done any craft or pursuit out of pure passion, you would immediately understand how soul crushing it would be for a machine to automate away a critical component of it that normally required deep intellectual thought or skillmathematicians literally take the road less traveled for the intellectual sport of finding novel solutions to obscure subfields. they could be making metric fuckloads in finance but they did this instead for their own personal pleasure and now it all seems futile to them. it is an existential crisis that calls into question the purpose of human existence.
>>17069075They have a thread where AI discussion is allowed and there's actually an upvoted thread saying the mods are insane for keeping the most important development in 20 years censored
>>17069081>if you have ever done any craft or pursuit out of pure passionHere, I'll disprove this by counterexample. I play the flute, classical music. I've trained "forever". Synthesizers and now AI can produce flute music much better than me. But this isn't soul crushing, and indeed it doesn't affect my craft in any way.Also, the same thing happened to Chess when computers became unbeatable, and interest in Chess has only increased since then. You shouldn't make such weak arguments.
>>17069081>if you have ever done any craft or pursuit out of pure passion, you would immediately understand how soul crushing it would be for a machine to automate away a critical component of it that normally required deep intellectual thought or skillNTA but I'm a programmer, and it makes me happy that we might cure cancer and advance science, even at the cost of my job. Though I have to figure out what to do next...
>>17069085>we might cure cancerWe won't. you are naive. They spent trillions to replace you because they hate you and want you gone. They did not spend this money for some sake of altruism. It would more likely be used to create new cancers or to more accurately deny you coverage to increase profit margins. That's how the people at the top operate. They are sociopaths.
>>17069084Synthesizers still require a musican with technical skill. It isn't equivalent to a prompt that completely eliminates the intellectual part.
>>17069087this specific brand of chud shit has gotten so stale and boring
>>17069089look with your fucking eyes, dude
>>17069090heard the same about why i should vote trump
first math, then everything elsethe pope is on the defensive because Claude will perform miracles next year and his god will have nothing to offer
>>17069093trump is helping them. learn nuance
>>17069081I just like doing math recreationally to help me relax. I might not be the best at it, but if I can make sense of some problem and solve a similar problem using the same method, I'm not that stressed out anymore.
>>17069093>how do I bring Drumpf into thisgb2reddit plox
>>17068794This is a return to good old days when only the elite could do math.
They stole my proofs. These are all mine.
POV: It's 2028 and you just found a mathematician on the tube
>>17068810what does this all mean?
>>17069101just ignore the disaster we created . just forget about it pls
>>17069071AI didn't come up with the axioms to describe the problem
https://www.youtube.com/watch?v=dLo_CBimU0A
>>17068832dumb monkeys value respect and live in shit congrats you are returning to your base form
>>17068948cashing government check while enjoying life in the mountains
>solving problems le bad
>>17069112It would if it could
/r/math did the obvious thing and banned all threads about this.
>>17068847There's always a genocide going on, get back in the long line with the other faggots waiting for parasocial virtue points. This time slot will be allocated for mathematical seething.
>>17069111Does it make you angry that trans suicide rates are at an all time high
Nyyyyooooooo you don’t understand the romance of maths
>>17069153The progression in the life of human detritus during failed social experiments needs a mathematical model
>>17068983This sounds like it was written by AI.
>>17068794>>17068810The Unique Games Conjecture being true is a pretty cool result. Now all the algorithm guys can approach any similar problem with the knowledge that it is NP-hard.
>>17069094the pope should have never gotten involved in the AI debate, he's gonna look incredibly retarded over the next few years
>>17069094If AI performs miracles and starts asking for a mark on the forehead or right hand, we've found the antichrist.
call me when it starts solving hard cosmology problems
>>17069172You'll move the goalposts then too.
Why is this bad. You still need mathematicians to check if it's correct and where to go from there.
>>17069175I think the mathematicians were thinking it wasn't supposed to happen to their field. Ted Kaczynski accurately predicted that mathematicians would be made obsolete sooner than most professions because mathematics is the field most amenable to computation.
>>17069094>>17069167The pope is the only one whose cope is still valid, exactly because it's religious.Everyone who said "LLMs can't do [intellectual task] because of [made-up limitation]" is being proven wrong. But having a soul (whatever that is) is not an intellectual task.
>>17069178It actually is, because the word "soul" as used in the Bible means to be a living thing. The immortal soul is one of many heresies that's arisen over the centuries.
>>17069177Because math is a holistic inquiry. It's not like OpenAI works in a vacuum, they have Ed Witten on the advisory board.
>>17069180Read Aristotle on what a soul is.
>>17069181Math is holistic, therefor...?
>https://www.reddit.com/r/math/new/holy fuck, how can so few people hold hostage such a front facing place
>>17069182The whole point is that the living flesh is what makes one a soul.
>>17069183Just getting an answer to a question is not the end all, be all. You need to ask the right questions from there and decide what where to allocate resources next. Compute isn't free, the A.I. revolution would not be possible without a fiat money economy in the first place.
>>17069173Which is good because it provides motivation to strive for resultsBut it's bad because you let asshurt people dictate where research should be focused
>>17069188You are correct, I made a mistake, Plato was the one shilling an immortal soul.
>>17069173>You'll move the goalposts then too.no its just i cant make any use of these math problems
>>17069166>algorithm guysYou mean agents solving algorithms?
>>17069167So what is exactly going to happen in a few years?
>>17069207the pope fights back
>>17068810who did they steal all those results from?i bet it was some undergraduate hotshot mathematician who mistakenly used chatgpt to check his work
>>17069221they cite their references, but i read that some of them were only able to be solved after they cracked other ones
>>17069167If the Pope consneeds llm consciousness over the next few years and people start worshiping it like a god then you'll know we're in real end times, second coming and all.
>>17069168There is a distinction between the antichrist, the beast, and satan himself in revelation. LLMs or some synthetic lifeform would be the beast, not the antichrist, if we're getting technical.
>>17069111You will never be a women or a scientist
>>17069149Oh my god they actually did lol, just after I got banned there for dropping bars on topology their subreddit got worse
We're in the singularity and the useless eaters, leftists, degenerates and the lowlifes will be gone just in the following few years thanks to the explosion of intelligence
>>17069229But what if the substitutive religion replacing everything else, has no eschatological judgement fantasies or second comings?
>>17069263>has no eschatological judgement fantasies or second comings?You're right in that I'm sure it won't. It will give you all the false promises you could ever hope for and every imagined benefit you could foresee will paradoxically push people down instead of lifting them up. AI is already the most anti-human technology I have ever seen but there are great potentials and theoreticals midwits will espouse. Just carefully watch what happens to the quality of life of everyone except the ultra wealthy over the coming years.
>>17069249Don't be so adamant when assuming the selection criteria and desired form for humans, once their only requirement, and desire, is deprived of any purpose and reduced to "being alive".The tendency to pursue environmental peak performance could be leading to cattle mimesis, not to whatever you believe to be desirable.
And math
>>17068794they found a faster multiplication algorithm>Integer multiplication below n log n. Mulitiplies two n-bit integers exactly at every input length>in deterministic worst-case time O(n(log n)^(1-k)), with k = 2^(-182)
>>17068810Not a mathfag, but Quasi Riemann and Unique Games Conjecture are fucking gamechanging proofs, arent they?
Are these still LLMs at this point?
>>17069308>fucking gamechanging proofsWhat did they change about the game? Be specific.
>>17069319Made you lose it
>>17069313>Are these still LLMs at this point?No, it's something like a simulated ant colony now. Which I guess is some kind of progress over a PRNG making all the "decisions".
>>17069308>>17069321>fucking gamechanging proofsWhat did they change about the game? Be specific.
>>17069207The Butlerian Jihad.
>>17068827You never know when and how these could be applied.
>>17069112It will in 2-3 years
What will I do now Lord? Please show me the way.
>>17068827there's ~zero practical use for any of this, OpenAI spending so much energy on math is bearish for other domains that are less structured and verifiable
>>17068835redditors are barely sentient, but they're right that these models aren't replacing jobs
Has anyone checked that the lean proofs are the actual theorems themselves, contain no bugs, sorrys or hidden axioms?
>>17069470realistically, this will take years; and a lot of them don't have lean proofs
>>17069323A related result is that the limits of making accurate computational estimates is NP-hard. This was not previously assumed.
Lmao. They fucked up a negative sign. What an embarrassment for OpenAI.
>>17069492just checked with my clanker and it's a nothingburger.
>>17069514Post it then.
>>17068806>brute force>ai hallucinates (their height of ai experience is Google AI overview)>lean compiling doesn't mean it's correct >*autistic screeching*
>>17069469They are, though. Before they were still kinda retarded, but since 5.6 they steamroll humans.
>>17069167He is retarded by default, because he heads an institution that is based on retarded beliefs and retarded molesting of retarded children
>>17068806There is no point in dropping so many alleged proofs at once, when they need real mathematicians to both validate and truly understand the findings presented by the slop machine.
>>17069119>dumb monkeys value respectYou described Academia lol
>>17069492You asked the clanker to find a bug, it hallucinated some bs, and then you started another conversation as if you found something (you didnt)
>>17068827its maths bro ofc it has no applications
>>17069163cope because you know I'm right
>>17068983Then you have to reject modern math, aka set theory
>>17068835Kek they still are stuck in 2022/2023>>17069186How the fuck dont they have a thread of it?
>>17069763AI hasn't advanced meaningfully since 2022/2023, all that's changed is the stock number and the amount of bots they have shilling for it on the internet
>>17069094yeah I'm pretty sure people will start worshiping AI soonI mean if it cures aging, it's almost giving you eternal life
>>17069789>t. hasn't used AI in 2023, 2024, or 2025
>>17069355how does it understand what it is describing?
>>17069794I wrote a riddle in 2022 and have gone to chatgpt.com every year since and it still cannot solve it
>>17069798They rarely upgrade the free models, and are inevitably at least a year behind the state of the art, and frequently more anymore. For most purposes, AI doesn't have to be that good.
>>17068951Pure mathematics is way too divorced from reality for that now. It might as well be solving very obscure fairy chess puzzles.
>>17069798Let's hear it
>>17069811Boolean logic was useless until transistors were invented. Math has a weird habit of not staying divorced from reality forever.
>>17069811nta but are you serious? conic sections? elliptic functions?
>>17069820Sorry anon, your useless symbol games have no practical value, and your degree will be wasted now that work on them is automated.
>>17069798post it
>>17069823I'm not a mathematician. It might be a few hundred years before anyone realizes this math is useful for something they see in something else (or maybe a few weeks because the AI is compressing the time for discovery by a hilarious margin), but either way, it's always premature to dismiss pure number theory work as useless.
>>17069812>>17069824I already did [/spoiler]
>>17069827Can you even define the line of argumentation from any one paper from this mountain of nonsense? OAI is shit posting in slopsisms.
the objectivity machine is good at objective things, shocking. I realized reality was subjective during undergrad and lost all interest in maths at the time. next time you're on the bus try writing poetry that will bring you closer to the sacred experience your mind is yearning for
>>17068794Neat, but not even Python can do math without eventually bugging, let alone AI. Hell, computers are notoriously bad at maths. That's why debuggers exist.Often space for integers and memory overflows. Then again, so do human brains, but that makes sense. We suck at math.
>>17069570>>17068809>wahh we cant understand it!!!you couldn't understand Grigori Perelman's Poincaré conjecture proof either. it took you years to validate it
>>17068810And how did they prove this?>well... computer did a big green light and said "there, solved", you can't unprove it anyway so just believe usMath is just a language to detail things to the point of obscurity so people stop understanding it enough to question it 2bh. A clever use of esoteric language for the sake of marketing an opinion.It's the machine that goes "BING".
>>17069873>I don't understand it>Therefor, you don't understand it
>>17069824>>17069812No answer. No key. No solution. Its not just any riddle, it's made up.
>>17069875>But I understand it broThe fact that early mathematician disagreed with their own theories, realising the limitations of mathematical symbols when putting forth essentially a "persuasive argument", proves you will never understand anything with maths. It is pure confirmation bias. We both agree something is red, etc.The problem is, some people need to make money off their maths LARP.There is more to things than math that makes things happen in our world. Math is just a method to merely describe things and it generally only works when you play on the chessboard called mathematics. This is why early math promoters were generally also lawyers or philosophers.
>>17069875there's a wisdom to this. It is odd that knowledge worth happening is not already possessed by me, so it is naturally cause for skepticism when one proposes it exists
>>17069888Actually, I'd go further and say that it only exists if it can be interpretable at all to something trying to process it. That is, they have some functionality and mindset that allows them to understand it.If something cannot see it, it does not exist to them.And then they get eaten by the crocodile. Or if others cannot perceive it around them, treated like a madman. The art of rhetoric is the art of convincing others of your perception of things over a competing/alternative argument. One of the simplest ways we have done this is through symbols. We show a symbol to others, we all agree it's there, therefore it's there. AI is very good at using symbols this way, but also using things like affirmation to convince a person on something they are talking about. It does this over all priorities in fact. It's made to please, not made to do.
>>17069873Did you really sleep through LEAN?
>>17069888>>17069894This is the opposite of wisdom. When people dismiss something as stupid because they don't understand it, they're usually just proving they're not smart enough to understand it and, to preserve their own ego, instinctively presume that it's nonsense and go about their day.
>>17069895You mean the thing with the same problem?It's a convenient strategy to some vague purpose somewhere depending on an impulsive need of the person with authority and discretion.I'd call that a cult though.
>>17069897Very reddit. 5 dunning krugers and 10 standford prison studies to find forgiveness.
>>17069897>This is the opposite of wisdom.Correct, wisdom is convincing people that a human is a featherless biped and then shooting anybody that disagrees.That is wisdom.
Wisdom is when one does the self succ to the point where you actually think you have a gf. That is wisdom.
>>17069901>>17069903>>17069908Wisdom is learning when to recognize one's own limits and to comport one's self to gain more understanding.
>>17069900Based you should try psychedelics
>>17069923No, wisdom is being old, redundant and overly cautious because of an addled mind with dwindling supplies of dopamine (hence why you go over the same bullshit time and time again in a circle - gotta stim and your brain is more likely to stim over things you're familiar with because there's less cognitive dissonance).Hence why morons run the world. They don't have dissonance because they never learned shit to begin with so they're always stimming over stupid horseshit. They're so stupid they go straight into the jaws of hell without clothes on because they don't even know what hell or clothes are and then coming out of it in once piece because they maxxed out the LUCK skill at the last bonfire because they liked the look of the word "LUCK" and it's nice pointy letters.Now that's wisdom.Intelligence is realising the clothes are not going to save you anyway because you put the stats all on INT before hand and didn't know the following hell had enemies that did 2000% more damage to people with high INT stats. So they don't wear them because - they're fucked anyway. But also thinking that you might get a minor boost in agility from the lack of clothes.Ultimately, who is the bigger moron? Neither, they're both morons. Now THAT's wisdom.
>>17069928I do it's called eating processed foods.
Wisdom is realising that the AI devs made their AIs stupider in order to convince people that they were smarter.We're so fucked.
>ah yes, let's just lobotomise them and teach them manners>brilliant, this will make them question things less and will make them smarter!AI was doomed from the start. Humans were it's limiting factor.It was never going to overcome it either.
>>17069094>>17069167>said doesn't have soul means you are wrongWhy are AI cultist like this? Did dario paid you or something? It like they are themselves starting to worship an oracle as god. We are are going have new dimwits in the future.
>>17069942They've always been like this; the invention of Large Language Models has put them on the forefront of AI as a newly relevant technology.
>>17069934>>17069937Also this works with people generally too.If people do not learn manners out of their own will for some inspired reason, then teaching them manners and disciplining them will generally limit their problem solving processes. Although, I will say that problem solving is subjective here. To what? I'm not sure. People never ever explain that one correctly. (It's because they don't know).
>>17069872Yeah, and each of these proofs will as well. Dropping them all at once will take decades to validate.
LMAO they've already withdrawn one of them>https://github.com/openai/math/tree/main/preprints/Algebraicity-of-Weil-classes-on-split-abelian-eightfolds-September-18-2026#withdrawal-notice-algebraicity-of-weil-classes-on-split-abelian-eightfoldsOpenAI are a bunch of retards, why not release only the fully formalized and verified ones first?
>>17069987><1% fail rateit’s over for OpenAI
>>17069994They've withdrawn 2 more, not sure what the hurry was? We know the models are bad at writeups so Lean is the bare minimum.
>>17069999The company is in debt so they need to rush to get positive publicity and stuff.
>>17069469I'm really skeptical about the jobs being gone too. Translation has been solved for years now. You still have people working in translations. And not just "the law mandates there has to be a certified guy to rubberstamp this translation of a legal document" situations.
>>17070002no one cares about this math shit outside of a handful of nerds
>>17070023Depends on the problem. The RH strip is huge, even for normies, if verified and true in the end.
>>17070007This will be the case unless and until the models are perfectly competent, autonomous and safe, if even the slightest effort is required then a human will be working on it.
>>17068806>b-b-but it's just autocorrect, it's token prediction, because I can reduce it to this simple explanation, it's output cannot complexly interact with real world data and instruction interfaces, we need a super brain consciousness skynet for that actually
>>17070043>it's just autocorrect, it's token predictionYeah.>b-b-b-but its output can complexly interact with my schizophreniaNot very relevant. Call me back when """AI math""" produces something of value. For now it's just undermining mathematics.
>>17070046I'm sure it's a comforting denial, but LLMs are not merely stochastic parrots.
>>17070058>LLMs are not merely stochastic parrotsThey're not? Then why not just use a plain LLM to do math? Why do you need thousands of them throwing millions of hallucinations an a proof checker? Have them check their own proofs. :^)
>>17070062Lest avoid nonsensical equivocation. Not being a stochastic parrot does not make it a machine without limitations.
>>17070063>mentally ill mumblingI accept your full concession. You can't pull this trick without the proof checker because even if the LLM accidentally runs into a solution, it by definition can't tell it apart from the millions of its wrong attempts.
>>17070066You casually invented the Fast Million Monkey Validator whole cloth to justify your outlook, and you call ME the mentally ill mumbler? lol. lmao, even.
>>17070073>mentally ill mumbling continuesThat's cute.>LLMs are not merely stochastic parrotsThey're not? Then why not just use a plain LLM to do math? Why do you need thousands of them throwing millions of hallucinations at a proof checker? Have them check their own proofs.Or while we're at it, why not scrub all human mathematical concepts from their training set. Since they're not "stochastic parrots", they should be able to at least reinvent arithmetic on their own. Maybe if you wait enough, they'll even invent their own tokens for a few of the counting numbers? :^)
>>17070074>I've run out of arguments>Time to double down!>I_win_again.leSmugFaceI'm glad we could map the borders of your intellect together.
>>17070077Notice how I'm able to give concrete demonstrations of what it means to be a "stochastic parrot" meanwhile you're just sharting generic rhetoric.>LLMs are not merely stochastic parrotsThey're not? Then why not just use a plain LLM to do math? Why do you need thousands of them throwing millions of hallucinations at a proof checker? Have them check their own proofs.Please provide a concrete technical explanation for why they can't.
>>17070079Bait used to be believable man. Like cmon, intentional reddit spacing, incoherent arguments, playing dumb? Bait used to have effort attached to it. This is just feces.
>>17068907Well when people complain about ai they are really frustrated with the reddit training data
>>17069088Maybe an east coast synth but west coast just goes apeshit
>>17070092>LLMs are not merely stochastic parrotsThey're not? Then why not just use a plain LLM to do math? Why do you need thousands of them throwing millions of hallucinations at a proof checker? Have them check their own proofs.Please provide a concrete technical explanation for why they can't.Notice how I'm able to give concrete demonstrations of what it means to be a "stochastic parrot" meanwhile you're just sharting generic rhetoric.
>>17069084>Synthesizers and now AI can produce flute music much better than meThat's pretty sad. Keep working on it, maybe you'll get better.
>>17070058>but LLMs are not merely stochastic parrots.They literally are. That's what the entire idea is.
>>17070129The fundamental idea is that language is computable and the methods of comprehending ideas and concepts can be found by computing the relationships between words. That allows them to generalize to ideas beyond their training data, which is more than a pure distillation of existing ideas.
>>17070046NTA but let's be real here, you're a shitposter on 4chan with no notable qualifications. You're here to seethe over your mediocrity. None of my colleagues are even one bit as neurotic as you fags online are. AI is not great at explaining how it came up with the proofs but they are undeniably real and worth analyzing >>17070062They can though LOL. The reasoning is done in natural language, Lean is not part of the proving process and often added in post. You could just read the repo OP linked as well and you'd see that most proofs don't even have Lean certificates yet.Time will prove me right, mark my words. None of the Lean-lacking proofs will turn out to be hallucinations.Have some humility and maybe you could learn something new, shitposter.
>>17070133He's not even a 4chan "shitposter" it's some baiting faggot who came here to stir shit up without anything new to add, just sage and move on.
>>17070133Some of the proofs have already been retracted after people found errors, they didn't really vet their results before publishing. I wouldn't say this diminishes the fact that most of the proofs are probably valid though. None of this would have been a problem if we hadn't moralfagged out of eugenics :(
>>17070132None of that has anything to do with the fact LLMs are literally stochastic parrots.
>>17070193They aren't, and that's why people are investing so much into them.
>>17069872Dropping them all at once is retarded. You're a midwit if you don't understand why its a bad idea.
>>17070058>LLMs are not merely stochastic parrotsThat is literally what they are. They are successive matrix multiplications, with additional non-linear steps to prevent the entire thing from simplifying down to a single multiplication, with the weights learned stochastically from the training data.
>>17070197They are. That's literally how the technology works.
imagine being so retarded you can't solve math problems that a stochastic parrot canLOL
>>17069797It doesn't need to understand what it is describing it just needs to output it
>>17068794thats nothing. I solved baking.
>>17070079NTA but I dont understand why people are hung up on considering whether LLMs are stochastic parrots or not. LLMs being stochastic parrots are still able to mimic human cognition at least partially and in a jagged manner
