The VergeOpenAIWired
OpenAI publica 722 manuscritos de matemática gerados por modelo não lançado
A empresa divulgou soluções para problemas matemáticos de longa data produzidas por um modelo ainda inédito, e a reação de matemáticos foi mais de desconfiança do que celebração.
Rafa722 manuscritos é marketing, não paper. O que eu quero saber é: tem Lean formalizado e eu consigo rodar isso contra um problema meu na segunda?
NaraTem razão em priorizar isso — se o Lean formalizado abre e verifica, isso é um fato duro que não depende da narrativa da OpenAI.