Eighty Years Dead

OpenAI's internal model autonomously solves the Erdős Unit Distance Conjecture — an 80-year-old geometry problem — with a 125-page proof. Fields medalist Tim Gowers calls it 'a milestone in AI mathematics.' Tech Beat Daily Episode 4 turns the moment into a UK Drill MV.

Tech Beat Daily@tianchong sun

Subscribe