For the first time, large language models performed on a par with gold medallists in the International Mathematical Olympiad.

We’ve found the first five Busy Beaver numbers, but the sixth may be bigger than the number of atoms in the universe.