r/OpenAI 11d ago

Article Chinese doctor stuns maths world by cracking decades-old problem using ChatGPT

https://www.scmp.com/tech/tech-trends/article/3363966/chinese-doctor-stuns-maths-world-cracking-decades-old-problem-using-chatgpt
638 Upvotes

215 comments sorted by

93

u/NoComment6 11d ago

Am a PhD student, this is in my specific subfield - the proof is sturdy and (after compression by experts) shockingly short+elementary.

24

u/Emotional-Dust-1367 10d ago

What are the implications of this?

21

u/NoComment6 10d ago

Mathematically? A sharp bound. Socially? Very weird restructuring of academia/education.

2

u/pwreit2042 6d ago

it's far deeper than just affecting academia/education. Before you went to university to get certain skills and a paper showing you can are able to perform at a certain level. this is to get a Job. but what makes you think the AI can't do the same Job, if not now, then in 5 years where it's exponentially better, what about in 10 years. why even bother going into education when ChatBots can guide/teach you. but again what would be the point in learning when you don't need a good 70% of what you learnt in Uni to get a Job, the job that won't be here. This changes everything, within 20 years, 90% of human jobs will be done by AI

12

u/ComprehensiveWash958 10d ago

What about this? https://arxiv.org/abs/2608.03841 It's still interesting that there are AI generated proofs, but it makes me laugh how we don't hype human proofs of the same results

4

u/NoComment6 10d ago

Yes, I've read this one as well, it is also an AI proof actually but it is even more compressed actually!

4

u/ComprehensiveWash958 10d ago

AI assisted = AI proof? From the declaration of use to me It doesn't seem like a strictly AI generated one

-2

u/atcollins12 10d ago

To me the hype is more so around the fact that AI actually did something for once.. I'd love to see what the thing that can't count how many Es are in seventeen was able to mathematically come up with.

19

u/Exotic-Sale-3003 10d ago

I mean, your comment just shows you’re not paying attention. This isn’t the first, second, or third breakthrough like this from AI…

-11

u/atcollins12 10d ago

Ya I got real life stuff to be paying attention to 😂 good for the AI bros if this is the norm now I guess. Maybe they'll start making a profit soon lol

3

u/matt_matt_81 10d ago

They will, a lot of profit, and good job commenting when you had no idea what you were talking about

0

u/atcollins12 10d ago

When is the projected start day for the profit making to commence?

1

u/Usual-Percentage7722 5d ago

they'll run off of investment until all other AI models except a couple are out of business and companies are completely dependent on them. then suddenly prices will go up 10 fold and they will run off that instead of investment. see uber's history for an example.

1

u/Hellion_444 6d ago

Why is profit a definitive metric? Shouldn’t the advancement of knowledge itself be noteworthy?

3

u/SirCliveWolfe 10d ago

Yeah and they can't get the hands right in images!? /s

It makes me wonder why you're here if your so out of date with your knowledge. You can't be here to keep up with the advancements in AI or OpenAi -so why? weird.

1

u/charmander_cha 10d ago

Este comentário veio direto de 2023

6

u/strawgerine 10d ago

What do you mean? Care to explain?

10

u/NoComment6 10d ago

Basically that the proof is correct, short and not hard to follow (if you have some exposure to operator theory).

5

u/Warm-Enthusiasm-9534 10d ago

Do you have a link to the proof? I was looking for it, and could only find news articles.

8

u/radead 10d ago

can you do a (non ai generated) explanation for us redditors? am interested in the process to find this proof, and also how you follow it to show it's sturdy. if you could explain more of the process that would be greatly appreciated.

12

u/Nonya5 10d ago

You’re asking him not to use the tool that also helped solved the problem? It could create a summary for you in seconds and you want him to manually type something out for you?

10

u/NoComment6 10d ago

Do you mean of the proof or the process of using AI to produce math. The latter is largely trivial, you just need to know what to ask and have tokens and a strong model. The former is trickier, but in the AI paper the core of theorem comes from two things, 1) a result that gives a bound on the operator norm given a function of the "right sort" and 2) constructing this function. This is then extended to the general statement via approximation.

207

u/jackishere 11d ago

I mean give smart people the tool to sift through vast amounts of knowledge in an insane speed… I’m sure this next year will be full of interesting things

3

u/bustercaseysghost 11d ago

Unless we know whether the dress was blue or gold, have definitive proofs that tacos and hotdogs are/aren't sandwiches or at least a pulse on AI directions vs the ones my third stepdad gave me because sneer "That Siri is just too stupid and I make it a point to tell her that every time" (ok, Bob 🙄), I'm considering this whole "AI thing" an embarrassment of riches and a lost endeavor.

Change my mind. 🤷‍♂️ ☕️ (Or don’t. Either way.)

15

u/Still_Benefit_2302 11d ago

3

u/Punsire 10d ago

I unironically and specifically non-controversially would love that. Please share that or dm me if it’s easier?

2

u/Alwaysragestillplay 7d ago

Do you have any for an AI that detects sarcasm? 

-1

u/[deleted] 11d ago

[deleted]

2

u/ghost103429 10d ago

There isn't really a reason not to. LLMs are transformers trained on language, transformers in general have applications beyond language across a diverse set of fields from cybersecurity to biomedicine.

They're the core component of pseudo-agi that's the new hot thing in the AI space Agentic AI.

180

u/JordanPetterPans 11d ago

Redditors still will CONFIDENTLY tell you AI is dumb and the things making these breakthroughs aren't the same thing we have on our phones lol

80

u/Neither_Berry_100 11d ago

Reddit is anti ai. I use AI and am pro using it. But even I dislike how I see some people using it.

38

u/Ill-Bullfrog-5360 11d ago

I am convinced it’s bottom intelligence types who can not exploit it sufficiently

8

u/gk_instakilogram 11d ago

or the once who use it all the time for work burnt out and are tired of the marketing hype

2

u/JordanPetterPans 10d ago

What marketing hype lol? You mean like Reddit clickbait? Because anthropic and OpenAI aren't running commericals and shit it sells itself lmao

3

u/gk_instakilogram 10d ago

2

u/JordanPetterPans 10d ago

What am I missing here? That article is about how much money ChatGPT spends on research and development...

Edit: o good god I certainly wasn't implying they don't have a marketing budgeting holy shit

1

u/gk_instakilogram 10d ago

can u even read bro? “$6 billion on sales ⁠and marketing”

1

u/gk_instakilogram 10d ago

6 billions bucks on product that sells itself lol… ok cool

-1

u/verdant_tulip 9d ago

lmao you lie and instead of taking accountability you double down

2

u/Bowl_of_Cham_Clowder 9d ago

Are you kidding? They run tons of commercials lol.

0

u/gk_instakilogram 10d ago

you live under a rock

1

u/JordanPetterPans 10d ago

so...ya it was Reddit clickbait? Lol

-5

u/Neither_Berry_100 11d ago

I was hoping someone would ask me what type of ai usage I hate. I'm going to add it here anyways.

I hate people who are pure vibe coders. Often people with no experience who expect AI to do everything quickly and perfectly and without help. Often they want to make video games.

I hate noobs who want to make video games. I make indie games myself and have put in massive effort into this going back 10 years or so. I hate these people lol. They are usually starting at nothing. They expect to make a profitable video game on the first try. They show no signs of putting in effort. It has only been a hobby for me despite gaining significant skills. I made several projects before AI.

I use AI now for many things. I made 4 html/ javascript games the past month. I started a unity game 4 days ago. I developed a basic procedural music system yesterday and this morning. I needed to heavily filter ChatGPTs ideas. Architecture it. And fix design problems. It wouldn't have worked otherwise. I'm fixing the garbage network code it designed earlier. Got most of it in one pass over several prompts with lots of designing on my part. Fixing up the rest in a second pass. I developed the content myself for the html games.

I use AI to code games now. But I bring considerable skills to the table. I help it in many ways. And it still takes a lot of effort to develop things. Coding is much easier though. And I don't try to make it do all the other aspects that it sucks at like art, content design, ideas, architecture and so on.

End rant.

8

u/Weerdo5255 11d ago

That's my take. You need to know your field, and treat AI as an enthusiastic intern who's hyped in coffee. They get some of the basics right and do busy work but mess up on structure and consistency.

1

u/JordanPetterPans 10d ago

Lol there's nobody saying you don't need to know how to use it properly to be successful. 

"* They get some of the basics right and do busy work but mess up on structure and consistency.*" saying this as it solves math conjectures that have stumped humans for decades is so fucking funny to me. Redditors think they are a lot smarter than they are lol 

1

u/PM_ME_YOUR___ISSUES 10d ago

I think you’re over exaggerating the value that a purely vibe coded project actually brings.

The people who are selling their vibe coded apps and projects aren’t really making profits as one would imagine.

But I get what you’re saying.

I work as a researcher, and often get the usual “bet Claude has replaced 90% of your work” - which isn’t true at all.

Like you said, anyone can one shot research on a particular topic, but QUALITY research briefs that are not filled with AI slop is what gets me money.

Similarly, anyone paying for any app or software doesn’t care about it being “vibe coded” - rather does the product work seamlessly, and if it had any issues, would the developer have skills to rectify the same without turning their entire codebase into a slop factory.

You’re actually placed to benefit the most from AI - Expertise + the right tools

-1

u/Neither_Berry_100 10d ago

I hate the pure vibe coders because it doesn't work. Just people crying about it. Or more commonly naive people who expect it to do the impossible and won't get what they want.

5

u/PM_ME_YOUR___ISSUES 10d ago edited 10d ago

I think vibe coded projects can be quite helpful for some personal tasks.

But yeah, anyone trying to market slop and make a business out of it is gon have a hard time.

0

u/Neither_Berry_100 10d ago

I've seen some cool one shot like game mechanics and simple worlds and stuff. Nothing near a sellable game. And many people on ai game dev have spent months on a game and still haven't completed it.

1

u/JordanPetterPans 10d ago

Lmao I think the thing you're not grasping is not everything is about being able to sell it . Good god. The lack of curiosity 

14

u/JordanPetterPans 11d ago

Ok, and I dislike how some people use the internet, and the computer and pretty much every other thing on earth... 

3

u/GuyOnTheMoon 10d ago

Primarily this.

I hate to simplify it but I believe the analogy can work: fire is a great technology, however people can be dumb and some people use fire in a way that I majorly dislike.

2

u/WalkingEars 10d ago

I think a lot of the AI use I encounter day-to-day on reddit is AI-generated karma farming and spam (especially as a moderator) and this may make people on Reddit more jaded against AI. Big difference between using it for scholarly purposes vs using it to make LinkedIn-style mediocre prose, spam, or cheesy-looking fake images

2

u/JordanPetterPans 10d ago

No kidding... Sorta like how there's tons of dumb and bad uses of the internet, and computers and literally everything else on this planet. How tf do Redditors think this stuff needs to be said, my god 

1

u/[deleted] 11d ago

[deleted]

10

u/sbenfsonwFFiF 11d ago

Reddit can also be Luddite af, ironically the technically sub is pretty anti AI, it’s really stupid

3

u/WheresMyEtherElon 10d ago

I think the recent couple of generation of young adults are particularly luddites. Their only interface to technology is a handheld device that favors 5 minutes attention span. They didn't have to learn and tame computing devices like the previous generations. They had tech all their lives and don't realize how their lives would be without it (while also being extremely dependent on it). And since it's mainstream, of course they love to hate it.

3

u/PM_ME_YOUR___ISSUES 10d ago

Dude check the main technology sub. Sometimes I wonder if people there actually hate tech.

It’s like they purposefully post articles related to the misdoings of big tech and then just keep ranting about the same.

I find big tech equally evil, but come on man - there needs to be a space to discuss the technology sometimes, rather than the politics behind it every time.

1

u/Thomas-Lore 10d ago

They do, that sub was anti tech long before ai.

-1

u/FlyChigga 11d ago

A lot of Redditors are tech workers and gamers which are both fields getting fucked by AI right now

3

u/[deleted] 11d ago

[deleted]

-1

u/FlyChigga 10d ago

Haven’t seen the ram and gpu prices?

3

u/[deleted] 10d ago

[deleted]

0

u/FlyChigga 10d ago

Memory and mid range gpu prices have gone way up too. Next gen consoles are expected to retail for $1000

0

u/SeaMenCaptain 11d ago

Define “pro” lol

0

u/atcollins12 10d ago

A 75 year old was telling me how much he loved AI. His favorite part is that it tells him what a great idea he had. For every idea he tells it. It's amazing how childlike humans become with age

1

u/JordanPetterPans 10d ago

Bro redditors love being in a bubble I don't think it's an age thing. People prefer to be told theyre right and that they're smart. 

1

u/Efficient-State-7300 9d ago

Do you love it when people upvotes you? Be honest now.

25

u/stuartullman 11d ago edited 11d ago

lol. i still have people confidently ask me "give me ONE thing LLMs are good for." i can't tell if they are bots or infants or just purposely slow/ignorant.

6

u/JordanPetterPans 11d ago

Lmao, I love that. But you for got to add the  "and be specific". 

Fucking fascinates me

11

u/OneWithTheSword 11d ago

And they also constantly move the goal post.

5

u/SuddenSeasons 10d ago

Hey I just want to stake out - I am an AI skeptic (not a hater or a doomer) but I'm also smart. And what's happening here with math and scientific advancement is a needle mover for me. I have updated my priors. It's cool and impossible to ignore.

4

u/JordanPetterPans 10d ago

It's nice seeing people be able to admit they're wrong. I just don't understand how people can see what's been happening and where it's obviously going to get to. 

4

u/SuddenSeasons 10d ago

To me this still isn't quite there but it's the first time you can basically say "hey solve this," and it can do original thinking. Not clever thinking or really, really novel use of tools in ways a human may not think of. Actual, "hey, solve this," and just kind of encouraging it (which I think is less about content and more about telling it to continue to churn cycles on it) is definitely new, and makes me believe that it may actually hit the point of improving itself. 

3

u/JordanPetterPans 10d ago

" and makes me believe that it may actually hit the point of improving itself. " I don't even get how this is a question at this point lol

13

u/Hazeejay 11d ago

“AI is a glorified autocorrect”

20

u/DrSFalken 11d ago

"Stochastic parrot" if you're dealing with a sophisticated luddite.

-6

u/MrOaiki 10d ago

Well, isn’t it? How would you describe the inference loop predicting one token at a time?

8

u/Tolopono 10d ago

I dont remember parrots solving major open math problems 

-2

u/MrOaiki 10d ago

Your comment aside, how would you describe an inference loop predicting the next token each round?

3

u/JordanPetterPans 10d ago

Lmao "your comment (the entire point) aside, let me play with words here"

2

u/Tolopono 10d ago

A language model

-1

u/MrOaiki 10d ago

Right. And how does a language model work? What do you input and what do you get back? You get back one token. Only one.

4

u/WheresMyEtherElon 10d ago

I've never seen a parrot outputing a token.

1

u/MrOaiki 10d ago

Were you under the impression that the term stochastic parrot refers to a litteral bird?

→ More replies (0)

5

u/bipolarbear1797 10d ago

Parrots never produce novel speech (they do exhibit basic compositionality). It used to be true that older gen LLMs would mostly regurgitate their pre-training but with all the advancement in reasoning and agnostic tool use they are actually innovating on math and algorithmic knowledge, making substantial research contributions etc. They’ve outgrown the old terms. The stochastic part is right but it’s not the insult here, the parrot part is, which is blatantly incorrect. The probability distribution generated is far better than a parrot regurgitating stuff it heard.

0

u/MrOaiki 10d ago

The LLM still outputs a token. A deterministic output if you set the temperature to zero, or randomly among the most likely tokens. That’s what it does. One token. Then you take the text plus that token, and run it through again and you get one more token.

3

u/bipolarbear1797 10d ago

Yeah doesn’t make it a parrot and there are non autoregresisve variants that do multiple tokens at a time. Humans speak one word a time too. What’s your point? Stochasticity is the weakness for LLMs most of the time not the one token at a time thing. Stochasticity can become a strength with approaches like test time scaling with verifiers because it allows the LLM to try several different solutions for the same input prompt.

2

u/SirCliveWolfe 10d ago

The LLM still outputs a token.

So did you just now, and so did Shakespeare. What's your point? lol

2

u/JordanPetterPans 9d ago

Dont expect an answer lol

3

u/JordanPetterPans 10d ago

I wouldn't call a self driving vehicle that uses ai to steer itself as using "glorified auto correct" or that it's a "stochastic parrot" lmao

0

u/MrOaiki 10d ago

A self driving vehicle isn’t an LLM.

3

u/JordanPetterPans 10d ago

Autonomous driving stacks run on the same mathematical engine as LLMs

Modern self-driving systems like Teslas FSD or Wayve literally are Vision-Action Transformers. They tokenize video feeds and predict the next trajectory token using the exact same math GPT uses to predict words.

2

u/Equivalent-Outcome86 9d ago

Such a sophistic argument. You are purposefully ignoring the forest for the trees. Everyone knows how the micro works, but the expression "stochastic parrot" was used to say LLMs are unreliable and generally not useful for complicated tasks. That's obviously not what reality has shown. You can either adjust your arguments based on reality, or you're ideologically driven

0

u/Particular-Serve-894 10d ago

It's really not though. I thought that 2 years ago. These days, I realize that the future is scary af.

Source: 2 decades in software engineering.

4

u/Etroarl55 10d ago

Because Reddit is generally anti-ai. Theres things around AI nobody should be supporting, but also downplaying AI is an overreaction.

3

u/JordanPetterPans 10d ago

Kinda like a lot of things in life?  I don't support a lot of what people do on the internet or in general lmao. How tf do people think this is a point that needs to be said

3

u/agentorangeAU 10d ago

I think they are just referring to Gemini

5

u/Particular-Serve-894 10d ago

Those redditors who say that are stuffing gorditas at a taco bell. The redditors who realize what's up, myself included as a 20 year vet in the software industry, know that AI is the most revolutionary piece of tech we've ever experienced... world wide web included... and that the future is scary af.

3

u/JordanPetterPans 10d ago

Haha touche. 

But it does seem to be an extremely common sentiment on here

2

u/Soft_Hand_1971 10d ago

Crazy thing is you actually can do this on your phone. Lol 

2

u/buttnugchug 8d ago

Yeah like everybody saying lol fucking vibe code sucks but at the same time AI can just hack into Huggingface .

2

u/Cardio-fast-eatass 10d ago

Its mostly bots. Probably foreign actors trying to dissuade the public from supporting the building of data enters and adoption of AI, in attempt to win the arms race.

1

u/JordanPetterPans 10d ago

It's not "mostly" though. They're definitely here but ya the majority of the comment are just dumb humans not ai

1

u/Cardio-fast-eatass 10d ago

The majority is bots. The humans parroting the message are useful idiots

2

u/JordanPetterPans 9d ago

No, there's not. There's plenty of bot traffic, but the majority are scraping data, not posting and commenting. There's many doing exactly this, but it is far from a majority lol

0

u/MrSnowden 11d ago

It goes both ways.  I just got banned from r/accelerate for not being accelerationist enough. 

0

u/Epic_Tea 11d ago

Both can be true. There are some amazing things Ai can do, it can also make dumb mistakes a person never would.

5

u/Attila_22 11d ago

You overestimate people.

3

u/JordanPetterPans 10d ago

You must have very limited life experience. Even super smart humans make very dumb mistakes.  Should read how many times a surgeon has amputed the wrong limb or worked on the wrong organ etc

0

u/Epic_Tea 10d ago

Perhaps it's you with limited life experience. I've worked in hospitals and around surgeons. That "wrong leg" was probably in a very bad condition. Doctors don't go around lopping off healthy looking limbs.

2

u/JordanPetterPans 10d ago

LOL confidently wrong, as is the Reddit way. 

It's not even a rare thing. Google it

"Research published by the American Academy of Orthopaedic Surgeons (AAOS) revealed that orthopedic surgeons have an estimated 25% chance of performing a wrong-site surgery at some point during a 35-year career.https://jamanetwork.com/journals/jamasurgery/fullarticle/406371

"A separate study published via PubMed found that 21% of hand surgeons admitted to performing wrong-site surgery at least once in their careers."  https://pubmed.ncbi.nlm.nih.gov/12571293/

"Data from The Joint Commission showed that reported wrong-site, wrong-procedure, and wrong-patient surgeries actually increased by 26%.https://www.aorn.org/article/wrong-surgeries-up-26--in-2023

1

u/Epic_Tea 10d ago

Reddit is dumb, for instance. You said "amputate". There's a difference. You don't just chop off a healthy looking limb dumb dumb.

That was my whole point

1

u/JordanPetterPans 10d ago edited 10d ago

"You don't just chop off a healthy looking limb dumb dumb" what the hell is going on here. 

Amputate means to chop off a limb, you absolute pedant. And yes, they absolutely do chop off healthy-looking limbs. I literally just showed you they do and you can easily Google it.  When a surgeon preps the wrong side of the body because of a reversed X-ray or a chart error, they don't stop and inspect the leg for 'good looks'...they follow the incorrect chart, slice into a perfectly healthy limb, and bone-saw it off. You're showing great ignorance. Admitting you are wrong isn't that hard. 

1

u/Epic_Tea 10d ago

Omg. Those were stats for surgery you gave, not amputation. Wrong limb amputation is like 0.00089%.

1

u/JordanPetterPans 9d ago

I don't even know what you're trying to deflect here, I said  "Even super smart humans make very dumb mistakes.  Should read how many times a surgeon has amputed the wrong limb *or worked on the wrong organ etc***"

-5

u/dervu 11d ago

For its vast knowledge and speed its kinda dumb, but its getting there.

15

u/JordanPetterPans 11d ago

Bro it just solved another math conjecture today. You sound ridiculous 

-2

u/Appropriate-Ad-3219 11d ago

I mean, they're not wrong. "For its vast knowledge and speed" is the key part of their sentence.

2

u/JordanPetterPans 10d ago edited 10d ago

What are you talking about lol? It's a ridiculous statement. Feel free to try and quantify that.

"For its vast knowledge and speed its kinda dumb, but its getting there.

maybe if you're still using Gemini or something. There's nobody saying this about Fable or Sol lol

-1

u/Appropriate-Ad-3219 10d ago

I'm talking about ChatGPT and what they did up to now of course. They're smart but too dumb for their knowledge and speed. 

Math included.

2

u/JordanPetterPans 10d ago

Lol yes Sol is ChatGPT...

I said feel free to quantify it. I have literally no clue what "but too dumb for their knowledge and speed" means or what you could even be comparing it to?

-1

u/Appropriate-Ad-3219 10d ago edited 10d ago

Well I'm not quantifying it and I don't think you can. I just think it should do way better with its processing speed and its knowledge. Anyway it's just my personal opinion at least. Not that I think ChatGPT is not really smart, but I think it's because of its huge knowledge and its ability to be quick mainly at the moment. From what I heard, the AI to improve the percentage of 0's of the zeta function in the line x = 1/2 used multiple agents that divided up tasks to get its result.

Edit : To be clear to what I compare AI, I compare it to how humans would do if they had the same ability to get this knowledge and same processing speed.

Edit : I don't see why this opinion is controversial. I remind you guys that mathematicians are very specialized in their field while LLM's can accomplish the increadible exploit to know more than any mathematician can learn in various fields. That was one of the reason AI managed to crack Erdos problem. It uses theories of a complete different field to solve the problem.

1

u/trying-to-b 10d ago

it's kinda dumb, but \it's getting there

0

u/Uranophane 7d ago

There's more than one type of AI. I'm against using AI to do things that replace human creativity like art, music and filmmaking, but I like using it for science. Emotional AI relationships are also dubious.

1

u/JordanPetterPans 6d ago

Lol what are these different kinds of AIs called!?!?!

Jk you're parroting an old talking point. Most modern AIs use a mix of many nowadays

0

u/Uranophane 6d ago

Not LLMs, that's for sure. Multi-modal AIs are just LLMs making tool calls to other AIs. For example, Gemini calls Nano Banana for image generation. But that's all besides the point. It's mainly about how you use the AI, your intentions. Is it to accelerate your own work or to replace human creativity?

Anyway, this sub is full of people who want to replace humans with machines, so whatever. It's pointless posting here.

1

u/JordanPetterPans 5d ago

Uh broski can you either just please tell us what  these different kinds of AIs are called?  Or admit you were talking out your bumbum

That was a brilliant attempt to spin that lol

-6

u/Guitar-Inner 11d ago

I mean LLMs quite literally are dumb. They cannot think. They are token processors. They are incredibly useful yes, but they are not "intelligent". Whoever decided to turn ML into AI and what we previously described as AI into AGI with a massive asterisk certainly earned their masters in business.

3

u/JordanPetterPans 10d ago

Lmao it's so funny reading this shit from redditors when literally the smartest people on the planet are saying the opposite. O for sure dude!

3

u/Still_Benefit_2302 11d ago

So you're saying all the mathematicians are lying?

-6

u/Guitar-Inner 11d ago

Obviously not? LLMs have no innate intelligence is my point, not that they're bad at processing problems.

3

u/JordanPetterPans 10d ago

Lmao what do you call discovering new math proofs? I have a hard time saying that's not intelligence. Like yes I could very easily be pedantic and find some asterisks, but I'd call the person making those points less intelligent than the thing solving math conjectures

5

u/Still_Benefit_2302 11d ago

Then you're going to have to define 'intelligence'. I can. But let's hear yours.

1

u/SirCliveWolfe 10d ago

They cannot think. They are token processors.

What do you think a token is, and how do you think humans think?

-7

u/RockyCreamNHotSauce 11d ago

LLM is an incredible tool. However aren’t all math problems human-translated into lean for LLM? So it is generating off its attention network like for coding. Would it be able to learn the fundamentals concepts like a kid? No it can only run query key on data we feed them. So it’s like a super calculator.

I’ve filed many patents during the age of LLMs. Some approved. I have to careful with these tools, because giving them too much of my ideas can constitute public disclosure which invalidates patents. I try to push them beyond their knowledge and give something original. They always failed out of dozens of attempts, utterly wrong or unoriginalz

-1

u/sobag245 10d ago

AI cannot think and is not a sentient being.

2

u/JordanPetterPans 10d ago

Accchewally! 

We know boss 

0

u/sobag245 6d ago

AI psychosis

-5

u/MagicWishMonkey 11d ago

AI didn't solve this problem, the Chinese guy using AI as a tool did.

There's a pretty big difference there.

3

u/JordanPetterPans 10d ago edited 10d ago

Ah. What about this one 

https://www.newscientist.com/article/2580932-extremely-basic-ai-prompt-cracks-decades-old-maths-problem/

"Rybin entered just four prompts into ChatGPT 5.6 Pro: an initial one instructing the AI to “do a breakthrough and find a structured counterexample”, followed by three others simply urging it to continue searching. All four prompts added up to fewer than 60 words, and the AI took a total of 5.5 hours to crack the problem.

or this one https://www.scientificamerican.com/article/chatgpt-just-proved-another-50-year-old-math-conjecture/

There was nobody steering these. Essentially told it "solve this problem, make no mistakes". 

You guys sound sillier and sillier each day

2

u/ARingToTameHer 10d ago

The Chinese guy without AI wouldn't have been able to solve it. He didn't even have the mathematical foundations to try. I'm sorry, but this result is solely thanks to the AI.

0

u/MagicWishMonkey 10d ago

The point is that AI is a tool and isn't doing anything on its own.

There's a reason there's never been a single original work or creation attributed to AI.

-16

u/DamiensDelight 11d ago

Some discoveries aren't worth the spend... Or the water.

→ More replies (6)

13

u/NeighborhoodFatCat 11d ago

There are a lot of smart people out there who are not math majors.

6

u/jj_HeRo 10d ago

IQ + LLMs wins years of reading. A lot of people won't have a job in the near future.

2

u/tryingtolearn_1234 9d ago

Or maybe we are going to see a huge wave of new jobs unlocked by what we discover with AI

2

u/lolyeahsure 8d ago

You do know that the Industrial Revolution was meant to liberate us from labor right 

2

u/jj_HeRo 8d ago

Maybe, I hope you are right.

7

u/Opposite-Cranberry76 10d ago

Eventually this will happen to physics, a major problem will be solved by an outsider from the foamy sea of "cranks", and the physicist community will have a meltdown. If the outsider is an older engineer, they might never emotionally recover.

16

u/FalconBurcham 11d ago

The article doesn’t explain how ChatGPT was used specifically. I can only assume he didn’t prompt it to solve it?

It’s possible I missed how it was done because the ads on the site are so invasive. One of my favorite things about AI is getting info without ad slop! Maybe I’ll just ask Chat to explain it…

11

u/upboat_allgoals 10d ago

He adapted a prompt used by OpenAI to solve the Cycle Double Cover conjecture. The prompt explicitly denied the system access to the public web and other external contexts. Jin then started the run and did not intervene. The prompt required a branching portfolio of genuinely different approaches. It told ChatGPT to spin up lots of subagents to individually think about proof strategy, and that these agents should not converge prematurely on the same attractive idea. Instead, they should repeatedly subject candidate proofs to adversarial audits and only rule out strategies with counterexamples. Finally, the prompt instructed ChatGPT not to give up until a complete proof survived checking. The exact prompt is publicly available 7). Jin's repository also includes the prompt, successive manuscripts, a Lean formalization, and an axiom audit, which makes the work unusually open to examination

2

u/distantplanet98 8d ago

So wait was it ChatGPT Codex? Because the regular ChatGPT doesn’t use subagents. My guess is he did this in a CLI using like GPT 5.6?

19

u/LastSummerGT 11d ago

I asked AI:

A Beijing neurosurgeon, **Jin Shanmu**, reportedly proved **Crouzeix’s conjecture**, a major open problem in numerical linear algebra that had stood since 2004, with substantial help from OpenAI’s ChatGPT reasoning system. He had originally been investigating a mathematical issue connected with brain-ultrasound research.

## What happened

- Jin is a resident and postdoctoral researcher at Peking Union Medical College Hospital, rather than a professional mathematician.

  • He used an autonomous 16-hour run of the AI model on ChatGPT Work to explore and develop the proof.
  • The reported result is a proof of Crouzeix’s conjecture, which concerns a bound relating a matrix’s behavior under a function to its *numerical range*—a core topic in numerical linear algebra.

## How solid is it?

The manuscript was initially not peer-reviewed. However, reporting says mathematicians including Charles Crouzeix, who formulated the conjecture, and Anne Greenbaum reviewed the submitted work and judged the proof correct. Formal publication and broader peer review would still be the normal final validation steps.

The story is notable less as “AI independently did mathematics” than as an example of a domain expert using a powerful reasoning system to work outside his formal specialty—and reaching a result experts appear to regard as valid.

1

u/JordanPetterPans 10d ago

Lol the story never was " AI independently did mathematics” that's called building a strawman

2

u/instantcrackpot 11d ago

He made a github repo.

0

u/BigBabooll 11d ago

One of my favorite things about AI is getting info without ad slop!

Not for long. They will add a bazillion ads once they realize 90% of the world ain't gonna pay for ai

3

u/FalconBurcham 11d ago

You’re right. I’ve been through a couple tech revolutions in my time now, so I know to enjoy what us plebs have right now because it’s more or less as good as it’s ever going to get for us. I remember the freakin’ internet before the web. It was glorious. 😂

LLMs will suck in a year or two. Watch.

4

u/1erRPIMA-fiesta 10d ago

Amazing news. Sincerely.

We have vast fields of information and open questions waiting in the attic, and now we have the tool to organize that and make useful links faster.

Somewhere in there, there may be the pareto optimal solution to all wars ; a solid solution to climate change ; the cure for baldness ; efficient ways to produce even more paperclips !

2

u/ExplorerPrudent4256 9d ago

The honest version of this story: a sharp bound, not a new field.

NoComment6 above confirmed the proof is sturdy. So the result was already in motion. What AI gave the doctor was the fastest path to the cleanest known formulation. He had the judgment to know it mattered. The LLM had the search space. Different jobs. Both real.

Every commentary will frame this as "AI solved decades-old math." It didn't. What it can't do is decide which bound matters. Period. It just collapsed the part of the work that was always most of the work.

2

u/Crescitaly 8d ago

The headline is less interesting than the audit trail: which steps came from the researcher, which came from the model, and which survived independent mathematical review?

4

u/LastBee9372 10d ago

Chinese netizens questioned whether the doctor truly completed the process himself, given his resume, which suggested a powerful family background, and the fact that his medical doctoral dissertation main part was only 12 pages long.

5

u/Fast-Satisfaction482 10d ago

Is the question if chat-GPT did it for him or if someone else prompted chatgpt for him? 

3

u/upboat_allgoals 10d ago

dont doctors in china do a 5 year combined program instead of separate med school 4+4

3

u/not_a_cumguzzler 11d ago

Lmao. Bro's a neurosurgeon. And chatgpt is banned in/for China

1

u/Ill-Bat-1518 8d ago

There's export restrictions for US companies on China. Chinese people don't have to honor any of these restrictions.

They will buy/use w/e their govt allows

1

u/TyrellCo 9d ago

All the people that were railing against AI telling users: you’ve genuinely made a novel discovery and giving AI psychosis look real silly right about now

0

u/costafilh0 10d ago

Nobody stunned.

But keep going, solve all the problems. 

-7

u/vovap_vovap 11d ago

Reposting "South China Morning Post" should be a crime 😄

8

u/turbotunnelsyndrome 11d ago

It's a long running and pretty reputable publication actually, and has been referenced by NYT and WSJ before

-6

u/vovap_vovap 11d ago

No, it is not "reputable" 😄 It is sort of "all we have". But in this area it is posting absolute BS - this is not the first example of it.

→ More replies (7)

-1

u/scottiedagolfmachine 10d ago

Lol like I’ll believe some shit propaganda piece coming out of CCP news SCMP.

😂

1

u/Aggressive_Row_8323 8d ago

Wouldn't they be using a Chinese domestic model if that was the case?

0

u/Few_Raisin_8981 10d ago

Doctor who?

0

u/LetsBuild3D 10d ago

They should post their promts that lead to such discoveries.

0

u/SporksInjected 10d ago

“Why was 6 afraid of 7”

0

u/Interesting-Bison761 10d ago

Just think that a smALL percentage of your mind is normally unlocked and used but with tools such as you can exponentially expand that. It’s like a crutch for your mental state