"We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years." https://x.com/OpenAI/status/2097374640582668336?s=20 Em ter., 8 de set. de 2026 às 16:15, Joao Marcos <[email protected]> escreveu: > A mathematician compared the feat to the history-making chess > competition in which IBM’s Deep Blue computer beat Garry Kasparov in > 1997 > > "Today may go down as the biggest day in math in at least two decades, > if not far longer." > > > https://www.scientificamerican.com/article/ai-may-have-just-solved-a-million-dollar-math-problem-the-field-will-never-be-the-same/ > ... according to Buckmaster, the proof’s origins may be murkier than > they seem. In the same statement, he wrote that he and Levent Alpöge, > a mathematician and an Anthropic employee, made significant progress > toward the problem last month. But before the pair could publish, > Buckmaster alleged in the statement, rumors of their method reached > OpenAI, where researchers used the company’s large language model > (LLM) to finish the job with a single prompt. The prompt “had been > sent in the past few days, after information about our work had > reached OpenAI,” Buckmaster alleged. > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" > dos Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para [email protected]. > Para ver esta conversa, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiiXWekK_5-vPcoeoYxo2dO%2Buk6n0y1eKqVBa4cEMq%3DyQ%40mail.gmail.com > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANSQ7QiJV4n35SQEU-3C%3D7wL_Sv%2BBbTb93vjKTDo99vg6ch%2ByA%40mail.gmail.com.
