AI with Kyle - Daily AI News and Updates3 Elo

ChatGPT Astra Solved 10 Unsolved Maths Problems?

Can ChatGPT really solve unsolved maths? OpenAI says Astra, its unreleased next major model family, generated ten substantial new results across mathematics and theoretical computer science. Astra is not the version of ChatGPT you can use today, but OpenAI has published a 249-page paper collection, discovery notes and Lean certificates for independent inspection.

In this video I break down what OpenAI actually released, why "ten solved problems" needs qualification, what the roughly $2,000 inference claim does and does not mean, how Lean verification works, and why AI can make progress on advanced maths while still failing apparently simple tasks.

Get AI with Kyle's daily AI newsletter:

https://aiwithkyle.com/join

Chapters:

00:00 What ChatGPT Astra claims

00:53 What OpenAI actually released

02:01 Evidence vs marketing

02:25 Advances vs solved problems

04:00 What the $2,000 claim really means

05:55 Why maths, but not strawberry?

07:58 The jagged frontier

09:08 Can we trust the proofs?

11:52 AI is already escaping the lab

13:50 Is AI actually creative?

15:54 The bottleneck has moved

17:26 Scientists become directors

18:27 My verdict on ChatGPT Astra

Sources:

OpenAI - Ten advances in mathematics and theoretical computer science

https://openai.com/index/ten-advances-in-mathematics/

OpenAI - Ten Advances paper collection

https://cdn.openai.com/pdf/ten-proofs-oai.pdf

OpenAI - Mathematical discovery notes

https://cdn.openai.com/pdf/reasoning-walkthroughs.pdf

OpenAI - Public Lean certificates

https://github.com/openai/ten-proofs

Noam Brown - Astra launch post

https://x.com/polynoamial/status/2083467194663571701

Counting Ability of Large Language Models and Impact of Tokenization

https://arxiv.org/abs/2410.19730

Navigating the Jagged Technological Frontier

https://pubsonline.informs.org/doi/10.1287/orsc.2025.21838

Tämä jakso on lisätty Podme-palveluun avoimen RSS-syötteen kautta eikä se ole Podmen omaa tuotantoa. Siksi jakso saattaa sisältää mainontaa.

Jaksot(100)

How to Use AI for Beginners in 2026 (Part 1)

Get the FREE Learn AI guide: https://aiwithkyle.com/learnai Build your AI skills with the AI Confidence Accelerator: https://aiwithkyle.com/confidence Choose your AI assistant, build a daily habit...

26 Syys 21min

How I Would Learn AI If I Started Again in 2026

Get the FREE Learn AI guide: https://aiwithkyle.com/learnai Build your AI skills with the AI Confidence Accelerator: https://aiwithkyle.com/confidence If I was starting to learn AI today, this is ...

25 Syys 55min

Claude Opus 5.5 vs GPT-6 Sol: Which One Should You Actually Use?

Want to build with AI but have no idea where to start? https://aiwithkyle.com/join-freedom-os Join my private WhatsApp group: https://aiwithkyle.com/ai-with-kyle-group-chat Media/Sponsorship Inq...

23 Syys 24min

Instinct: A Free AI Assistant That Actually Gets Things Done

Get your Instinct invite: https://aiwithkyle.com/instinct Instinct is an AI assistant you can message through WhatsApp or iMessage, and it’s free right now. I’ve been using it to work through the j...

21 Syys 23min

Trump Says AI Fears Are a Hoax. Anthropic Disagrees.

Want to build with AI but have no idea where to start? https://aiwithkyle.com/join-freedom-os Join my private WhatsApp group: https://aiwithkyle.com/ai-with-kyle-group-chat Media/Sponsorship Inq...

17 Syys 23min

Anthropic Wants to Slow AI Down. Even Elon Musk Agrees.

Get my daily AI newsletter: https://aiwithkyle.com/ Anthropic wants to slow AI development down, and Sam Altman, Elon Musk and Demis Hassabis are backing the direction of Dario Amodei's proposal. T...

14 Syys 29min

Anthropic Insiders Say AI Could Kill Us All. Are They Right?

Want to build with AI but have no idea where to start? https://aiwithkyle.com/join-freedom-os Join my private WhatsApp group: https://aiwithkyle.com/ai-with-kyle-group-chat Media/Sponsorship Inq...

11 Syys 40min

AI Skills Explained: Stop Repeating Yourself to ChatGPT

Want to build a business with AI but have no idea where to start? Build your personalized AI income plan and execute this week: https://aiwithkyle.com/join-freedom-os Join my private WhatsApp group...

10 Syys 14min