Something bad for the (existing) class of mathematicians as they lose their privilege, but not necessarily bad for mathematics & our body of knowledge?
10,000 OPENAI AGENTS SOLVED A $1 MILLION PROBLEM IN 88 HOURS
For nearly 90 years, mathematicians could not determine whether the Navier-Stokes equations can break down while describing fluid motion.
-> Now OpenAI says it has found the answer.
The company deployed around 10,000 agents powered by an internal model significantly more capable than GPT-6 Astra.
They worked in parallel, exchanged 2.7 million messages and generated roughly 130 billion output tokens.
The digital team produced a proof in 88 hours.
The system showed that an initially motionless fluid can develop a singularity under certain conditions. Its velocity grows without bound within a finite amount of time.
GPT-6 Astra then spent another 17 hours formalizing and verifying the result in Lean.
The computation cost millions of dollars, but the company does not plan to claim the prize.
The proof must also survive independent scrutiny from mathematicians.
OpenAI just demonstrated a new model for scientific discovery.
A single AI is no longer trying to replace one scientist.
Thousands of agents can now form a digital research lab and compress decades of human work into days ↓
Announced by the ERC today (really bad news for science!!! It starts in Europe but will affect everybody) Because the REVIEWING LOAD is so bad, if your application fails you may need to wait mulitple years (>3?!?) until you can submit again!
The ERC is the lifeline of the leading labs in Europe, so many research programs will be terminated (just no other sources to compensate).
The letter from the ERC says “the only way is to reduce applications” (highlighted in the picture below) No!!!
It's the wrong direction. Use AI to assist review. It’s not perfect (yet), but it allows more proposals to be evaluated, and it could support, not replace, human reviewers.
It was somewhat surprising that this was being sold in a nearby bookstore. It is somewhat ironic too, considering the fact that the author of this manifesto was against Capitalism.
Graduate students increasingly use artificial-intelligence tools to draft, code and search — but many fear it could erode the very skills a doctorate is meant to build
https://t.co/VhWQavdI7h