AI models are beginning to solve complex mathematical problems, surprising even the world's leading scientists

[Hamartia Antidote]

Chatgpt works well for a lot of things. It is still work in progress. People pontificating about AI is like saying internet is garbage in 1995

Correct. We are seeing AI in its most earliest stages. Writing it off quickly is simply ignoring potential.

 

[Mighty_Dragon_Strike]

Chatgpt works well for a lot of things. It is still work in progress. People pontificating about AI is like saying internet is garbage in 1995

I have GPT 5.2 and I have done quite a bit of work on that..

no, I did not find that impressive

so, whats impressive then?

human, capable for reading, dissection, discerning, transforming scientific data into useful information

no AI can do that, it can only do certain tasks, thats all

however, I could be wrong, but so far, evidence is not going against my reading

 

[Indos]

Critical thinking is now the most needed intelligent in the AI era according to me. As it is needed to detect mistake made by AI and redirect it to solve problem

I think I can say that AI will only be as good as the user themselves, there the human intelligent still matter and critical as AI needs context to solve problem and the understanding of the context is still in the hand of the users themself

 

[safriz]

spying or tech. is a religion which is a spying tool

dont get me wrong, tech. is a wonderful innovation, like MRI scanners, but it is problematic when clashes with culture

I have no idea what you said. Elaborate?

 

[Mighty_Dragon_Strike]

I have no idea what you said. Elaborate?

tech. companies start life as if they have answers to all our problems.

when in fact most of them later turn out to be fraud.

for instance, Elizabeth Holmes scam.

 

[nahtanbob]

I have GPT 5.2 and I have done quite a bit of work on that..

no, I did not find that impressive

so, whats impressive then?

human, capable for reading, dissection, discerning, transforming scientific data into useful information

no AI can do that, it can only do certain tasks, thats all

however, I could be wrong, but so far, evidence is not going against my reading

I can review architect plans, legal contracts, solve my kids calculus homework, generate code snippets in programming languages, draft letters

 

[nahtanbob]

tech. companies start life as if they have answers to all our problems.

when in fact most of them later turn out to be fraud.

for instance, Elizabeth Holmes scam.

Is Google a scam?

 

[nahtanbob]

Correct. We are seeing AI in its most earliest stages. Writing it off quickly is simply ignoring potential.

I lived through the internet. The only real use in 1995 was to view naked or scantily clad images of the opposite sex

 

[Mighty_Dragon_Strike]

Is Google a scam?

it is a really important and good question!

DARPA, invented internet as a networking tool to collect intelligence

Google is not scam but it will not save humanity either

 

[Mighty_Dragon_Strike]

I can review architect plans, legal contracts, solve my kids calculus homework, generate code snippets in programming languages, draft letters

how does that make GPT better or great?

i think, on the flip side, GPT has made a fool out of you..

 

[Mighty_Dragon_Strike]

I lived through the internet. The only real use in 1995 was to view naked or scantily clad images of the opposite sex

you mean changing or imposing culture

 

[gangsta_rap]

Only cisheteronormative white males need AI since they can't think independently and need a language model to tell them whats up

 

[Hamartia Antidote]

I lived through the internet.

I was using CompuServe at work and coworkers and I would play Multiplayer Doom until 4am on the company servers before the internet became popular.

The only real use in 1995 was to view naked or scantily clad images of the opposite sex

that's true. We once left a pic with a certain farm animal on some guy's machine as the background image. That was back in the days when corporations weren't aware of that stuff...only tech people who knew about BBS and FTP/telnet sites.

 

[nahtanbob]

how does that make GPT better or great?

i think, on the flip side, GPT has made a fool out of you..

I am not going to say GPT is great or better. It helps me

 

[Hamartia Antidote]

GPT-5.2 Just Solved a 30-Year Math Problem

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous mathematical reasoning.

www.eweek.com

Remember those brain-teaser math problems from school that made you want to throw your pencil? Now imagine ones so hard they’ve stumped mathematicians for decades.

Paul Erdős, who published more papers than anyone in math history, left behind hundreds of these puzzles when he died in 1996. This weekend, GPT-5.2 Pro solved one.Neel Somani prompted the AI to tackle Erdős Problem #397, which asks whether infinitely many solutions exist for a specific equation involving central binomial coefficients. GPT-5.2 generated the proof, the tool Aristotle formalized it in Lean (a verification language), and Fields Medalist Terence Tao accepted it.

Here’s what makes this a milestone​

• It’s part of a wave of autonomous solves: GPT-5.2 has now cracked Problem #728, #729, and 397.
• Verified mathematics: The Aristotle system auto-corrected gaps in proofs and produced Lean-verified code.
• Self-contained reasoning: Unlike October 2025’s GPT-5 controversy (which just found existing literature), Tao says these are original proofs.