AI Matters

Why it matters

OpenAI models solve long-standing, uncracked mathematics problems

The Decoder AI keeps cracking unsolved math problems, and mathematicians have mixed feelings

OpenAI's models successfully refuted the Unit Distance Conjecture and solved other complex math problems, sparking debate among academic mathematicians.

Why it matters

AI is transitioning from summarizing existing human knowledge to actively discovering new scientific and mathematical breakthroughs.