AI Just Proved a Major Math Mystery

A team from Axiom Math used their AI to verify a difficult math problem. They focused on prime numbers and the gaps between them. Their tool checked a theorem showing how often these primes appear.

The AI proved that there are infinite pairs of primes separated by 246 or less. This is the best result humans have found so far. It shows that computers can now handle deep mathematical logic.

Over 40 researchers worked on this project to ensure the math was correct. The result is now stored in a digital format for others to study. This marks a big step forward for AI in the field of science.