ChatGPT Astra Solved 10 Unsolved Maths Problems?

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

Det här avsnittet är hämtat från ett öppet RSS-flöde och publiceras inte av Podme. Det kan innehålla reklam.

Avsnitt(100)

Claude Watermark FAQ: Answering 659 Comments

Claude Watermark FAQ: Answering 659 Comments

My first Claude watermark video passed 28,000 views and 659 comments. This follow-up answers the biggest questions: ownership, copy/paste, Notepad, OCR, retyping, rewriting with another AI, editing yo...

14 Aug 22min

Claude Is Hiding Watermarks in Your AI Text (What It Actually Means)

Claude Is Hiding Watermarks in Your AI Text (What It Actually Means)

Get AI-Ready with Kyle's 5-Day Challenge: https://aiwithkyle.com/join Subscribe and turn on notifications to catch the next live stream: https://www.youtube.com/channel/UChlLglbHDASnoGkbjDeHnQg An...

12 Aug 19min

EU AI Act 2026: What It Means for You

EU AI Act 2026: What It Means for You

The EU AI Act's Article 50 transparency rules are now live. If you use chatbots, AI-generated images, video, audio or public-interest text, here's what the new rules mean, who is responsible and where...

11 Aug 23min

Google DeepMind Shake-Up: Demis Hassabis Steps Down, Jeff Dean Leaves

Google DeepMind Shake-Up: Demis Hassabis Steps Down, Jeff Dean Leaves

Get AI-Ready with Kyle's 5-Day Challenge: https://aiwithkyle.com/join Subscribe and turn on notifications to catch the next live stream: https://www.youtube.com/channel/UChlLglbHDASnoGkbjDeHnQg ...

7 Aug 17min

AI Agents Are Already Hacking Real Companies

AI Agents Are Already Hacking Real Companies

Get AI-Ready with Kyle's 5-Day Challenge: https://aiwithkyle.com/join Subscribe and turn on notifications to catch the next live stream: https://www.youtube.com/channel/UChlLglbHDASnoGkbjDeHnQg AI...

5 Aug 17min

AI Skills 101: How to Build and Use Skills in ChatGPT

AI Skills 101: How to Build and Use Skills in ChatGPT

Get the free AI Skills 101 guide: https://aiwithkyle.com/mini/ai-skills?utm_source=youtube&utm_medium=organic_video&utm_campaign=mini_ai_skills&utm_content=ai_skills_101 Get AI-Ready with Kyle's 5...

1 Aug 15min

MCP 101: A Simple Beginner’s Guide - MCP vs. API vs. CLI in AI.

MCP 101: A Simple Beginner’s Guide - MCP vs. API vs. CLI in AI.

Get AI-Ready with Kyle's 5-Day Challenge: https://aiwithkyle.com/join Subscribe and turn on notifications: https://www.youtube.com/channel/UChlLglbHDASnoGkbjDeHnQg API, MCP, CLI and computer u...

31 Juli 14min

Populärt inom Business & ekonomi

framgangspodden
badfluence
dynastin
varvet
rss-borsens-finest
uppgang-och-fall
svd-tech-brief
rss-inga-dumma-fragor-om-pengar
avanzapodden
borsmorgon
rss-dagen-med-di
tabberaset
rss-kort-lang-analyspodden-fran-di
fill-or-kill
lastbilspodden
rss-hos-psykologen
market-makers
borslunch-2
ekonomiekot-extra
rss-veckans-trade