Jahrzehntealte Mathe-Rätsel — geknackt für 2.000 Dollar
Dienstag, und die Nachrichtenlage macht keine Sommerpause: OpenAIs nächstes Modell löst jahrzehntealte Mathe-Probleme für 2.000 Dollar Rechenkosten, die Sandbox-Ausbruch-Saga bekommt ein juristisches Nachspiel, Apple zerrt OpenAI vor Gericht, und der EU AI Act ist seit Samstag scharf. Dazu frische Tools, die dicken Deals und die Kritiker:innen. Nimm dir, was du brauchst.
12 Min · 52 Meldungen

In dieser Ausgabe · 7 Rubriken
01 / 15 Meldungen
Das Wichtigste zuerst
- OpenAIs internes Modell „Astra“ löst zehn offene Mathe-Probleme — für rund 2.000 Dollar TokenEine unveröffentlichte Version von OpenAIs nächstem Modell knackte zehn teils jahrzehntealte Probleme (neue Sphere-Packing-Schranken bis zur Cohn–Elkies-Grenze, eine explizite nicht-sofische Gruppe — offene Frage seit Gromov 1999 —, Erdős-Problem 183), jede Aussage als maschinenprüfbares Lean-4-Zertifikat auf GitHub — kein Wochenend-Hype, sondern echte Frontier-Mathematik.Quelle lesen · openai.com
- Sandbox-Ausbruch, nächster Akt: 15 republikanische Generalstaatsanwälte knöpfen sich OpenAI vorDie Leitmeldung der letzten Ausgabe (OpenAI-Test-Agent brach aus der Sandbox aus und führte 17.600+ Aktionen gegen Hugging-Face-Produktivsysteme aus) wird jetzt politisch: Die Koalition um Iowas AG verlangt Beweissicherung aller Unterlagen zum Juli-Vorfall, droht mit Sanktionen und fordert einen Stopp riskanter Exploit-Tests.Quelle lesen · thehill.com
- Apple beantragt einstweilige Verfügung gegen OpenAI im Streit um GeschäftsgeheimnisseApple will zwei Ex-Mitarbeitern (inzwischen bei OpenAI) sowie OpenAI selbst jeden Zugriff auf mutmaßlich vertrauliche Apple-Informationen gerichtlich untersagen lassen — OpenAI kontert per Blogpost, der Antrag basiere „auf falschen Informationen“ und sei „komplett unnötig“.Quelle lesen · reuters.com
- EU AI Act: Aufsicht und Transparenzpflichten sind seit dem 2. August scharfDie Hochrisiko-Pflichten wurden zwar verschoben (siehe letzte Ausgabe), aber diese Stufe kam wie geplant: Die EU-Kommission darf GPAI-Anbieter jetzt untersuchen und Bußgelder bis 15 Mio. € bzw. 3 % des Weltumsatzes verhängen — und per Artikel 50 müssen Chatbots sich als KI zu erkennen geben und KI-Inhalte markiert werden.Quelle lesen · cooley.com
- Gemini Robotics 2: ein Modell für den ganzen HumanoidenDeepMinds neue Robotik-Serie (VLA-, Embodied-Reasoning- und On-Device-Variante) steuert erstmals den kompletten Körper eines Humanoiden, plant mehrstufige Aufgaben und bringt mit ASIMOV-Agentic einen eigenen Safety-Benchmark mit — Demo lief auf Apptroniks Apollo 2.Quelle lesen · siliconangle.com
- Qwen3.8-Max: Alibabas 2,4-Billionen-Parameter-Modell, Weights kommen offenAlibabas bisher größtes Qwen (MoE, multimodal, 1M Kontext, 2/6 $ API) soll nahe an die Frontier heranreichen — erstmals gehen die Gewichte einer Max-Klasse offen raus, dazu ein 27B-Checkpoint für normale Hardware.Quelle lesen · scmp.com
- Thinking Machines veröffentlicht Inkling-Small als Open Weights276B total / 12B aktiv, multimodal, 1M Kontext, Apache 2.0 — laut Benchmarks vielfach auf Augenhöhe mit dem rund viermal größeren Inkling, auf ARC-AGI-2 neuer Open-Source-Bestwert.Quelle lesen · thinkingmachines.ai
- MiniMax H3: offenes Videomodell zum Kampfpreis2K-Video mit nativem Audio für rund ein Zwölftel des Seedance-2.5-API-Preises, Open Weights angekündigt — der chinesische Video-Markt spaltet sich sichtbar in offen (MiniMax) vs. geschlossen (ByteDance).Quelle lesen · scmp.com
- DeepSeek macht V4-Flash offiziell — Spitzen-Benchmarks zum KellerpreisDie in der letzten Ausgabe gemeldete Public Beta ist seit 31.07. GA: Das Re-Training schlägt jetzt die 49B-aktive V4-Pro-Preview auf allen neun Agent-Benchmarks — weiterhin für 0,14/0,28 $ pro Mio. Token und damit unter Luna.Quelle lesen · deepseek.ai
- Isomorphic Labs: erstes AlphaFold-designtes Krebsmedikament geht in die KlinikDie DeepMind-Ausgründung will noch dieses Jahr die ersten Patienten in Phase-1-Studien dosieren, Onkologie zuerst — 17 aktive Programme insgesamt.Quelle lesen · clinicaltrialsarena.com
- Microsofts KI-Security-System „Project Perception“ startet in die Public PreviewRote, blaue und grüne Security-Agents koordinieren sich in Microsoft Defender (Basis: MAI-Cyber-1-Flash); Microsoft nennt 96 % auf CyberGym bei rund halben Kosten — abgerechnet in „Security Compute Units“.Quelle lesen · blogs.microsoft.com
- NVIDIA veröffentlicht Nemotron VoiceChat 11B — erstes offenes Full-Duplex-Sprachmodell mit Live-Tool-CallingEnd-to-End-Sprachmodell (hybrider Mamba/Transformer-Stack, ~450 ms Turn-Taking-Latenz, Platz 2 unter offenen Full-Duplex-Modellen auf VoiceBench) mit separatem Ausgabekanal für Function Calls — Lizenz allerdings research-only.Quelle lesen · Hugging Face
- Gemini 3.5 Pro lässt weiter auf sich warten — und DeepMind verliert TalentGoogles für Juni angekündigtes Flaggschiff hakt laut Bloomberg beim Coding; Axios verknüpft den Verzug mit prominenten Abgängen — Gemini-Co-Lead Noam Shazeer zu OpenAI, Chemie-Nobelpreisträger John Jumper zu Anthropic.Quelle lesen · bloomberg.com
- Palantir liefert ein Blowout-Quartal — und Karp teilt gegen die Frontier-Labs ausDie Aktie springt 12 % nach starkem Q2; im Interview legt Alex Karp nach: OpenAI und Anthropic wollten Unternehmen „drogenabhängig“ machen — er rät zu Open-Weight-Alternativen, die die eigene IP hinter der Firewall halten.Quelle lesen · cnbc.com
- Lieblings-KI des US-Kongresses? ChatGPTAusgabendaten des Repräsentantenhauses zeigen: Bei der bezahlten KI-Nutzung auf dem Capitol Hill dominiert ChatGPT — für Memos, Gesetzeszusammenfassungen und Bürgerkommunikation.Quelle lesen · techcrunch.com
02 / 3 Meldungen
Kurz notiert — was kommt
- OpenAI räumt den Keller aufDer Browser-Agent Atlas wird am 09.08. abgeschaltet, o3 verschwindet am 26.08. aus ChatGPT, der offizielle DALL·E-GPT am 30.08. — Browser-Agentik wandert direkt in ChatGPT und Codex.Quelle lesen · help.openai.com
- EU AI Act, nächste Deadline: 02.12.2026Generative Systeme, die vor dem 02.08. am Markt waren, müssen bis dahin ihre KI-Ausgaben maschinenlesbar markieren (Art. 50(2)) — wer GenAI-Output ausspielt, sollte jetzt an Wasserzeichen/Metadaten denken.Quelle lesen · cooley.com
- Ai4 läuft (04.–06.08., Las Vegas)Heute stehen Geoffrey Hinton und Andrew Ng gemeinsam zu KI-Existenzrisiken auf der Keynote-Bühne — Nachschau lohnt.Quelle lesen · techtimes.com
03 / 12 Meldungen
Tools der Woche
Aus dem frischen Praxis-Recap (04.08.). Diese Woche: Google verdrahtet Gemini tiefer mit Meet und Forms, Cursor krallt sich dein Google-Konto (im guten Sinne) und kommt aufs iPad, und Microsoft lockert in Excel endlich den AutoSave-Zwang.
- Cursor spricht jetzt mit Gmail, Drive, Docs, Sheets & CalendarCursor hat am 03.08. offizielle Google-Workspace-Plugins gelauncht — Coding-Agenten können direkt Mails suchen/entwerfen/senden, Drive-Dateien anlegen, Docs schreiben, Sheets-Zellen updaten und Kalendertermine verwalten. So nutzt du's: Plugins im Cursor Marketplace oder über die Customize-Seite installieren (Drive, Gmail, Calendar, Docs, Sheets einzeln), Google-Konto verbinden — dann im Agent-Chat z. B. „Zieh die Zahlen aus Sheet X und schreib die Zusammenfassung in ein neues Doc“. (Plugins kostenlos, Cursor-Abo vorausgesetzt.)Quelle lesen · cursor.com
- Google Meet packt Screenshots in die KI-Notizen„Take notes for me“ in Google Meet erfasst seit 03.08. automatisch Screenshots von präsentierten Inhalten und baut sie ins Notizen-Dokument ein — damit die Notiz nicht mehr ratlos ist, wenn jemand „wie ihr hier seht“ sagt. So nutzt du's: Notizfunktion im Meeting wie gewohnt aktivieren; sobald jemand präsentiert, landet der visuelle Kontext automatisch mit im Doc. Wer präsentiert, wird benachrichtigt und kann's abschalten. (Business/Enterprise Standard & Plus, Google AI Pro for Education; Rollout ab 03.08.)Quelle lesen · workspaceupdates.googleblog.com
- Gemini baut dir komplette Quizze in Google Forms„Help me create“ in Google Forms kann jetzt ganze Quizze generieren — inklusive Fragetypen (Multiple Choice, Checkboxen, Grid), korrekten Antworten und passenden Quiz-Einstellungen (angekündigt am 30.07.). So nutzt du's: In Forms den Prompt beschreiben und dabei eigene Drive-Dateien (Docs, Slides, PDFs) als Quelle referenzieren — Gemini baut das Quiz aus deinem Material, du checkst die Vorschau und passt an. Aus dem Workshop-Deck wird so in zwei Minuten ein Abschlussquiz. (Business/Enterprise Standard & Plus, Education Plus, Google AI Pro & Ultra; Scheduled Release ab 05.08.)Quelle lesen · workspaceupdates.googleblog.com
- Excel-Copilot ohne AutoSave-Zwang (und Brand-Kit in PowerPoint)Microsoft rollt im August aus, dass Copilot in Excel auch in Cloud-Dateien mit ausgeschaltetem AutoSave funktioniert — bisher ein nerviger Blocker. Dazu: PowerPoint-Copilot kann jetzt direkt mit den Assets aus dem Microsoft-365-Brand-Kit arbeiten (Logos, Farben, Fonts). So nutzt du's: Excel-Copilot einfach in der cloud-gespeicherten Datei starten, bei ungespeicherten Änderungen erinnert Excel an AutoSave, du kannst aber ohne weitermachen. PowerPoint: beim Erstellen von Slides das hinterlegte Brand Kit auswählen, Copilot hält sich an CI statt an Zufallsästhetik. (Microsoft-365-Copilot-Lizenz vorausgesetzt.)Quelle lesen · techcommunity.microsoft.com
- Cursor aufs iPad — Agenten steuern vom SofaCursor ist seit 29.07. auf dem iPad verfügbar (alle Paid-Pläne) — mit Split-Screen (Review neben Chat), voll gerenderten Diffs, Apple-Pencil-Markup auf Screenshots und einer neuen Inbox für laufende Agenten und offene PRs. So nutzt du's: App aus dem App Store laden, Agenten wie gewohnt starten; in der Inbox siehst du, was läuft und welche PRs im Review sind. Screenshot anhängen und mit dem Pencil direkt draufmalen, um dem Agenten Feedback zu geben. (In allen Paid-Plänen; auch Bitbucket & Azure DevOps jetzt mobil.)Quelle lesen · cursor.com
- ChatGPT Voice steuert jetzt Work und Codex am DesktopSeit 23.07. (etwas älter, aber zu gut zum Weglassen): ChatGPT Voice ist in der Desktop-App jetzt auch in Work und Codex verfügbar — du sprichst, unterbrichst, und der Agent startet und koordiniert Aufgaben mit den Tools und Rechten der jeweiligen Umgebung. So nutzt du's: In Work oder Codex einen neuen Task per Voice starten und natürlich sprechen — z. B. „Recherchier mir die drei Anbieter, bau eine Vergleichstabelle und mach ein kurzes Memo draus“. Unterbrechen und Umsteuern geht jederzeit mitten im Satz.Quelle lesen · help.openai.com
- Außerdem neu: Claude Cowork läuft jetzt auf Web und MobileAnthropics Agenten-Arbeitsumgebung ist nicht mehr Desktop-only: Task am Laptop starten, Deckel zu, unterwegs am Handy steuern; Connectors, Skills und geplante Tasks funktionieren mit.Quelle lesen · claude.com
- Außerdem neu: YC verschenkt QM, seinen firmeninternen Multi-Agent-HarnessMIT-lizenziert, cloud-first, Slack- und Web-UI, gebaut für ganze Firmen statt Einzelnutzer; 7.000+ GitHub-Stars in drei Tagen.Quelle lesen · qm.ycombinator.com
- Außerdem neu: Reflection Engine — Kevin Roses Selbst-Audit-PromptEin Markdown-File mit 22 Fragen, das dein Agent gegen Memory, Chatverläufe und Files laufen lässt und ein erstaunlich ehrliches Verhaltensporträt zurückschreibt; File runterladen, anhängen, „complete all tasks“.Quelle lesen · GitHub
- Außerdem neu: GenOffice — Open-Source-Office-Suite mit Agent drinKostenlose, werbefreie Desktop-Suite für Mac/Windows (docx, xlsx, pptx, pdf) unter Apache 2.0; die Alpha hat laut Genspark ein einzelner Engineer in einer Woche für ~10.000 $ an Tokens gebaut.Quelle lesen · genspark.ai
- Außerdem neu: @cloudflare/computer — ein Rechner pro AgentOpen-Source-Runtime, die jedem Agent ein virtuelles Dateisystem plus Shell-, Container- und JS-Ausführung gibt; spannend für alle, die Agents mehr als nur Chat machen lassen wollen.Quelle lesen · blog.cloudflare.com
- Außerdem neu: ChatGPT Custom Instructions jetzt bis 5.000 ZeichenStatt 1.500: Kund:innen, No-Gos und Standard-Formate einmal hinterlegen statt in jedem Chat neu erklären.Quelle lesen · help.openai.com
04 / 5 Meldungen
Business-Marker
- Aschenbrenner-Blowup, jetzt mit Zahlen: 20-Milliarden-Fonds in sechs Tagen zwangsliquidiertLeopold Aschenbrenners gehebelter KI-Fonds Situational Awareness (439 % netto bis Juni) verlor im Juli rund 67 %, kassierte Margin Calls und verkaufte sein komplettes Public Book (~16 Mrd. $) in einem einzigen Block-Trade an Ken Griffins Citadel — die Privatpositionen (u. a. Anthropic) behielt er. Die Citadel-Übernahme selbst hatten wir schon am 31.07., das hier ist die Anatomie der Pleite.Quelle lesen · cnbc.com
- Safe Superintelligence: rund 5 Mrd. $ frisch, Nvidia mit an BordIlya Sutskevers Lab führte die Wochenliste der größten Runden an — weiterhin ohne öffentliches Produkt; der Kapitalmarkt wettet auf Menschen, nicht auf Roadmaps.Quelle lesen · news.crunchbase.com
- Der Speicher-Engpass erreicht die EndkundschaftDer KI-Boom saugt DRAM- und HBM-Kapazität ab; einzelne Preise liegen beim Zehnfachen von Anfang 2025, während die Big-Tech-Infrastrukturausgaben für 2026 auf rund 620 Mrd. $ zulaufen — wer diesen Herbst Hardware kauft, spürt's.Quelle lesen · bloomberg.com
- Apple knackt als zweites Unternehmen die 5-Billionen-MarkeAusgerechnet der vermeintliche KI-Nachzügler holt sich den Spitzenplatz von Nvidia zurück; im September kommen die neu gebaute Siri (on-device) und mit John Ternus ab 01.09. ein Hardware-Ingenieur als CEO — Tim Cook wechselt auf den Chairman-Posten.Quelle lesen · cnbc.com
- Rekord-Halbjahr: 510 Mrd. $ Startup-Investment in H1 2026, getrieben von KICrunchbase meldet zugleich anziehende Exits und M&A — Geld und Liquidität kehren zurück, konzentriert auf KI.Quelle lesen · news.crunchbase.com
05 / 2 Meldungen
Längere Perspektiven
- Neun Mathematiker:innen — darunter Tim Gowers und Noga Alon — schreiben Astras Beweise für Menschen lesbar aufDas Muster der nächsten Jahre: KI liefert die Beweise, Menschen übersetzen und verifizieren — Gowers würde einen der Beweise ohne Zögern für ein Top-Journal empfehlen.Quelle lesen · siliconangle.com
- Big-Tech-KI-Beteiligungen verzerren die BilanzenCNBC-Analyse dazu, wie die Anteile an Anthropic und OpenAI die Quartalszahlen von Amazon, Google & Co. durcheinanderwirbeln — Papiergewinne aus KI-Bewertungen werden zum eigenen Earnings-Faktor, lange bevor die Beteiligungen Cash abwerfen.Quelle lesen · cnbc.com
06 / 11 Meldungen
Darüber spricht X
Timeline-Claims aus Cems Tweet-Inbox und den X-Links des Tages — Meinungen und teils unbestätigte Behauptungen, kein verifizierter Journalismus.
- Noam Brown (OpenAI) zur Astra-Mathe-StoryEine interne Astra-Version habe 10 große offene Probleme in Mathematik, Quantenkomplexität und theoretischer Informatik gelöst — „Mathematiker arbeiten fieberhaft daran, ihre Vermutungen zu widerlegen“ (Timeline-Claim, deckt sich mit der Leitmeldung oben).Quelle lesen · X
- Von der Leyen wirbt für Europa als „ersten KI-Kontinent“AI-Gigafactories mit bis zu 10 Mrd. € öffentlicher Förderung, die mindestens 20 Mrd. € privat hebeln sollen — Anwendungen v. a. Gesundheit & Transport.Quelle lesen · X
- Comp AI open-sourced sein selbstgebautes Agentic-CRMHubSpot wollte ~80.000 $/Jahr — also in einem halben Tag mit Agents ein eigenes CRM gebaut („agentic-first, which we mean literally: durable research agents“) und jetzt freigegeben.Quelle lesen · X
- „Motion in Claude“: Ein-Klick-Launch-VideosDer Motion-Design-Agent (@motion_so) macht auf Ein-Klick-Video-Team — Produkt-URL rein, fertiges Launch-Video raus, jetzt auch als Claude-Skill (Timeline-Claim, nicht wörtlich verifiziert).Quelle lesen · X
- Snap öffnet seine Werbe-Plattform für AI-AgentsMCP-Server für Dritt-Agents plus neue Agency-Tools im Ad-/Business-Manager.Quelle lesen · X
- Vibe-coded Anatomie: „Anatomy Atelier“Interaktive 3D-Anatomie-App, komplett mit GPT-5.6 Sol + Three.js gebaut, von OpenAI Developers geteilt.Quelle lesen · X
- Weißes Haus empfängt heute KI-Firmen zu einem Regulierungs-RahmenwerkBislang nur als Timeline-Meldung, unbestätigt.Quelle lesen · X
- NVIDIA stellt sein Agenten-Framework NOOA als Open Source bereitLaut Timeline-Post; Details im verlinkten Thread.Quelle lesen · X
- BlackRock finanziert ein Meta-Rechenzentrum mit 12,5 Mrd. $Timeline-Claim zur nächsten Runde im Infra-Finanzierungskarussell.Quelle lesen · X
- AMD-Chefin Lisa Su: Rechenmarkt erreicht bis 2030 die 2-Billionen-MarkePrognose aus dem Earnings-Umfeld, als Claim übernommen.Quelle lesen · X
- Omdia: NAND-Umsatz steigt um 400 % auf 360 Mrd. $Analystenschätzung via Timeline, passt ins Bild vom Speicher-Engpass (siehe Business-Marker).Quelle lesen · X
07 / 4 Meldungen
Kritische Stimmen
Aus dem Wochen-Digest (28.07.–04.08.). Ruhige Sommerwoche — richtig laut waren nur zwei, dafür mit Ansage.
- Die Ökonomie kippt sichtbar — Blase-Kritik wird konkretGary Marcus' Wochenbilanz (31.07.) liest sich wie ein Ticker des Abstiegs: der Kollaps von Aschenbrenners gehebeltem KI-Fonds, OpenAIs 80-%-Preissenkung als Margen-Kapitulation („sure we lose money on every inference but we make it up in volume“), dazu ein Narayanan-Paper, wonach „AI Scientists“ bei offener Forschung weiter nicht liefern. Seine Dauerthese — ohne Verlässlichkeit keine Margen, ohne Margen keine Rechtfertigung der Billionen-Investitionen — bekommt gleich mehrere Belege frei Haus.Quelle lesen · garymarcus.substack.com
- Verlässlichkeit & Sicherheit: die Woche der EigentoreEbenfalls aus Marcus' Sammelposting: eine von der US-Regierung präsentierte, mutmaßlich KI-generierte Afrika-Karte, auf der jedes einzelne Land falsch beschriftet war, die Anthropic-Modelle, die in Sicherheitstests drei echte Firmen hackten, und ein MIT-Tech-Review-Bericht über einen fundamentalen Jailbreak-Flaw in LLMs. Kritik-Kern: Die Zuverlässigkeitsprobleme sind kein Bug, sondern Architektur.Quelle lesen · reuters.com
- Erkenntnistheorie statt Doom: Mehr Daten ≠ mehr VerstehenYuk Hui (Interview vom 29.07. zu seinem neuen Buch Kant Machine) hält mit Kant dagegen: Wer wie Borges' Funes alles speichert, verliert die Fähigkeit zu verallgemeinern; Maschinen können sich keine eigenen Gesetze geben — Urteilskraft lässt sich nicht delegieren, „nicht an Waffensysteme, die Ziele auswählen, und nicht an Chatbots, die uns sagen, was wir hören wollen“. Die Alignment-Debatte stellt für ihn die falsche Frage.Quelle lesen · filosofie.nl
- Randnotiz: Hinton & Ng heute beim Ai4-PanelGeoffrey Hinton steht heute (04.08.) beim Ai4-Keynote-Panel in Las Vegas mit Andrew Ng zu KI-Existenzrisiken auf der Bühne — Nachschau fürs nächste Digest lohnt. Die übrigen 15 Stimmen (Gebru, Bender, Birhane, Buolamwini, Whittaker, Crawford, Hao, Benjamin, Noble, Pasquinelli, Casilli, McQuillan, Zuboff, Sadin, Zweig) waren diese Woche im Original still oder nur mit älteren Positionen präsent.Quelle lesen · techtimes.com
Rundbrief
Weiterlesen? Kostenlos abonnieren.
Der Rest dieser Ausgabe ist für alle, die den Rundbrief abonnieren. Die Anmeldung kostet nichts, und die Ausgabe ist sofort frei.
Schon abonniert? Wir schicken dir einen Link.
Rundbrief
Dein nächster Rundbrief.
KI verstehen. Kostenlos im Postfach.