OpenAI divulga de uma vez 377 resultados matemáticos de IA: uma quase hipótese de Riemann e o expoente da multiplicação de matrizes reduzido a 2,25

## OpenAI divulga de uma vez 377 resultados matemáticos de IA A OpenAI divulgou uma coleção de resultados matemáticos gerados por um modelo de fronteira interno: 722 manuscritos e 372 «famílias de resultados» que abrangem teoria dos números, álgebra, topologia, lógica e ciência da computação teórica. Segundo relatos, o modelo enfrentou cerca de 4.000 problemas matemáticos em aberto, e os resultados que sobreviveram foram compilados e publicados. **Pontos principais** - **Uma quase hipótese de Riemann**: prova que a função zeta de Riemann e as funções L relacionadas não têm zeros na região Re(s)>7/8. A hipótese de Riemann afirma o mesmo para Re(s)>1/2. As regiões livres de zeros conhecidas até então se estreitavam à medida que se sobe pelo eixo imaginário; desta vez obteve-se uma faixa livre de zeros de largura constante. - **Expoente da multiplicação de matrizes cai para 2,25**: o recorde mundial anterior era de cerca de 2,37. O matemático de Cornell Strogatz disse que o salto foi «como o salto em distância de Bob Beamon». - **Verificação formal em Lean**: muitas provas foram formalizadas no assistente de provas Lean, de modo que uma máquina pode conferi-las linha por linha; mas nem todas foram formalizadas, e resultados não formalizados podem conter erros. - **Reação polarizada na academia**: matemáticos ficaram atônitos com o fato de que «qualquer um deles valeria uma medalha Fields», enquanto outros questionaram: uma taxa de verificação em Lean de cerca de metade significa que a outra metade ainda exige um «confie em mim». > Link original: [leia o original](https://helloentrepreneurs.com/technology/openai-publishes-hundreds-of-ai-generated-math-results-including-claimed-advance-on-riemann-zeta-function-100727/). O texto é um resumo, apenas para referência.