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 →