09:06?
OpenAI veröffentlicht 722 Mathe-Manuskripte mit in Lean prüfbaren Beweisen
Ein internes Modell soll offene Probleme gelöst haben, und die Beweise lassen sich maschinell nachprüfen statt nur glauben.
OpenAI hat 722 Manuskripte veröffentlicht, in denen ein internes Modell offene Mathematikprobleme löst; die Beweise sind in Lean prüfbar.
AIArtikelDERadar 10Radar