Sharing AI progress in mathematics

Key points

• I was a graph theory junkie long ago and even moved to Budapest for awhile to study among the greats.2
• While I was there I started working on Barnette's Conjecture which came to occupy my thoughts over the next 24 years of my life, on and off as I worked in many different fields.2
• But it's supposedly proven here - problem 180.2
• Hearing that it is solved somehow makes me sad in a far-off way, like hearing an ex-girlfriend died suddenly in a car crash.2

Sources (3)

• [1]Sharing AI progress in mathematics
  OpenAI News · Oct 6, 12:00 PM

  OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.

• [2]Quoting Jake Boggan
  Simon Willison's Weblog · Oct 7, 04:47 AM

  I was a graph theory junkie long ago and even moved to Budapest for awhile to study among the greats.

  While I was there I started working on Barnette's Conjecture which came to occupy my thoughts over the next 24 years of my life, on and off as I worked in many different fields.

• [3]Sharing AI progress in mathematics
  Hacker News (AI, 100+ points) · Oct 6, 10:17 PM · same content

Extractive summary: sentences quoted from the sources.