Der 48-Stunden-Run auf KI: Durchbrüche, Milliardenwetten & kühne Strategien (22.–23. Juli 2025)

KI meistert fortgeschrittene Mathematik: In einem Meilenstein für KI-gestütztes logisches Denken erzielten Modelle von Google und OpenAI Goldmedaillen-Ergebnisse bei der Internationalen Mathematik-Olympiade reuters.com. Es ist das erste Mal, dass KI-Systeme die Spitzenbewertung der Olympiade überschritten haben, wobei jedes 5 von 6 anspruchsvollen Aufgaben mit neuen „allgemeinen Schlussfolgerungsmethoden“ löste, die auf dem Verständnis natürlicher Sprache basieren reuters.com reuters.com. „Ich denke, der Moment, in dem wir schwierige logische Probleme in natürlicher Sprache lösen können, wird das Potenzial für die Zusammenarbeit zwischen KI und Mathematikern ermöglichen“, sagte Professor Junehyuk Jung von der Brown University und deutete an, dass KI bald helfen könnte, ungelöste Forschungsprobleme in der Mathematik anzugehen reuters.com reuters.com. Das Team von OpenAI gab bekannt, dass ihr experimentelles Modell die „Testzeit-Berechnung“ hochskaliert hat, sodass die KI „länger nachdenken“ und parallel arbeiten konnte – ein kostspieliger Aufwand, den das Unternehmen als „sehr teuer“ bezeichnete reuters.com. Google DeepMind, das direkt mit den IMO-Organisatoren zusammenarbeitete, verwendete ein allgemeines Modell Gemini Deep Think, um die Aufgaben vollständig in natürlicher Sprache innerhalb des offiziellen 4,5-Stunden-Limits zu lösen reuters.com. Experten beider Unternehmen sehen dies als einen Durchbruch, der darauf hindeutet, dass die logischen Fähigkeiten der KI bald auf Grenzbereiche der Physik und anderer Wissenschaften ausgeweitet werden könnten reuters.com.

Tech News Deep Dive: July 2025 / Updated: 2025, July 4th, 00:01 CET

Technik-News im Fokus: Juli 2025 / Aktualisiert: 4. Juli 2025, 00:01 Uhr MESZ

Microsoft streicht rund 9.000 Arbeitsplätze, etwa 4 % der weltweiten Belegschaft, und plant im Geschäftsjahr 2025 rund 80 Milliarden USD in KI-Infrastruktur zu investieren; OpenAI-Partnerschaft umfasst einen Oracle-Cloud-Deal über 30 Milliarden USD pro Jahr zur Unterstützung von Project Stargate, einer 500 Milliarden USD umfassenden KI-Infrastruktur. In der Gaming-Sparte führten Entlassungen zu schweren Treffern bei The Initiative und Rare, mit Absagen von Perfect Dark und Everwild sowie dem gestrichenen ZeniMax Online Studios MMO Blackbird. Veteranen wie Gregg Mayles (Rare) und Matt Firor (ZeniMax) verlassen nach jahrzehntelangem Engagement die Unternehmen. Die Xbox-Hardware-Teams blieben weitgehend verschont, wodurch die Pläne für die nächste Konsolengeneration