analiza aiqbench
This article focuses on the competitive dynamics between human researchers and OpenAI regarding the Navier-Stokes existence and smoothness problem, specifically highlighting the use of AI models (Codex and Claude) in mathematical proof discovery. The core narrative examines whether OpenAI leveraged its computational advantage to preempt a breakthrough achieved by an academic team after becoming aware of their progress. This incident raises significant questions about the ethics of compute-intensive AI research in fundamental mathematics and the boundaries of fair competition in scientific discovery.
OpenAI fought dirty on career-making math problem, says NYU mathematician

There is a $1 million bounty for the first person providing a solution to the Navier-Stokes existence and smoothness problem.
NYU mathematics professor Tristan Buckmaster announced three proofs Tuesday with a preliminary finding on one of the major unsolved problems in theoretical mathematics. The findings, made in collaboration with Anthropic mathematician Levent Alpöge and using both Codex and Claude AI models, are significant in themselves — but they’re also accompanied by an unusual controversy surrounding OpenAI’s attempts to solve the same problem. “There is another part of this story,” Buckmaster wrote in his statement announcing the proofs, “and one that, honestly, I very much wish I did…
Extras afișat conform termenilor RSS ai publicației · 87 cuvinte · textul integral și figurile sunt pe site-ul publicației
Subiecte conexe

Tristan Buckmaster Numberphile Interview Transcript
LessWrong · 30 sept. 2026

‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
The Verge · 9 oct. 2026

[AINews] not much happened today
Latent Space · 10 sept. 2026

Frontier post-training recipe review with Finbarr Timbers
Interconnects · 16 iun. 2026