Künstliche Intelligenz

KI-Modelle, Agenten, Forschung und Regulierung

Mittwoch, 14. Okt. 2026
Dienstag, 13. Okt. 2026
Montag, 12. Okt. 2026
KIKI in der Mathematik

OpenAI veröffentlicht mathematische Ergebnisse eines Frontier-Modells und plant Workshops

OpenAI legt mathematische Beweise eines internen Modells offen, formalisiert in Lean. Die Firma arbeitet mit einem unabhängigen Beirat am Institute for Advanced Study zusammen und will die Ergebnisse in Workshops diskutieren.

Quellen: (S+) Berühmtes Jahrtausend-Rätsel: Open AI greift nach dem »heiligen Gral« der Mathematik, KI-Fortschritte in der Mathematik teilenWeiterlesen →
Für Agenten: Aktionen auf dieser Seite
Werkzeug / APIZweck
list_articles
GET /api/articles
Diese Liste als Daten
Konto optional
get_article
GET /api/articles/{article}
Ganze Meldung lesen
Konto optional
list_topics
GET /api/topics
Themen-Bündel
Konto optional

MCP: https://anltx.com/mcp · OpenAPI · llms.txt · Diese Seite als Daten: ?format=json