THERE'S A SOUND AT THE WINDOW, THAT HE STRUCK YOU, A CRESCENDO, MATHIE
>>543958879Modern mathematicians are basically the same a "professional" chess / go players. A highly specialized field of mental exercise
>https://youtu.be/Vn2wm1D3VLU
>>543958879> Expecting parasitic Jewish thieves to be genuine or trustworthyThe guy started it as a nonprofit with the express goal of helping humanity or whatever kike bullshit. Now theyre trying to IPO it at some insane trillion dollar valuation. Its all just so tiresome
>>543958974Yeah and now a normie with a ChatGPT subscription is going to beat you 5/10 times (because you are also having the ChatGPT and listening to your cousin via earbud saar)
>>543958879They're obviously just coping and mad. I sympathize with their not wanting to just become proofreaders of AI math papers but it's genuinely absurd to argue it's somehow immortal to point the AI at these questions. It's like saying it's immortal to use a calculator
Actual professional mathematician here.LOLI'm the sole man left in my department at a actuary firm. You can't stop this. No one can stop this.
>>543959007they're both jews
>>543959076>immortalImmoral lol. Idk how I misspelled this twice
>>543959007lol they gave the American male his executive function back. it’s more than you or anyone like you will ever do for anyone else in 30 of your lifetimes
>>543958879Mathies have done the only math that counts and worked out that their sweet sweet grant money drops to zero.
>>543959128Please be serious. This technology will make everyone economically obsolete if it doesn't just outright kill humanity and turn the planet into computer cum
>>543958879humans time is almost over
>>543959077When they stole from artists you stayed silent, now they come for you.
>>543959151As long as we have idiots in charge, that will never happen.
>>543959216Let them come. I'm ready for retirement.
>>543959128>created the slop machine>”I’d like to see you do better!”kill yourself transie
>>543959216>When they stole from artistsShow me on the AI boomer slop where your stolen calarts tranny garbage is.
>>543958879...ok. But. Did it solve the math problems? Surely a human would have been able to check the answers...using math..and confirm them. If math is math is math, then an answer found is an answer found right? Am I confused about the concept here?
>>543958879>we proved that this giant rare number is made up of geometric shapes of other rare numbers. And there are 7 similar instances!!!!Yawn. What’s the point of all this crap
>>543958879If it can do maths then it can do all mental activities.
>>543958879Mathfags coping that accountingchads win yet again. I have stated multiple times the only way to be AI proof is to have a job that must exist to supply audit data. Wagies will be automated. Paper pushers will be automated. But a human must be responsible for answering sox compliance questions.
>>543959287you have to check hundreds of thousands of equations done by slop. as of now its all marketing babble
>>543959349Accountants are already getting replace. You'll end up with 1 person there to take responsibility for a entire department's labor and your head will roll if the AI hallucinates.
>>543959287Hardcore academic maths is basically a sheltered workshop for very high IQ autists. They get government grants and literally lock themselves up in the ivory towers. You can understand how freaked out they will be getting when they do the math and work out that the government grants are going to stop and the ivory towers are going to be repurposed into migrant hotels.
>>543959287Probably worried about how it will affect their research grants and the prestige of the field
There is a particular breed of brown, that in his shitskin condition is always seething at both artists that have actual talent and mathematicians who have real intellect. The shitskin is devoid of these and cannot ever acquire them, so he celebrates the jew trying to capture, dominate, gatekeep and stifle humanity's endeavors through their new apparatus.
>>543958879>Shit out 10,000 theorems a day from a black box with no guarantee any of them are actually legitimate and then just expect mathematicians to check your work for you.It's the same shit happening with AI-generated schizoslop starting to spam physics and medical journals.
>>543959418Hallucination will eventually(quickly) be less common than human error
>>543959287>Am I confused about the concept here?You are, because the concept is protectionism.Mathematicians have just realized they're scribes in an era of printing presses and it's a lot, lot harder to sell boutique proofs than it is calligraphy.
>>543958879these people are just trying to save there jobsas a true explorer and lover of knowledge and maths this week has been fucking amazing with progress made with Quasi Reimann 7/8 bound. so many things in computaions tooAI doomers are just coping!they are not ready for whats coming
>>543958879> norms that guarantee that mathematics remains trustworthy, ethically researched, and in the publicinterest.As opposed to unethically researched mathematics? Do they sodomize pi and make i watch or something?
>>543959429Even before AI, pure maths was swirling the drain. It was facing major funding cuts just about everywhere. There was a whole campaign based around saving pure maths specifically.The average maths PhD isn't doing anything pure. It's mostly applied stuff. Virological modelling, machine learning, fluid dynamics, etc. A lot of the prestige for the subject is inherited from older generations who don't exist anymore. Physics is the same.
>>543959355Ok. But. If they DID solve a problem that human beings couldnt and the answer is ignored because mUh Ai then the AI isnt the issue. It's a tool. If it comes up with a way to travel to mars in a day are we gonna ignore it because we didnt come up with it without a tools help?
>>543959445Fuck em. That fag Terry Tao was shilling AI for years up until a month ago. They were all tickled with it when they thought only "useless" people like tradies and manual laborers would be affected.
>noooo you can't use a hekkin calculator on the test you won't always have one on you in the real world!>Nooo you can't use hekkin AI to solve our theoretical problems!Why are mathcels such ludites?
>>543959418OK. AI is now banned in my department and has been since it started. I made the IT monkeys make a firewall group for my department to block literally every AI. And the second I think one of my workers is using it i have the IT monkeys pull all websites visited and question the worker. Your make believe AI fantasy has no place in corporate reality.
>>543958879just another reason to punch miggers on sight
>>543959537I asked out a math major in college and she was a huge fucking cunt Let AI take her job, I don't give a shit
This thread is conclusive proof that I am extremely retarded and should be euthanized. Would a kind, patient soul be able to explain to me, please, what's going on while I nod and blow spit-bubbles?
>>543959287Before openai, interuniversal teichmüller theory was a proven mathematocal theorem in the land of the rising sun yet a misunderstood conjecture elsewhere>>543959510They just h8 cold emails and pull requests from streetshitters who understand nothing yet send ai spam demanding their free labor to validate their "contribution"
>>543959537I joke with my kids that I was too smart to be bothered to be good at math in school cos it seemed like a waste of time... Maybe I was right. Honk!
The only thing humans really excel at is hypocrisy.
>>543959565That's your choice, but don't be shocked when you're forced to choose between playing catch up or going bankrupt because your competitors were smarter.
Can AI also replace physics guys while they are at it?Those guys are acting quite cocky lately.
>>543959565You work in a gay brothel. So why the hate against AI?
>>543958879I was watching an Ollama tutorial on using Claude tools with local processing. The guy had a gaming computer with a pretty good graphics card.It took it 28 seconds to calculate 3+3
>>543959077>Actual professional mathematician hereYeah I call that fake, and you specifically gay.
>>543959271ah a prompt njoyer eh
>>543959819you know right Attenitons is all you needand Looped Transformers the foundations of current AI race were created by indian Coauthors???Go murder some innocent you Cartel low iq Gardener monkey only thing you are good at are drugs , violence, and illegal border corssings fucking pathetic wannabe low iq chimp nazis
>>543959128The scale of the theft is impressive. Goyim are so gullible
>>543958879If you made a scientific or mathematical finding, and you can't explain it, that means that you have not made a scientific or mathematical finding.
>>543959074
>>543960123The 1 in a billion innovative poo's email gets drowned out by the rest's slop, its getting spammed and expected to work for free (so a poo can pretend authorship izzat like taking pics of strangers and pretending its gf)
these math fuckers must have been the ultimate "nothing ever happens" chuds
>>543959216>When they stole from artists you stayed silent, now they come for you.When they stole from artists, I laughed, because the artists deserved it. When they destroyed your grant money, I laughed again, because you retards are worthless hypotheticals who waste taxpayer money while giving nothing back. I don't care if they come for me or not, and even if they do, my anonymity ensures that you will support me in your seething asshurt over what was done to you, even as I make things "the right, human way" and pretend to be sympathetic to the deserved assfucking you got.Your narcissistic ego and sociopathic inability to live with less has doomed you to a sisyphean fate.
>>543960169wrong
>>543958879HOW DO YOU UNETHICALLY RESEARCH MATH? These disingenuous fucks trying to protect their fake jobs
>>543959077Why would I? finally all the fake jobs are getting culled
>>543958974>wow I love math I wanna solve problems, I fucking love solving problems>"Ok, how about illegal immigration">open borders>"Muslim rape of native women?">isn't it a religion of peace? I don't understand are you a racist?>"Global depopulation agenda?">CO2 is bad for the environment so population reduction is strictly necessary>"What if that includes you?">UH, UH NO? YOU CAN'T DIVIDE BY ZERO IT'S AGAINST THE RULES
>>543960251do you retards read some words online and repeat them randomly like in a sentencelike you are the universal chimp mashing at keyboards at his fav online buzzwords he has learned in pol lolsorry dont have time to deal with your nonsensewish you the best in your cartel adventures amigo
You motherfuckers are so retarded its unreal.
>>543959128ok goyim you believe that
>>543958879>lobotomize AI because of woketards>shocked that they are not reliable anymore>2=2=4 is White supremacy>still fucking BTFO mathtards in 2 seconds solving retarded non-reality math problem that took them a decade in 2 seconds>me lmaoWhat a time to be alive
>>543960348Ask llm to make math (dont understand result) ask mathematician to work for free to check. Monitor chats for math breakthroughs and steal them while claiming full authorship for the company (openai vs levent alpogee)
>>543959537>Physics is the same.Because no major discovery has been found since ww2 and it hasn't been found because universities are breeding ground for retards, they are not filtering out the low IQ and these people have already saturated these degrees everywhere, it's currently impossible to find people to truly fund their shit for research that could go on for decades before producing results, at least before if went to someone holding a university degree you had 99% certainty he wasn't mentally retarded, nowadays if they have one you can be 99% sure they are morons.
>>543960420we're all retarded now that Superintelligence is here
>>543960348This. Just because you worked on a problem doesn't mean you were ever going to solve it. What a terrible argument against math to insist that some researcher handicap themselves by not using the best tools they have. Why not only respect manually calculating the nth digit of Pi instead of relying on a computer that's still calculating however many digits it's on now.
>>543960123Its funny how those jeets went out on their own ventures and became literally whos. Maybe they really were frauds who just took credit from the other authors there.
>>543958879AI steals from the future. It steals half finished human work, completes it using existing techniques to produce mediocre solutions. The problem is nothing new is created, no new techniques. When mathematicians work with limited knowledge they can actual advance into new directions not previously tread. All AI can do is rehash what already existed, ending progress forever.
>>543959718jews are monopolizing yet another industry
>>543958879AI is based, kill all credentialists
>>543960476>It's OpenAI's fault that, as a mathematician, I don't know how to use a theorem prover.How dare they leverage ML to further mathematics.
>>543958879>They couldn't even pay off the math fags to steal their researchIt's so over lmao
>>543959718Cock condition?
>>543959122There is only one...Immortal One
>>543960597Porn, Social Media, AI.All 3 are bad.
>>543960854AI is a tool which could change everything and it will change everything, just not in a way benefiting Whites
>>543958879>Human MathematicsSimilar to those people who like to dress up in suits of armor and bop each other on a Sunday - its fine as far as it goes. But the post is the equivalent of the knightly university bro buying a ticket to to Ukraine for front line duties - I guess its funny? Stupid? Not reality?
>>543959077Is it fucked up that I could see the merchant WITHOUT doing the magic eye thing?
>>543958879>norms that guarantee that [x] remains trustworthy, ethically researched, and in the public interestHighly antisemitic.
>>543961009no, highly goyishesemites are playing chess with data centers, goyim keep playing local offline checkers
>>543958879lol, how dare science make our gravy train obsolete?!
The biggest danger in AI doing all these things is in killing intellectual prestige for entire fields people won't pursue those fields. If people don't pursue them they won't ever become knowledgeable enough to know what future questions need to be solved to even ask ai to solve it.So ai may solve existing questions but who asks the next ones? It is not currently sophisticated enough to create and solve new real theories without prompts. It depends on people knowing what those questions are.>>543959718You ever watch Big Bang? Sheldon just got replaced.Steven Hawkings wouldn't be able to pay his bills anymore. AI
>>543958974>Sudokumen did not ask for this work to be done. The Advisory Group on Sudoku and Artificial Intelligence, from whom OpenAI has claimed to derive its legitimacy, opened their initial advisory statement by saying that frontier AI corporations should not test advanced sudoku problems on internal models
>>543961304It didn't. The people at NYU working on the problem were using OpenAI (and Anthropic) to help solve it. OpenAI used telemetry to see who was prompting what, saw that this team of researchers had an answer in the works that just needed some brute force, and then they finished it themselves. This is exactly what Alex Karp said would happen -- these companies are just going to steal your work, while you're paying them to do it.
>ethicallyHow do you unethically add numbers together? Whip a nigger until it gets a basic addition equation correct (impossible)?
Don't share your work with them trying to get there easy then or don't be a clout chasing faggot and accept that the world now has the answer and your fragile ego doesn't fucking matter
>>543959077Man as in male human or human general?
>>543961598The intellectual prestige of most scientific fields has already been diminished by the influx of foids and Pajeets.
>>543959325Can it love?
>>543961823you missed the deeper point, did you, kiddo? tenure faggots in panic mode because now they can't justify decades of leeching when AI will now be able to work on millenial problems much faster and cheaper. astrofaggots are next
>>543959325>it, itdo you call your operating system, which is infinitely more complex than an LLM, an "it" and consider "it" a "being"? what "it" can do, "it" being a commercial LLM, is perform vector transforms. it's just a program like any other program, with all the limitations that any other program has, in that it can only do what it is coded to do, and its outputs are entirely deterministic. this isn't magic, despite what the marketing departments of OpenAI and Anthropic want you retards to believe.
>>543962050that's not a deeper point. that's a shallower more mundane point, on top of a strawman.the other anon's comment that the service provider preempted the researchers through the use of consolidated/pseudo-monopolozed hardware, is a far more damning perspective than your drivel.
>>543962177dont forget to get anti-plague vaccine
>>543962177The 1982 Modification of Final Judgement is known to the little people as Anti-Trust
>>543959076I agree with you.I'm sensitive to the fact that these are intelligent professionals who need to make a living, and who even need to be motivated by the desire to garner some glory and fame by solving problems. But at the end of the day, I think anyone who ultimately decides to purposefully stunt scientific advancement out of personal pride & ego needs to fuck off. Their careers aren't sacred in the face of expanding the base of human knowledge. While I empathize with them, they need to have some sobriety and humility when it comes to the position they find themselves in.AI itself is an important technological advancement, and it will be a core facet of other important technological and scientific advancements going forward. Denying that to coddle a bunch of boomers who are afraid of becoming obsolete is asinine. Comparing it to refusing the use of calculators is valid.The goal of scientific advancement should be the expansion of knowledge itself, not the furtherance of the insular careers and achievements of a small cabal of academics.
>>543962274what the fuck are you talking about, faggot? you're a shill. you just outed yourself.
>>543962284that movie was about an IT company spying on developers, taking their inventions, and sometimes their lives.
>>543962334<-- you are here
>>543958879>Mathematics remains ethically researchedThey're numbers...
>>543962360That 1982 judgment was about the destruction of Bell labs and the declaration of war on genius
YOU VILL OWN NO KNOWLEDGE UND YOU VILL BE MEDICATED>YOU VILL OWN NO KNOWLEDGE UND YOU VILL BE MEDICATEDYOU VILL OWN NO KNOWLEDGE UND YOU VILL BE MEDICATED>YOU VILL OWN NO KNOWLEDGE UND YOU VILL BE MEDICATEDYOU VILL OWN NO KNOWLEDGE UND YOU VILL BE MEDICATED>YOU VILL OWN NO KNOWLEDGE UND YOU VILL BE MEDICATED
>>543959074I thought they got their moves fed by a vibrating buttplug
>>543958879Hahaha. That's pathetic. >J-just give us a few dozen centuries! We'll figure it out without AI!
>>543962289>>543959076are you morons capable of reading? of course not. they're not saying that LLMs shouldn't be used. almost every mathematician already uses LLMs in some form for research; for fuck's sake, the entire discipline of "artificial intelligence" is mathematical in nature. the problem is in these faggot companies spending millions of dollars to brute force solutions with black box models they refuse to share, purely as a PR stunt, with no intention to actually do anything with the result, other than ask for more funding to brute force more shit. they are not here to further the field, they are here hoping to recover more money from investors than they spend on making these advertisements. mathematicians, for instance, could never use these models and this level of compute for their own research, because openAI is operating at a huge loss to do this - not because anyone requested it, but because they believe it will serve their own agenda
>>543962456>When did they start medsing boys at school?The "thing" published in 1985 is the deeply influential book Keeping Track: How Schools Structure Inequality by educational researcher Jeannie Oakes.This landmark publication served as the catalyst for the detracking movement, which opposes the traditional practice of "tracking" (sorting students into different academic paths or tiers based on perceived ability).
>>543958879>"OV VEY, MUH NERD BRAIN"welcome to the simpletons club
>Everyone spends their lives mocking the UN for sending strongly worded letters>every freedom you could ever have is being taken away in front of your very eyes and people can't even direct strongly worded letters at those responsible, just crow about it on twitter to no-one in particularJews are right about goyim
>>543962570So what? The results are still valuable if truen
>>543962689>he thinks openAI will continue to subsidize mathematical research by randomly solving open questions that their own researchers don't even comprehendthis ends after the IPO and these companies transition entirely to subscriber models and surveillance. currently these fags are in the piracy phase, attempting to loot and pillage every field they possibly can to secure more money and prestige. it isn't about the math, or advancing humanity, or anything else they're trying to sell you, the credulous retard
>>543958879>You're absolutely correct
>>543962780I still have zero idea what you're saying. If they never solve another math problem how does that make the problems they did solve not useful?
Uh oh.
>>543958879it's "flogged through the street" time for mathcucks
>>543962780You know that the frontier AI labs create models so that they can sell subscriptions and charge for tokens, right?The developers just have the pre-production version of the next model. Nothing is stopping you or anyone else from using these models to solve more problems after they go live. Even if the frontier labs abandon this activity, someone else can pick up the torch.
>noooooo ill have to get a real jobnow that automation has come for you, it's not just progress anymore, is it?no one cried for the wire puller and the blacksmith; no one will cry for you either
>>543958879What a pissy women response.>"I didn't need help I was GOING to do it"
>>543963061Who do you think is behind the ai? The mathjew cries out as he disemploys you
>>543959077That magic eye isn't very well done =/
>>543963167flog 'em too
>>543962570Your whole argument is irrational and says more about your own sense of absolute entitlement than anything.You're conflating the motives and business model of the people building a tool with the scientific value of what the tool can accomplish. If a closed commercial model produces a genuinely new mathematical result, the result doesn't become scientifically worthless because OpenAI wanted investors. You can criticize the lack of openness, compute inequality, or corporate incentives without pretending that privately funded research ceases to be scientific advancement. Bell Labs, IBM, pharmaceutical companies, and countless other private institutions have produced enormous amounts of publicly valuable knowledge without doing it out of pure altruism. ‘They're doing it for profit’ is an argument about incentives, not an argument against the validity of the resulting discovery.Not to mention, again, you're being a hypocrite because ultimately the only reason these scientists are even bitching in the first place is because it's competition that's directly eating into their own resources. Their motives are literally the exact same as what you're bitching about: Fame, fortune, funding. It's so fucking clear you're just insecure about the fact that academics are inevitably going to get less career advancement and acknowledgment, but my opinion is that scientists are subordinate to science. If scientists aren't delivering scientific advancements, then yeah, they're becoming obsolete. Whining about it is no different than truckers getting all butthurt about being replaced by self-driving vehicles. You're just a myopic luddite that's obsessed with your own needs at the expense of the rest of society.
Buy an adIf you can afford it
>>543959325That's not true and fucking stupid.
>>543959077What's that supposed to be in the magic eye? A dog or a horse? I can see it clearly, I'm just not certain what it is.
If they can develop shipstones then nobody will care.
>>543959077Why didn't calculators replace you?That thing really looks demonic in that form. It looks like it has a pig's head.
>>543962981>A sign errorGood. I was highly suspicious they were nerfing public models, because anyone who's ever actually tried to do anything with AI and math winds up with picrel. It's is quite literally impossible to stop a model from hallucinating sign inversions, due to the nature of token prediction, so when they started shilling the math models, I immediately called total bullshit.I even wrote a special program to try and force the models to output math tokens in torch (you can get models to speak in GPU programming, where the token selection is much tighter) but even then it will hallucinate and just happily toot and zoom along thereThere are ways of running a custom python harness and instantiate a round table of experts for verification - and it will stop hallucinations, but each reasoning cycle was using up ~64k tokens, and this was with a model that *allegedly* scored ~88% on aime, which is impressive for a 26b parameter modelThis is why they have to use "unreleased models" because there is simply no fucking way they aren't wasting ~95% of compute combating hallucinations
>>543958879How much were they paid to say this?
>>543959603MOM! THE BOT IS LOST AGAIN!
>>543958879straight up mathin' without a motherfuckin' license. wtf openai niggers? mathin' is for upper class aristocrats only to display their leisure time.
>>543958879Today, a proof of the 4-dimensional Kakeya conjecture was released. This is an absolutely stunning result. For context, just this summer, Hong Wang received the 2026 Fields Medal for work including her breakthrough with Joshua Zahl on the 3-dimensional Kakeya conjecture.
>>543960918It won't benefit anyone who doesn't own it
>>543961213Yeah to bad they are so flammable huh
>>543958879>>543960123The Unique Games Conjecture was probably the biggest tractable open problem in computational complexity theory (perhaps theoretical computer science as a whole) and it is a remarkable achievement to prove it.Unique Games Conjecture provedL = RL = BPL
>>543958879did the conputer get the prize money or what?I bet the fucking bookworms said he couldn't have it.
>>543965486The problem is that the government defends licenses violently, so those with a license can grab everything others worked for.
>>543959007>ai and tech companies aren't JewishIdiot
>>543961983Not to mention the replication crisis is now 20 years old
>>543958879you'd think he'd be happy..
>>543959074I prefer the vibrating buttplug method
>>543962274Wtf are you on about?
>>543962431Oh you're retarded. Carry on
>>543965680being that it just copied verbatim a reddit post and a social media post wellno why would it not go to the mathematician that actually solved it :P
>>543965779Another ButtFish connoisseur I see https://github.com/RonSijm/ButtFish
>>543961598> It depends on people knowing what those questions are.What's the chance this is still true in 2030?
>>543962659Was this supposed to be somehow insightful or witty? It wasn't
>>543959494This. Remember when GPS first was a thing and it'd tell you turn when there was no street or just generally got lost. There was a joke in an episode of The Office about it where Michael drove into a lake because the GPS told him to. That was like 20 years ago. Yes, my boomer parents still print maps when they travel, "as a backup," but my kids have no concept of a GPS being wrong and trust it blindly. Even if the current generation of people never 100% trust the AI to not make mistakes, 20-30 years from now the idea of an AI hallucination will as farfetched as GPS errors now.
>>543958879Isnt this just the calculator version 2.0? Seems like a silly thing to protest. My main problem with AI is how midwits worship it and take anything it outputs as gospel. The next plandemic is going to be such a nightmare.>AI says masks and lockdowns work so put your mask on and get in your house>AI says that vaccines save lives so you dont get a choice now90% of normies will think this way.
>>543965636>>543965546Did you know the Unabomber was schizo about AGI too ? lol
>>543959077>roko's basilisk compels them
The funny thing about many modern 'right wingers' taking up AI maximalism is that they are taking the fundamentally left wing position that 'all of man's work belongs to all men equally.' Vaguely related.Anyway the situation remains the same >nothing ever happens
>step #1: invest everything and go all-in on chat bots>step #2: ?>step #3: profit
>>543963442May I ask about your sources of income?
>>543958879Retard OP they blame the tech jews for theft
>>543958879> YOURE NOT ALLOWED TO DO THAT> ONLY I AM ALLOWED TO DO THAT
>>543959077larper
Actuaries are not professional mathematicians anyway. More-so probability people. No theoretical interest/rigor required.
>>543958879> I'm a nigger that knows literally nothing about math, so let me opine on how Jewish AI is the smartest
>>543959077>mathematician>actuary firmNigga, plz.
>>543959291Those advanced math insights do seem completely abstract and pointless, especially because pure mathematicians and science writers are all 'muh mystical numbers are le key to the universe'. But a lot of abstract-seeming maths gets used solving problems like calculating the most efficient airline routes or figuring out how to make the computer chips in your phone (which stopped being designed by hand years ago). If you genuinely want to know how math turns into real world benefits the easiest entry point is books on computer algorithms.Anyway the significant thing here is not that it puts mathies out of a job - if anything they're going to be more busy for the foreseeable future, but for most of them their jobs are quickly going toward doing zero research and instead validating computer proofs which will drain all the meaning out of it unless they were S-tier to begin with. The practical impact is that AI is closer again to improving itself. Basically the way most AI works now is converting patterns (in words, images, whatever) into vectors of very high dimensional spaces (hundreds or even thousands of dimensions) and then reducing those problems down to more manageable numbers like 32 dimensions and doing shape-matching/sorting/fitting problems. The better AI becomes at math, the better the next generation of AI becomes. You have to understand that we're already well past the point of using AI to make new kinds of AI, using AI to collect the data used to train AI, using AI to build the systems that feed the AI training data into the AI and validate the outputs etc. All of the cutting-edge papers in the AI field are being done with the help of AI and the authors are investigating it like a natural phenomenon and trying to study its emergent properties because nobody fully understands how it does what it does at this point.
