OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems, showing how verified AI can cut ...
OpenAI’s unreleased Astra model solved ten decade-old open problems in math and theoretical computer science, posting Lean 4 ...
OpenAI announced its next major AI model Saturday, and it did so in the third paragraph of a blog post called “Ten advances ...
Sebastien Bubeck of OpenAI says “yes, nonsofic groups exist”—as an example of “many new beautiful results” from Astra, next major OpenAI model. OpenAI published a page and PDF detailing ten advances ...
After a major push across the United States to overhaul how schools teach reading, many states have expanded their focus to ...
The Jacobian conjecture is a long-standing open problem in algebraic geometry that's bedeviled highly accomplished mathematicians for almost 90 years. It was included in "Smale's problems," a list of ...
The reason Achilles cannot catch up to the tortoise is likely because logic (space) infinitely divides (samples)movement into "1/2, 1/4, 1/8...". In reality, Achilles overtakes the tortoise in a ...
Two strangers exchange numbers openly, yet arrive at the same secret no eavesdropper can reconstruct. The elegant asymmetry of modular exponentiation turns a simple arithmetic quirk into the ...
Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics. Reading time 10 minutes Will ...
OpenAI announced on May 20, 2026, that an internal general-purpose reasoning model had produced a counterexample to Paul Erdős's 1946 unit distance conjecture — a result in discrete geometry that had ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results