(Upside of the story is Captain Janeway's trusted crew works together to formulate a trick up their sleeve precisely in case of predicted contingency...)
> We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory.
1. Local smoothing and the Kakeya conjecture
2. The Exponential Time Hypothesis is false
3. Existence of quantum chromodynamics and completions of the Standard Model
I looked over the announcement for any substantial contribution, and found they're donating $5 million to a research foundation.
$5 million might sustain 5-10 PhD students for 5 years.
Maybe it's just me but I think they should contribute more in exchange for forcing the scientific community into paying for tokens to generate slop and then pouring their time into verifying or falsifying the slop.
rbranson•49m ago
> The Exponential Time Hypothesis is false
krackers•38m ago
>We give a deterministic algorithm for exactly counting the satisfying assignments of an arbitrary k-CNF formula [in superpolynomial but subexponential time]
JonChesterfield•36m ago
JonChesterfield•31m ago
mattr03•7m ago
looks like the real proof is in this file
JonChesterfield•6m ago
sebzim4500•4m ago
Proof is at https://github.com/openai/math/tree/main/lean/OAI/Algorithms...
Sniffnoy•33m ago
yu3zhou4•16m ago
pavitheran•12m ago
levocardia•12m ago
>Our models produced a natural language proof for Yang–Mills existence on September 9th, 2026
And presumably they are just missing the "mass gap" part of it.
Very clearly these were the results of taking big swings at all millenium prize problems.