Touch grass

>>17029232
I tried looking this up, what the fuck is it?

>>17029232
CONFIRMED on openai's website
https://openai.com/index/ten-advances-in-mathematics/

It's also confirmed/advanced:
>High-dimensional sphere packing
>Binary and spherical codes
>Conne's rigidity conjecture
>Arithmetic circuit complexity
>Quantum parallel repetition
>Closest vector problem
>Ehrhart's volume conjecture
>Multicolor Ramsey numbers
>Extremal number conjecture
WHAT A TIME TO BE ALIVE!!!!!!

>>17029232
This is just a schizophrenic word salad with zero basis in reality or application to any real life objects.

>>17029248
that's the definition of mathematics

Luddites BTFO again and again.

File: CH.jpg (365 KB, 1947x2048)

365 KB JPG

>>17029240

>constructive proof

>>17029232
Wow look at all this shit which is of zero consequence and usefulness to practical reality

>>17029267
what is one useful thing you've done in your life time?

>>17029270
Not math. LMAO

They've solved collatz btw
They're just waiting for Astra release day to announce it
It's actually over

>>17029232
They are destroying the beauty of human mathematics

>>17029276
Good. there was nothing beautiful about a racist system of glorifying old wh*te m*n.

>>17029270
A literal plumber is more useful than any modern day mathematician bro

>>17029279
You do realise once ai starts to over take human gateway for other ethnicities and women will shut down right?

>>17029308
Go back to r*ddit

>>17029245
Prediction of what will happen given this new technology.
Here it comes...
Ready?

Everything gets worse for everyone.

What happened to the nonsofic groups, why did they stop existing?

>>17029232
Do P=NP already.

File: Screenshot 2026-08-01 at (...).png (71 KB, 881x328)

71 KB PNG

>>17029232
kek, r/math has been locked down

>>17029232
Existed when?

>>17029232
This confirms that mathematicians have been just sitting on their asses for decades

Can't wait for the day of the cope to come to the physics department as well

i'm really glad the easiest professions are getting automated first
i think my job in HR will be safe for at least another decade

>>17029232
I'm a mathlet and I have no idea what a nonsofic group is.

>>17029232
I can't be the only one who is skeptical of this? I use AI somewhat regularly, and the more complex tasks I ask of it the worse it performs. It still hallucinates. It lacks creativity. It isn't having any effect on the economy so far, AI companies aren't profitable. But somehow it's solving these math problems that no human could until now? It feels off.

>>17029248
seething migger

>>17029267
seething migger

>>17029276
seething migger

>>17029543
seething migger

>>17029515
it's only slightly better than a nonsophism group, but not by much

>>17029543
I think AI has the potential to affect the economy for the better, but AI costs so much and the economy is so fucked that we can't see any substantial increase anyway.
So OpenAI chooses in the meantime to satisfy investors by producing demoralization slops for mathematicians (just like artists they should get a real job anyway, so, their loss)
Because OpenAI needs to stay "nonprofit" for as long as they can to collect the maximum data from users as possible, once they go paid only it's over for them, since Claude works better anyway

>>17029549
>but AI costs so much
i don't know if you know but with openai luna price drop and new ds4 you'll getting close to frontier performance from a few months ago at a 20x discount.

>since Claude works better anyway
fable/mythos is the only model that has an edge over openai right now. and only because it's somewhere between 2-5x larger than openai's biggest pretrain
in like for like model sizes openai's post-training absolutely mogs anthropic - it's why you see math breakthroughs from oai all the time and why a comparatively small model like sol still competes with fable in many areas
the big openai pretrain is coming - it's not the model that did these breakthroughs
oai have an infra scale edge over anthropic so they will aggressively try to price them out now

both companies will be fine though and will likely reach RSI within weeks of each other - then it's actually over

>>17029543
I mean aren't they hiring mathematicians to do research using their tool?

>>17029553
>https://en.wikipedia.org/wiki/Recursive_self-improvement
Do you actually think RSI, if it happens, will lead to anything but the economic system crumbling?
My guess is that current economic powers in place would not want such a thing to actually happen, and as such they would do anything so that current models do not improve in significant ways.
Also OpenAI's infrastructure scale edge over Anthropic will not help them if the software side sucks, and desu I've always considered Claude's answers to be better, but maybe normalfags prefer ChatGPT for its speed idk.

File: pepe51.png (45 KB, 761x891)

45 KB PNG

Lets be honest, OpenAI solved mathematics. This is our Deep Blue moment, and coping won't change this fact. Sam Altman won mathematics, we should officially crown him the king of maths and pledge all future Fields medals and Able prizes to him, it is only fair.

>>17029562
the majority of power users right now are coders
and for code gpt models have been better for a few months with fable being the big (and expensive) exception.
anthropic got there first to the agentic harness actually being good enough for day-to-day use though with opus 4.5 and CC really taking off and leading to astronomical adoption (and their subsequent compute issues) so a lot of people still swear by opussy. openai had to play catch up but by gpt 5.2 they were competitive. that said, up until 5.6 sol, the 5.x series was incredibly autistic so actually, it ends up feeling worse to normies (and also doing really infuriating shit by taking you very literally from time to time)
both companies are very capable, but openai's infra and post-training people really do seem to have an edge
anthropic's pre-training guys seem more on it, because openai did actually train a giant model before anthropic - gpt 4.5 - that thing was widely considered a failure by everyone (with the exception of people who use these things for writing fiction for some reason). so openai retreated and anthropic scalemogged them with mythos

and re:rsi - who knows. i think the race with china means it has to be allowed to happen, because if you don't get there and your rival does you're actually fucking toast
but if you build that, you will likely build a superintelligence - and at that point you cede control entirely to the godbot
doesn't matter if you have a trillion dollars or the biggest military in the world at that point.

>>17029572
>2026: First Fields medal won by a Chinese
>2027: First Fields medal won by a robot
Kek

File: 78A7BF30-FCB7-446B-8840-5(...).jpg (1.29 MB, 3464x3464)

1.29 MB JPG

>>17029232
Based as fuck
Total vibeGOD victory

>>17029579
>2030: First Fields medal won by a robot
Fix

>>17029578
>and at that point you cede control entirely to the godbot
Umm will the robot be able to eat, shit and cum at my place? Don't think so.

Close back Open Science and we win back the technological competition with China.
It's literally that simple.

>>17029543
A lot of math is just shoving axioms around. Basically AI is now smart enough to read a lot of them from papers and put them together

>>17029291
Correct
Also put some respect on the plumbing profession when you talk about it, pencil neck.

>>17029604
and they keep using the same axioms too for some reason despite multiple proofs that theyre contradictory and incomplete.

>>17029543
Here's the thing. Math is barely worth anything at all. It's pure cope that it is.
Math past trig is entirely of no value and very easily argued as negative value.

File: _2fivEr__400x400.jpg (24 KB, 400x400)

24 KB JPG

>Oh it leaked. Yep it's real.

>>17029543
Look at it this way. You need to decode something. You don't do it by hand, you run a calculation on your pc. You need to prove some theorem. You run axioms and other theorems just like llm works till you get somethibg reasonable. Way more efficient rhan having a human sitting for years on it. But yea, Aai still has no idea what it's doing and is jist a complicated probability calculator

>>17029720
Ai is literally just math. You can go a single day without any device doing a lot of math, unless you live in the woods.

>>17029543
they use special models with insane token spend and probably had mathemeticians working on it
everything is fake

>>17029543
How many more Fields medalists and Nobel laureates do you need to tell you that this is the real deal?

>>17029784
infinite. the seething has only just begun

>>17029788
Then, you are by definition a zealot, and there's no place for people like you in science and mathematics.

>>17029789
>you
thats not the original guy retard

This means mathematicians are stochastic parrots

>>17029720
>Math past trig is entirely of no value and very easily argued as negative value.
Let's see your easy pointers as to why the majority of math is counterproductive. Btw, what do you mean negative. Negative for the market? For democracy, for civilization? For the soul?

>>17029873
On the contrary. That's one of the few fields where you actually have to understand the subject. Ai still doesn't understand it. It's just a shit ton of itwrations based on some tules untill thwy gwt sonwthing useful. You know that example where you can place monkeys near a typewritws and at some point they will prpduce a besteller? Well, AI is tgat monkey that operates not withing just symbols, but opwrates with words and on the level of probabilities knows how to put those words in the sentence. Same shit with math, just words are axioms and sentences are theorems. It's still just throwing shit at the wall and praying that something will stick.

>>17029873
P.s.: it prbbly would be cheaper a 1000 times and time saving to just hire mathematicians to work on those problems. It's not that those were important tasks. It's just that those were of such low peiority, that no-one bothered to try to solve them.
Wake me up when AI solves any problem for which thwre is a reward of 1 mil.

>>17030045
What are the super-interesting high priority problems human mathematicians are currently working on?

>>17030045
Lol most problems do not have such rewards. Mathematicians all actively worked on most of these. You are probably an engineertard

Real-life applications of advanced mathematics (including linear algebra and matrix theory):
Artificial intelligence and large language models (training and inference)
Computer graphics and 3D game engines
Robotics and autonomous vehicles
GPS navigation and satellite positioning
Medical imaging (MRI, CT scans)
Image and video compression (JPEG, MPEG)
Computer vision and facial recognition
Cryptography and cybersecurity
Error-correcting codes for the Internet, mobile networks, and deep-space communication
Signal processing (audio, radar, wireless communications)
Weather forecasting and climate modeling
Financial modeling and risk analysis
Drug discovery and protein structure prediction
Logistics and supply chain optimization
Aerospace engineering and flight control
Quantum computing research
Recommendation systems (Netflix, YouTube, Spotify, Amazon)
Scientific simulations in physics, chemistry, and engineering

Today's "useless" mathematics often becomes tomorrow's indispensable technology. Number theory led to modern cryptography, non-Euclidean geometry enabled general relativity, and linear algebra became the foundation of AI, computer graphics, and modern computing.

You're all seething brainlets

>>17030045
>it prbbly would be cheaper a 1000 times and time saving to just hire mathematicians to work on those problems.
The very post that announced this said all the 10 advances together took only like $2000 worth of credits. This cope doesn't work bro

>>17030074
Not reading the read of your convo but the data centers used to operate AI this strong is very expensive.

>>17030080
the datacenters serve billions of requests a day, yes

>>17030050
Building AI models...
You do realise all the idea of AI and all the models are pure mathematical analysis of data?

>>17030074
Yea, sure, and your subscription is just $30 per month. Cool story bro.
Just collecting data and training the model mush have cost billions. They fed all existing problems and just a dozen was solved using enough electricity to power a small country... yea, just 2k

>>17030152
Actually, very few mathematicians were working on "building AI models", and much of that work has been automatized now anyway.

>>17030156
Everyone who worked on AI is mostly a mathematician. They designe the theoretical foundations, geometric network architectures, and optimization algorithms that power machine learning.
Data input monkeys and guys who runt the model are not mathematicians, but neither do they create those models. Ofc understanding chips is also important, but it's something on top of math.
In other words, ai models arw being created exclusively by mathematicians. Just in some case those matgematicians also have an expertese in chips and data centers.

>>17030195
Actually, very few mathematicians were working on "building AI models"

File: HOuQxZqaAAED2JN.png (67 KB, 620x164)

67 KB PNG

it can't be, these "ayeyes" can't even read yall

>>17030242
are you fucking serious? You're denigrating a librarian?!

>>17030040
>It's just a shit ton of itwrations based on some tules untill thwy gwt sonwthing useful

stroke

>>17030060
>advanced mathematics
>linear algebra and even matrix theory

Shut the fuck up you are way out of your depth. The esoteric math we shit on is the lie groups, the topology, the modular forms. All useless bogus that is studied for the sake of it being studied and the pencil necks justify wasting tax dollars on this shit by pointing at the actually useful work of the mathematicians 200 - 3000 years ago, hoping that clueless decision makers just accept it, nod and fork over the funding.

Close all science departments.

>>17029232
Why can it only solve discrete mathematics? What is it about continuous mathematics that makes AI fail so often?

>>17029.232
Who the fuck cares about some shitty math problems

>>17030416
Most computer formalization only work really well if you use intuitionistic/constructive logic, which is even more fringe in applied math domains than in pure math. It is kinda understandable why most applied math people do not care for constructivism as even the most "obvious" truths break. It's no longer true that two reals are either equal or not, essentially because you cannot give a finite algorithm that could decide such a thing. Suddenly very basic stuff like the intermediate value theorem fails to hold.

>>17030154
>b-b-but think of how much it cost to train the AI!!!! clearly it's simply not cost effective compared to normal mathetmaticians!!! (please ignore all the other things it can do besides math btw!!)
do you also factor in the cost of the airplane and its pilot's training hours when you book a $200 plane ticket retard? not only that but you seem to think these 10 or so problems are the only problems this model will ever solve?? how stupid can a person be?

you copers are so insufferable, you could staring death down the face and still rationalize to yourselves that you're ackshually in no danger at all, it's just a hecking stochastic parrot and any day now the ai bubble will pop and everything will go back to normal!! genuinely pathetic, some people really are too stupid to live

>>17029543
>It isn't having any effect on the economy so far
retard
everything else is true though

>>17030411
Lie groups are the mathematical language of rotations and symmetries. They're used in robotics, spacecraft attitude control, computer vision, particle physics, quantum mechanics, and 3D graphics.
Topology underpins topological data analysis, distributed computing, robotics (motion planning), and has led to Nobel Prize-winning work in condensed matter physics.
Modular forms, once considered among the purest forms of mathematics, are central to modern number theory and cryptography. They were also essential in the proof of Fermat's Last Theorem and appear in string theory and coding theory.
History repeatedly shows that "useless" mathematics often becomes foundational technology decades later. Number theory was once considered the archetype of useless mathematics; today it secures virtually every HTTPS connection, online bank transfer, and digital signature.

>>17030604
No point arguing with a /pop/tard. He got a c in maths and decided that the whole thing was a conspiracy against him

>>17030679
I completed a degree in math

>>17030604
All bullshit. It's probably all linear algebra, maybe some differential equations stuff. Except for cryptography maybe. Do not try to convince ANYBODY uses topology ANYWHERE kekkkk
Fuck outta here you got no clue

>>17030684
convince me**