Gemini 3.7 löst komplexe Mathematik- & Ingenieurprobleme

Google hat mit Antigravity ein Update seines Teamwork-Frameworks vorgestellt, das autonome KI-Agententeams zur Zusammenarbeit, kritischen Prüfung und iterativen Bearbeitung komplexer, langfristiger Herausforderungen ermöglicht. Die Kombination dieses Multi-Agenten-Orchestrierungsansatzes mit dem Gemini-3.7-Flash-Modell hat die Problemlösung in Forschung und Ingenieurwesen erheblich beschleunigt. Im Bereich der Mathematik und theoretischen Informatik wurden sieben bisher ungelöste Probleme an Top-Konferenzen wie FOCS und JMLR gelöst. Dazu zählt unter anderem die Verifikation der Knuth-Cycles-Vermutung mit Lean-basierten Beweisen von über vierzig Seiten. Weitere behandelte Themen umfassen die spärliche konvexe Optimierung, die quantifizierbare Quantisierung von Sprachmodellen sowie Präfix-Matrixfaktorisierungen. Auf der TCSBench erreichte das System eine Genauigkeit von 71 Prozent. Auf ingenieurtechnischer Ebene entstand ein vom Nullpunkt entwickelter, zyklengenaues Out-of-Order-Simulator für RISC-V-Prozessoren. Der Simulator bootet das Betriebssystem xv6 bis zur interaktiven Shell und weicht mit einer Abweichung von nur 0,71 Prozent bei der Zyklusgenauigkeit nur minimal von der Hardware-Baseline ab. Zudem fanden Leistungsoptimierungen der KI-Systeme Eingang in die Mainlines etablierter Open-Source-Bibliotheken. Für die Numerik-Bibliothek Eigen wurden SIMD-Optimierungswege implementiert, während die Hash-Bibliothek ParlayHash eine Verdopplung der Einfügungsdurchsatzrate und eine Reduktion des Speicherverbrauchs um 25 Prozent verzeichnet. Die Ergebnisse unterstreichen das Potenzial integrierter Multi-Agenten-Architekturen in Kombination mit hochleistungsfähigen Sprachmodellen für anspruchsvolle wissenschaftliche und technische Aufgaben. Detaillierte technische Berichte sind auf dem offiziellen Antigravity-Blog verfügbar.