Selon Jin10, OpenAI a déclaré qu’elle publierait ces manuscrits, des certificats de preuve formels Lean et des explications du processus de raisonnement afin que les mathématiciens puissent examiner les résultats et développer davantage les idées de recherche concernées.
Article
OpenAI publiera des manuscrits, des certificats de preuve Lean et des notes sur le processus de raisonnement à l’intention des mathématiciens
--・
Avertissement : ce contenu inclut des opinions de tiers. Il ne constitue pas un conseil. Binance Ai peut être utilisée, sans garantie de résultat. Consultez les CG.