S08E21 - Over Millenniumproblemen, hackende modellen en Theme Park

Welkom terug bij Radio Raccoons!

Jullie zien het goed: Deevid zit deze keer alleen voor de mic, en dat omdat Michiel op de opnamedag out of office was. Geen probleem voor Deevid, die nu vrij spel heeft om het uitvoerig over wiskunde en AI te hebben…

Eerst zijn er nog een hoop techscoops te bespreken: Anthropic brengt zowel Fable 5.2 als Mythos 5.2 uit, en 1000 Fable-agents ormaliseerden ook het bewijs van de Laatste Stelling van Fermat in 30 uur. OpenAI en Google sturen intussen hun nieuwe cybermodellen op pad, en GPT-6 Cyber vindt 81 onbekende lekken in Firefox. Daarna duikt Deevid de wiskunde in: OpenAI en Anthropic weerleggen onafhankelijk van elkaar de Exponential Time Hypothesis, en we leggen uit wat 3-SAT met een pizzabestelling te maken heeft. OpenAI claimt ook een bewijs voor de helft van het Yang-Mills-probleem, een Millenniumprobleem waar een miljoen dollar aan vasthangt.

Verder stelt de Vlaamse boekensector met de campagne “Iedereen Auteur” een duidelijke eis aan de AI-bedrijven, met David Van Reybrouck als sterkste stem.

Tech scoops

• The Decoder, Claude Fable 5.2 and Mythos 5.2 cement Anthropic's AI lead just before its IPO
• Anthropic, Claude Fable 5.2 and Mythos 5.2
• Hacker News voorpagina
• The Register, Gemini 4 Carbon
• BuildMVPFast, Gemini 4 Carbon
• The Decoder, Meta launches Muse Ember
• The Decoder, Muse Wonder Full
• BuildMVPFast, Kimi K3.1 Pro
• De bronnen voor de OpenAI-items staan bij elk item zelf.

Wiskunde updates

• The Next Web, OpenAI says its AI model has disproved the Exponential Time Hypothesis
• TechCrunch, Frontier AI labs say their models refuted the Exponential Time Hypothesis
• Let's Data Science, OpenAI and Anthropic broke a 1999 conjecture
• HackerNoon, OpenAI and Anthropic claim AI has disproved a 27-year-old hypothesis
• AFP via Kuwait Times, Scientists react as AI claims to overturn their life's work
• KITP, Statement by the Yang-Mills Working Group
• Crypto Briefing, Yang-Mills Working Group to publish OpenAI's Lean code
• CellCog, OpenAI claims Yang-Mills, ETH and Kakeya proofs
• Tech Times, Nobel laureate whose discovery enables it now reviews it
• MindStudio, OpenAI's three AI science claims

Overige tech scoops

• The Decoder, METR finds Anthropic may have crossed its own warning threshold
• VT Markets, Anthropic IPO tijdlijn
• The Decoder, Karpathy video platform
• De bronnen voor boekensector, Delaware en MIT staan bij elk item zelf.