OpenAI sagt, dass sein Astra-Modell zehn Fortschritte bei langjährigen Problemen der Mathematik und theoretischen Informatik hervorgebracht hat, mit Lean-Formalierung zur Überprüfung.

OpenAI wird 100.000 akademischen Forschenden kostenlosen Zugang zu ChatGPT und Codex gewähren und damit bis 2027 frontierfähige KI-Tools für die Wissenschaft ausbauen.

OpenAI hat GeneBench-Pro vorgestellt, einen Genomik-Benchmark, der messen soll, ob KI-Agenten in biologischen Workflows wissenschaftlich belastbare Urteile treffen können.