ASTRA by OpenAI has solved the IMPOSSIBLE!!!! (Limits to Science - Podcast #2)

ASTRA by OpenAI has solved the IMPOSSIBLE!!!! (Limits to Science - Podcast #2) We bring you fresh news, the world of AI is currently in constant motion and increasingly faster, and proof of this is the small podcast that we bring you today. Astra, the new OpenAI model has solved 10 unsolved mathematical problems for more than 6 decades!!! BRUTAL, don't miss it... 00:00 - Welcome and introduction 00:00:24 - OpenAI presents ASTRA and solves 10 historical mathematical problems 00:01:10 - Geometry, group theory and post-quantum cryptography 00:01:34 - The "Deep Blue moment" of mathematics 00:02:07 - Problems solved: Non-Sophic group, Connes conjecture and Erdős problems 00:03:13 - A computing cost of only $2,000 per solution 00:04:04 - A general purpose multi-agent system 00:04:37 - AI-Human collaboration and formal verification with Lean 00:05:34 - Publication on GitHub and need for community review 00:06:42 - Launch status, US regulations and possible name (GPT-6) 00:07:37 - The context of the sector: Anthropic and Terence Tao using AI in mathematics 00:08:35 - Support the channel, likes, comments and goodbye