#lean

OpenAI zveřejnil 719 matematických prací od AI. Průlom ve vědecké práci s AI?

OpenAI zveřejnil 719 rukopisů k 372 otevřeným matematickým problémům, které napsal jeho interní model. Formálně ověřených je zhruba 42 procent hlavních výsledků. Část oboru mluví o historickém okamžiku, část vyzývá ke konci spolupráce s firmou.