O professor de matemática da NYU Tristan Buckmaster disse na terça-feira ter encontrado três provas parciais relacionadas ao problema de existência e suavidade de Navier-Stokes, um dos sete Problemas do Milênio do Clay Mathematics Institute, cada um com recompensa de US$ 1 milhão. Ele trabalhou com Levent Alpöge, matemático da Anthropic, usando os modelos Codex e Claude.
A partir daí, a história virou disputa. Buckmaster afirmou que, enquanto eles concluíam os resultados, informações sobre o avanço do grupo chegaram à OpenAI. Segundo ele, quando questionou a empresa, ouviu que ela já tinha chegado a uma prova completa do problema, mas as respostas sobre quando a investigação começou e quanto houve de intervenção humana ficaram vagas.
A OpenAI publicou seu próprio resultado depois, dizendo que a demonstração veio de um modelo de próxima geração ainda não lançado. A empresa afirmou que a tentativa levou uma semana e consumiu 300 bilhões de tokens de saída, ou US$ 22,5 milhões em computação, e confirmou que o trabalho começou em 1º de setembro, após rumores de que dois Problemas do Milênio haviam sido resolvidos.
Buckmaster também estranhou que a OpenAI tenha seguido a mesma linha de ataque, rara entre matemáticos. A empresa, por sua vez, negou ter acessado trabalho específico dos pesquisadores antes da publicação, embora tenha dito que não pode excluir a possibilidade de dados desidentificados de uso de seus produtos terem ajudado a melhorar seus modelos.