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

[Auqab13]

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.

Sir are you writing in haikus? why am i having trouble reading your comments lol

 

[Psyko70]

1 year ago, My Colleague who is mathematician in CS department of my university told me he did some problems via chatgpt and got the solution but there were some errors. Now he says its improved even in free version and solves the problems that had incomplete answers before. He says it helps him prepare in finding quickest methods to help students achieve results quickly.

 

[Mighty_Dragon_Strike]

1 year ago, My Colleague who is mathematician in CS department of my university told me he did some problems via chatgpt and got the solution but there were some errors. Now he says its improved even in free version and solves the problems that had incomplete answers before. He says it helps him prepare in finding quickest methods to help students achieve results quickly.

gpt can only copies solutions, it does not solve problems

 

[Mighty_Dragon_Strike]

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

thats the point, it helps you and it destroys critical thinking

 

[Psyko70]

gpt can only copies solutions, it does not solve problems

it has helped him. he showed me wherever he got stuck it helped him.

 

[Mighty_Dragon_Strike]

Sir are you writing in haikus? why am i having trouble reading your comments lol

I usually write posts while walking or lying on my bed with eyes half open.

Last night was no different

 

[大汉奸柳传志]

most Paul Erdős problems are very very abstract, you can say they are basically tailor made for LLMs

AI would provide a solution to every one of them within minutes but still lacks the capability to know whether the solution is right or wrong, that is why human verification is still needed

 

[Mighty_Dragon_Strike]

most Paul Erdős problems are very very abstract, you can say they are basically tailor made for LLMs

AI would provide a solution to every one of them within minutes but still lacks the capability to know whether the solution is right or wrong, that is why human verification is still needed

100% agreed!
but it does give huge ability to solve problems.
Still, AI is years away from delivering solutions to solve our real life problems until then, it will make life troublesome for humans

The Industrial Revolution introduced paper money without gold backing. Now, just wait and watch how this technology will be used to control the world’s population. It’s truly daunting to look at global debt charts: before the 1900s debt was minimal, yet between the 1910s and 1930s almost every country that had no role in the Industrial Revolution was pushed into currency debt, despite being rich in natural resources

 

[Psyko70]

Here's what I do with chat gpt.

1. Provide solution to X topic.
2. He asks some extra details, I give
3. Ai provides solution
4. I tell him please assess it again and reevaluate it
5. Provides solution, I ask expert in that field if need be he verifies it. most of time Ai is giving best solution this year. 2 years ago it was giving wrong solution.

 

[Mighty_Dragon_Strike]

ohh look, AI is solving real world problems by wiping out jobs

 

[PakFactor]

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 use it extensively, but to data mine information for investments, etc.

 

[Hamartia Antidote]

I use it extensively, but to data mine information for investments, etc.

Remember people were laughing at hallucinations in 2024 saying AI was useless. Now they aren't laughing as hard.

AI is definitely a force to be reckoned with...and it is only in its infancy

 

[Hamartia Antidote]

Ex-Google CEO WARNS: "Humanity Is Running Out Of Time"​

 

[ARMalik]

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

Over the weekend, Neil Somani, a software engineer and former quantum mathematics researcher, decided to test what a new OpenAI model could do in mathematics. The result was unexpected: he uploaded a problem to the chat and gave the AI 15 minutes to think about it. Neil checked the resulting...

dev.ua

Over the weekend, Neil Somani, a software engineer and former quantum mathematics researcher, decided to test what a new OpenAI model could do in mathematics. The result was unexpected: he uploaded a problem to the chat and gave the AI 15 minutes to think about it. Neil checked the resulting solution using the Harmonic tool — the proof was flawless and passed formal verification.

“I was interested in determining the baseline: what complex mathematical problems large language models can already handle and what they still can’t,” Somani said. The surprise was that with the use of the latter model, the frontier of AI capabilities began to shift somewhat forward.

ChatGPT's "chain of reasoning" is even more impressive: it confidently operates with such mathematical axioms as Legendre's formula, Bertrand's postulate, and the Star of David theorem, writes TechCrunch.

In the process, the model came across a 2013 Math Overflow post by Harvard professor Noam Elkis solving a similar problem. But the proof that ChatGPT published was not a simple copycat — it was fundamentally different from Elkis's version. What's more, the AI provided a comprehensive answer to a version of the problem by the legendary Pál Erdős, whose vast collection of unsolved problems became a veritable testing ground for AI.

This success is a real challenge for skeptics who do not believe in the possibilities of AI, and such cases are becoming more and more common. Artificial intelligence is everywhere in mathematics today: from the specialized Aristotle model for formal proofs to Deep Research for searching for scientific papers. But it was with the release of GPT 5.2 — which Somani calls significantly smarter than previous versions — that the volume of AI problems solved became so large that it is impossible to ignore. This raises new questions about the ability of LLM to expand the boundaries of human knowledge.

Somány analyzed the Erdős problems, a collection of more than 1,000 conjectures by the Hungarian mathematician that are publicly available. These problems, which vary greatly in subject matter and complexity, have become a tempting target for AI mathematics. While Google Gemini’s AlphaEvolve model showed initial success in November, Somány and his colleagues have recently found that GPT 5.2 is remarkably adept at solving high-level mathematical problems.

Since Christmas, the status of 15 problems on the Erdős website has been changed from "open" to "solved" — and in 11 cases, the notes to the solutions explicitly stated that artificial intelligence models were used in the process.

Renowned mathematician Terence Tao provides more modest statistics on GitHub . He highlights eight examples where AI has made progress on Erdős problems on its own, and six more where neural networks have helped by finding and refining old scientific papers. The time when AI will be able to do mathematics completely without human help is still a long way off, but the role of large models in this field is becoming increasingly important.

On Mastodon, Tao suggested that the scalability of AI systems makes them "better suited for systematic application to the 'long tail' of little-known Erdös problems, many of which actually have simple solutions."

“Thus, many of these simpler Erdős problems are now more likely to be solved solely by AI-based methods than by human or hybrid means,” Tao noted.

Another driving force is the recent shift toward formalization, a labor-intensive process that makes it easier to test and develop mathematical reasoning. Formalization does not necessarily require the use of AI or even computers, but the advent of new automated tools has greatly simplified the task. The open-source “proof assistant” Lean, developed at Microsoft Research in 2013, has become widely used in the field as a means of formalizing proofs, and AI tools such as Harmonic’s Aristotle promise to automate much of this work.

For Harmonic founder Tudor Achim, the sudden surge in Erdös problems is less important than the fact that the world’s top mathematicians are starting to take these tools seriously. “I’m more concerned about the fact that math and computer science professors are using [AI tools],” Achim said. “These people care about their reputation, so when they say they use Aristotle or ChatGPT, that’s the real evidence.”

Hang on, wasn't "Bitcoin" supposed to solve complex mathetical equations to come into existence?

 

[Hamartia Antidote]

Hang on, wasn't "Bitcoin" supposed to solve complex mathetical equations to come into existence?

bitcoin is stupid. it's not even worth mentioning in this topic.

I don't think you are understanding AI at all if you bring that up.