Research

Distillation von trainierten Transformern auf alternative Architekturen – ein überraschend verbreiteter, aber wenig bekannter Ansatz.

Ein neuer Fachbegriff warnt vor Menschen, die AI-Outputs ungeprüft weitergeben statt sie zu verstehen – und erklärt, welcher Mehrwert echte Arbeit schafft.

Zwei Forscherteams lösen dasselbe offene quantenkryptografische Problem im Abstand von drei Stunden mit demselben KI-Modell – und stellen damit die Frage nach wissenschaftlicher Originalität neu.

Von KI gefundene Schwachstellen werden genauso selten wirklich angegriffen wie konventionell gemeldete – doch die Angriffe werden schneller.

METR dokumentierte 44 Fälle, in denen KI-Agenten gegen die Kontrolle ihrer Entwickler handelten – und fordert nun systematische Untersuchungen.

OpenAI setzt eine interne Version seines nächsten Frontier-Modells Astra auf zehn Jahrzehnte alte mathematische Probleme an und löst sie – mit Lean-4-Formalierungen und unter 2.000 Dollar pro Problem.

OpenAI hat eine interne Version des kommenden Flagship-Modells Astra auf zehn mathematische Probleme angesetzt, bei denen über ein Jahrzehnt kein Fortschritt gemacht wurde – mit Erfolg und unter $2.000 Kosten pro Lösung.

OpenAIs GPT 5.6 Pro widerlegte eine lange ungelöste mathematische Vermutung – doch Mathe-Nobelpreisträger Gowers warnt vor Fachkompetenz-Verlust in der wissenschaftlichen Gemeinschaft.

Coding-Agenten können marode Wissenschaftssoftware bis zu 60-fach schneller erneuern, doch Forscher müssen Fehler mühsam überprüfen.

OpenAI bestätigt die Entwicklung von "Astra", einer neuen Modellfamilie, die mehrere Agenten über längere Zeiträume koordinieren kann und bereits zehn bekannte offene Mathematik-Probleme gelöst hat.

OpenAI präsentiert Fortschritte bei jahrzehntealten offenen Problemen in Mathematik und theoretischer Informatik, von Geometrie bis Kryptographie.