Människa och AI löser 90-årigt matematikproblem tillsammans

arXiv cs.AI

Forskare har använt en AI-agent i en iterativ loop med mänsklig expertis för att knäcka ett långvarigt problem inom talteorin – Lehmers problem från 1933 – som handlar om hur nära polynomers rötter kan ligga enhetscirkeln (ett mått på polynomets 'storlek'). Tidigare metoder misslyckades med nästan hälften av alla grader över 180, men den nya femparametriga konstruktionen fungerar för alla jämna grader upp till 2000 och slår sex tidigare publicerade rekord. Det som är intressant här är inte att AI löste problemet ensamt – utan att den fungerade som en snabb prototyp- och sökmaskin medan människan drog de matematiska slutsatserna.