2 stories tagged #Tim Gowers

  1. OpenAI Model Cracks 80-Year-Old Mathematics Problem
    tech

    OpenAI Model Cracks 80-Year-Old Mathematics Problem

    An OpenAI reasoning model solved the planar unit distance problem, refuting a 1946 Erdős conjecture with a 125-page proof.

    last wk. 1 min read
  2. OpenAI's Reasoning Model Cracks Erdős' 80-Year Math Problem
    tech

    OpenAI's Reasoning Model Cracks Erdős' 80-Year Math Problem

    An OpenAI reasoning model disproves the planar unit distance conjecture posed by Paul Erdős in 1946, a feat verified by Fields Medalist Tim Gowers.

    last wk. 1 min read