🧮 AI löste matematikproblem som varit olöst i 80 år

Dela artikeln OpenAI:s AI-modell löste det så kallade enhetsavståndsproblemet helt på egen hand, utan hjälp från människor. Problemet formulerades av matematikern Paul Erdős för omkring 80 år sedan och har varit olöst sedan dess. Flera framstående matematiker,

Sammanhang: ...Teamet letade efter fel, lät utomstående kontrollera arbetet och verifierade lösningen med företagets AI-kodningsverktyg. Will Sawin, professor i matematik vid Princeton, har i en efterföljande förfining visat hur stor förbättringen är i mätbara termer. ...

Omnämnda platser: Columbia. Omnämnda personer: Thomas Bloom, Will Sawin, Paul Erdős.