Akademische KI

Das Clay Mathematics Institute prüft eine von KI generierte Navier–Stokes-Lösung von OpenAI und setzt damit einen Anspruch auf den 1-Million-Dollar-Mathematikpreis vorerst aus.

Inherent sagt, sein Faraday-KI-Agent habe größere Systeme von Anthropic und OpenAI bei der Replikation von Paper-Ergebnissen geschlagen und damit kleinere Modelle sowie forschungsorientierte Agenten hervorgehoben.

Anthropic versieht Claudes Texte mit Wasserzeichen, um die Transparenzregeln der EU zu erfüllen, und entfacht damit Debatten über KI-Erkennung, Nutzung am Arbeitsplatz, akademische Integrität und Datenschutz.

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.