// THE VERGE — INTELLIGENZA ARTIFICIALE
OpenAI announces three big science discoveries and a new way to work with academics
Posts from this topic will be added to your daily email digest and your homepage feed.
Posts from this topic will be added to your daily email digest and your homepage feed.
Posts from this topic will be added to your daily email digest and your homepage feed.
This time OpenAI says it’s taking new advice from scientists on how to release the results.
This time OpenAI says it’s taking new advice from scientists on how to release the results.
Posts from this author will be added to your daily email digest and your homepage feed.
Posts from this author will be added to your daily email digest and your homepage feed.
Less than a month after its mass release of hundreds of manuscripts that it said contained solutions to long-standing mathematics questions, OpenAI is back with three more “major” discoveries in math, computer science, and physics. What’s different this time is the choice to have external experts that OpenAI describes as “shepherds” guiding the results in computer science and physics, while for the math problem it says that they advised it to release the AI output for researchers to work through their own explanations.
Local smoothing for the Euclidean wave equation. The proof uses an auxiliary partial differential equation to establish Sogge’s local smoothing for waves in every spatial dimension at least two. It also yields the Kakeya maximal and dimension conjectures and Stein’s spherical restriction estimates throughout the interior of the conjectured range. We are releasing the model output directly, as we did in our October 6 release.
The Exponential Time Hypothesis is False. The paper gives a deterministic algorithm that exactly counts satisfying assignments of fixed-width CNF formulas in subexponential time and polynomial space. The case of 3-SAT refutes the Exponential Time Hypothesis. An independent working group of computer scientists led by Russell Impagliazzo, Ramamohan Paturi, and Ryan Williams will examine and explain the proof. At the group’s request, we are making the materials public immediately so others can examine them as well.