Gil Kalai on the new AI proof of the Erdős unit distance problem

reactive:openai-erdos-math-breakthrough

(No summary yet for this item — extraction summaries are still backfilling.)

Appears in