🧮 AI löser matematikproblem som forskare misslyckats med i sex år

Dela artikeln Ett AI-system har för första gången löst ett problem ur FrontierMath: Open Problems, ett test bestående av riktiga forskningsproblem som matematiker inte lyckats lösa. Problemet kom från matematikern Will Brian och hade stått olöst sedan 2019

Sammanhang: ...Det är en förmodan från en artikel han skrev tillsammans med Paul Larson år 2019. Varken Brian, Larson eller andra lyckades lösa det vid den tidpunkten, och flera försök under åren sedan dess gav heller inget resultat. ...

Omnämnda personer: Claude Opus, Paul Larson, Kevin Barreto.