The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got ...

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians ...

Can AI agents help predict the winner of the 2026 World Cup? We put seven of the world's best models to the test.

A new benchmark pitting AI against previously unseen maths problems shows systems still fall short of top human expertise.

Beneath the familiar red-blue partisan divide is a much more nuanced picture: Many Americans hold a complex mix of values and beliefs that don’t always fit neatly into either major party. Fresh data ...