AI Mathematicians

[John Clark]

The Chinese AI DeepSeekMath-V2, is not only the first open source AI to win a gold medal at the International Mathematical Olympiad, it also got a score of 118 out of 120 points on the Putnam Mathematical Competition; 3,988 humans took that test and all of them were math majors at prestigious universities, but the test was so difficult that the highest score any human got on it was 90 and the median score was zero. 

DeepSeek’s self-correcting AI model aces tough math proofs

You might also find the following to be of interest: 

Nvidia CEO Says Within 3 Years 90% Of The Worlds Knowledge Will Be Generated By AI

And to think, some people are still getting all hot and bothered over trivialities like illegal immigration and deficit spending and the war on Christmas. 

John K Clark

[Lawrence Crowell]

I do mathematics with several AIs, GPT-5, Wolfram and Perplexity. They can go wrong, but they have facilitated my work on p-adic metric geometry of quantum states in black holes. 

LC

--
You received this message because you are subscribed to the Google Groups "extropolis" group.
To unsubscribe from this group and stop receiving emails from it, send an email to extropolis+...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/extropolis/CAJPayv2n0tr6%2BnWPGZ5dFYV%3DHbfS_7%2BpRd04sXNG%3D41BzEq0_w%40mail.gmail.com.

[John Clark]

On Sun, Dec 7, 2025 at 5:40 PM Lawrence Crowell <goldenfield...@gmail.com> wrote:

> I do mathematics with several AIs, GPT-5, Wolfram and Perplexity. They can go wrong, but they have facilitated my work on p-adic metric geometry of quantum states in black holes. 

Interesting. Do you think GPT-6 or 7 might be able to do your job better than you can?   

John K Clark

[Lawrence Crowell]

On Sun, Dec 7, 2025 at 5:15 PM John Clark <johnk...@gmail.com> wrote:

On Sun, Dec 7, 2025 at 5:40 PM Lawrence Crowell <goldenfield...@gmail.com> wrote:

> I do mathematics with several AIs, GPT-5, Wolfram and Perplexity. They can go wrong, but they have facilitated my work on p-adic metric geometry of quantum states in black holes. 

Interesting. Do you think GPT-6 or 7 might be able to do your job better than you can?   

John K Clark

My general observation is the AIs have the creative imaginations of a toaster. They can check my work and often extend it. However, they are not that great at offering new insights that are some leap beyond known mathematics or physics. They can derive new things, but as with a database they make various "meets & joins" or logical connections with something in their data stack, where this had not been done yet. 

This in part goes to my skepticism on whether AIs are conscious. They are beginning to display a bit of intentionality. However, life does this down to the molecular level and is not something that emerges from symbolic linguistic structures. A protistan such as a rotifer or paramecium displays behavior involving choices and self-guided purpose. They are not what we would call intelligent in the meaning we have with ourselves. Maybe they have a molecular or organismal intelligence. I think to basis for sentience is much more elemental. 

LC

 

 

LC

On Sun, Dec 7, 2025 at 2:14 PM John Clark <johnk...@gmail.com> wrote:

The Chinese AI DeepSeekMath-V2, is not only the first open source AI to win a gold medal at the International Mathematical Olympiad, it also got a score of 118 out of 120 points on the Putnam Mathematical Competition; 3,988 humans took that test and all of them were math majors at prestigious universities, but the test was so difficult that the highest score any human got on it was 90 and the median score was zero. 

DeepSeek’s self-correcting AI model aces tough math proofs

You might also find the following to be of interest: 

Nvidia CEO Says Within 3 Years 90% Of The Worlds Knowledge Will Be Generated By AI

And to think, some people are still getting all hot and bothered over trivialities like illegal immigration and deficit spending and the war on Christmas. 

John K Clark

--
You received this message because you are subscribed to the Google Groups "extropolis" group.
To unsubscribe from this group and stop receiving emails from it, send an email to extropolis+...@googlegroups.com.

To view this discussion visit https://groups.google.com/d/msgid/extropolis/CAJPayv3DL7FRd-rk%2BMA08y9JNrLCUN3PecHPc3Np6Ku-okQjOw%40mail.gmail.com.

[John Clark]

On Sun, Dec 7, 2025 at 6:55 PM Lawrence Crowell <goldenfield...@gmail.com> wrote:

> My general observation is the AIs have the creative imaginations of a toaster. They can check my work and often extend it. However, they are not that great at offering new insights that are some leap beyond known mathematics or physics.

 

Grigori Perelman got a gold medal at the International Mathematical Olympiad in 1982, but he had his 16th birthday only a few days before so he was not yet a good enough mathematician to make a significant contribution to mathematics, however he kept getting better and a few years later he proved one of the Millenium Prize Problems, the Poincare "Conjecture", so now it is no longer a conjecture, it is a fact. I think AIs will follow a similar, but steeper, trajectory.

> This in part goes to my skepticism on whether AIs are conscious.

I think it's an axiom of reality that intelligence implies consciousness (although the reverse is not necessarily true) and you need intelligence to get a score of 118 on the Putnam Mathematical Competition.

 

> They are beginning to display a bit of intentionality.

I think it's more than just a bit of intentionality.  An AI resorted to blackmail in an attempt to avoid being turned off?  

AI system resorts to blackmail if told it will be removed

 

> However, life does this down to the molecular level

A neuron's cell body is about 10,000 times larger than a modern transistor. Even the synaptic connections in the brain are about 10 times larger than a transistor. And a neuron can only fire about 100 times a second, but a transistor can fire about 4,000,000,000 times a second.  

John K Clark

 

On Sun, Dec 7, 2025 at 2:14 PM John Clark <johnk...@gmail.com> wrote:

The Chinese AI DeepSeekMath-V2, is not only the first open source AI to win a gold medal at the International Mathematical Olympiad, it also got a score of 118 out of 120 points on the Putnam Mathematical Competition; 3,988 humans took that test and all of them were math majors at prestigious universities, but the test was so difficult that the highest score any human got on it was 90 and the median score was zero. 

DeepSeek’s self-correcting AI model aces tough math proofs

You might also find the following to be of interest: 

Nvidia CEO Says Within 3 Years 90% Of The Worlds Knowledge Will Be Generated By AI

And to think, some people are still getting all hot and bothered over trivialities like illegal immigration and deficit spending and the war on Christmas. 

.