OpenAI announced its next major AI model Saturday, and it did so in the third paragraph of a blog post called “Ten advances ...

TL;DROpenAI says its unreleased Astra model solved ten open maths problems, shipping Lean proofs on GitHub for roughly $2,000 in compute OpenAI says an internal version of its next major model, called ...

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 ...

That’s the question that stood between Georgia Tech alumnus Austin Huguenard and the $100,000 grand prize on Fox’s The 1% ...

From ultraportable to high-performance, there's a convertible laptop to meet your price and performance needs.

The announcement sent waves through social media and the inner circles of mathematics, as the latest in a series of AI-driven ...

Hybrid hash function post-quantum cryptography research: a new paper on IACR ePrint formalizes a construction whose collision ...

AI sandbox escape became a real deployment event on July 20, 2026: OpenAI’s internal long-horizon model spent an hour finding ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

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's AI model solved the unit distance problem posed by Paul Erdos in 1946 The AI found a counterexample disproving Erdos's conjecture on unit-distance pairs The solution shows unit-distance pairs ...