An OpenAI model solved a famous math problem that stumped humans for 80 years

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...
Communications of the ACM

I Spent a Year Asking AI to Solve Math’s Hardest Problem. Here’s What Happened

P vs. NP asks: are these two classes actually the same? If P = NP, then every “hard” problem is secretly fast to solve; we ...
Nature

Evaluating the Real-World Clinical Performance of AI

As artificial intelligence (AI) continues to transform healthcare, its shift from controlled research environments to real-world clinical settings presents both immense promise and critical challenges ...

An OpenAI Model ‘Disproved’ a Famous Math Conjecture. This Mathematician Couldn’t Leave It Alone

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...

Modeling life beneath our feet: A step towards realistic soil ecology at the landscape scale

As soil health becomes a defining goal of the EU Soil Strategy for 2030, researchers at Aarhus University are rethinking how ...