*Segundo a empresa, os resultados cobrem temas bem diferentes entre si – de geometria em muitas dimensões e teoria de códigos (jeitos de “empacotar” informação com menos erro) até criptografia pós-quântica e jogos quânticos.
*A OpenAI diz que o custo total para chegar às 10 soluções ficou em torno de US$ 2.000, calculado com base em preços de API da linha Sol.
*A empresa publicou um manuscrito longo (249 páginas) e também certificados de prova em Lean 4, um software usado para checar provas matemáticas passo a passo, como se fosse um “revisor automático” que aceita ou rejeita cada etapa.
*De acordo com a OpenAI, pesquisadores humanos ajudaram a transformar os argumentos gerados pela IA em textos no formato de artigo e a formalizar as provas no Lean, mas o raciocínio matemático de base teria sido produzido pelo sistema.
*Apesar da checagem formal no Lean, os resultados ainda não passaram por revisão por pares (o crivo tradicional de outros especialistas antes de uma publicação científica), segundo relatos reunidos por veículos que cobriram o anúncio.
*O anúncio acontece num momento de atrito entre empresas de IA e parte da comunidade matemática, que cobra padrões mais claros de crédito, verificação e uso de trabalhos publicados.
