16 Claude Opus 4.6 KI‑Agenten arbeiteten parallel und erzeugten in zwei Wochen einen funktionalen C‑Compiler, was bahnbrechende autonome Programmierfähigkeiten demonstriert.
Forscher am MIT CSAIL präsentieren EnCompass, ein bahnbrechendes Framework, das Backtracking und parallele Suche nutzt, um die Zuverlässigkeit und Effizienz von KI‑Agenten deutlich zu verbessern.
Das Google Gemini 2.5 Pro erreicht den Spitzenplatz in der LMArena-Rangliste und übertrifft OpenAI, Claude und DeepSeek in Benchmarks zu Schlussfolgerungen, Mathematik, Naturwissenschaften und Programmierung.
Das KI-Tool von Axiom, AxiomProver, löste erfolgreich vier seit langem bestehende mathematische Probleme in der algebraischen Geometrie und Zahlentheorie und markierte damit einen Durchbruch im KI-Schlussfolgern.
