Gerd Faltings shocked mathematicians around the world for his 1983 proof of the Mordell conjecture, which brought together ...

Recently, I’ve spent a lot of time using AI to work on Erdős problems. The work itself is technical, but the lesson it ...

For 20 years, this computational linguistics competition has inspired new generations of innovators in AI and language ...

Peter Badge. Mathematics often feels like a collection of isolated islands. Each one operates with its own rules, and building bridges between them is notoriously difficult. Today, the Norwegian ...

While beating an AI at a board game may seem relatively trivial, it can help us identify failure modes of the AI, or ways in which we can improve their training to avoid having them develop these ...

In AI translation, reasoning-enabled models are also performing well. At the WMT25 General Machine Translation Shared Task — ...

After years of creating highly specialized software, researchers used supercomputer clusters to finally solve the "100,000-body problem.