OpenAI sagt, seine Modelle hätten dabei geholfen, zehn neue Ergebnisse in Mathematik und theoretischer Informatik zu erzielen, was auf einen ernsthafteren Vorstoß in Richtung Forschung auf KI-Niveau hindeutet.

OpenAI sagt, dass es 100.000 akademischen Forschern kostenlosen ChatGPT-Zugang gewährt und damit fortschrittliche Modelle in wissenschaftliche Arbeitsabläufe und Labore bringt.

Das offene Modell Soofi S aus Deutschland beansprucht Spitzenwerte bei vollständig offenen Englisch- und Deutsch-Benchmarks, während seine Entwickler zudem einen Leck in Testdaten offengelegt und korrigiert haben.

Mistral AI hat Leanstral 1.5 vorgestellt, ein Lean-4-Code-Agent-Modell unter Apache 2.0, das Berichten zufolge 587 von 672 PutnamBench-Problemen löst.

Wissenschaftler erzielen mithilfe von OpenAIs ChatGPT-5 Pro neuartige mathematische Beweise und Entdeckungen von Schwarzen Löchern, was trotz anhaltender Einschränkungen einen Paradigmenwechsel in der KI-unterstützten Forschung signalisiert.