OpenAI publica 372 provas matemáticas geradas por IA no GitHub
decoder ·
A OpenAI publicou 372 resultados matemáticos gerados por um modelo de IA interno no GitHub, com o objetivo de resolver ou avançar em problemas em aberto, como os relacionados à hipótese de Riemann. Essas provas foram produzidas principalmente usando um único prompt e agente, consumindo aproximadamente três horas de computação do ChatGPT Pro para cada resultado. Para lidar com o volume esmagador de saída, que poderia sobrecarregar os processos de revisão manual, muitas das provas incluem formalizações em Lean para verificação verificável por máquina. A empresa escolheu o GitHub em vez de revistas tradicionais revisadas por pares, sinalizando que a publicação acadêmica convencional é lenta demais para esse ritmo de descoberta. Embora a OpenAI tenha consultado um grupo assessor incluindo laureados com a Medalha Fields, os matemáticos não tiveram voz na velocidade ou na quantidade de produção dos resultados. As reações dentro da comunidade matemática são divididas, variando da empolgação à frustração quanto às implicações das provas produzidas em massa. Críticos, incluindo 25 vencedores da Medalha Fields, alertam que o foco em saídas de resolução de problemas pode minar a compreensão conceitual e a percepção genuína. Consequentemente, há preocupações de que a rápida expansão da literatura gerada por IA possa eventualmente superar a capacidade de compreensão humana.
decoder