In July 2025, Google DeepMind and OpenAI reported gold-medal scores on the International Mathematical Olympiad using natural language proofs without Lean verification

Bb5a31f81Topic

AI

Artificial intelligence research, products, and impact across society.

13 debates·11,705 claims·218 news stories

0
Bb5a31f81Topic

Science

The systematic study of the natural world through observation, experiment, and theory.

2,055 claims·1 news story

0