OpenAI announces three breakthroughs in computer science, math, and physics, including that the Exponential Time Hypothesis, a longstanding conjecture, is false (OpenAI)

Key sources

1. SOURCE@danintheory · Oct 27, 4:36 AM · “three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory” · x.com
2. SUPPORT@danintheory · Oct 27, 4:36 AM · “Surprisingly, our system has recently proved that the ETH is false, a result that was subsequently verified in Lean.” · x.com
3. SUPPORT@andrewcurran_ · Oct 27, 4:46 AM · “Local smoothing and the Kakeya conjecture... The Exponential Time Hypothesis is false... Existence of quantum chromodynamics and completions of the Standard Model” · x.com
4. SUPPORT@andrewcurran_ · Oct 27, 5:06 AM · “Russell Impagliazzo, Mohan Paturi, and I have been asked to help organize an open and independent examination of this claim” · x.com
5. SUPPORT@boazbaraktcs · Oct 27, 4:59 AM · “3SAT in subexponential time (2^{n / log^eps(n)}) is maybe the biggest surprise I have seen during my 20 years followin…” · x.com
6. SUPPORT@matthew_d_green · Oct 27, 5:22 AM · “This new result on ETH is amazing though (if the Lean proof is valid.)” · x.com
7. SUPPORT@hey_madni · Oct 27, 4:49 AM · “In 1999 Impagliazzo and Paturi made a famous hypothesis. Today OpenAI says its system disproved it.” · x.com
8. SUPPORT@hesamation · Oct 27, 5:06 AM · “for physics and cs, they form external research groups. but for MATH, they just release the raw AI output for anyone to study” · x.com