Posts about tim-gowers

• May 23

  OpenAI's AI disproved an 80-year Erdős conjecture