AI knækker 80 år gammelt matematisk problem

Matematikere verden over reagerer med begejstring: En AI-chatbot fra OpenAI har angiveligt løst et geometrisk problem, der har stået uløst i over 80 år – siden 1946.

Et gennembrud for AI-troværdighed

Det særlige ved dette gennembrud er ikke blot det matematiske resultat – det er, hvad det siger om AI's evner inden for præcis, verificerbar videnskab. Matematik er et område, hvor man enten har ret eller forkert, og her holder AI-løsningen.

Eksperter bruger ord som gennembrud og milepæl om resultatet. Matematisk problemløsning kræver logisk stringens og kreativ tænkning på et niveau, mange troede ville være AI-immunt i mange år endnu.

Hvad er det for et problem?

Det geometriske problem daterer sig tilbage til 1946. De præcise tekniske detaljer er komplekse, men pointen er, at det har krævet en kreativ geometrisk tilgang – som nu er fundet af en AI-model.

Hvad betyder det for teknologien?

• Kan AI nu bruges systematisk til at løse åbne matematiske problemer?
• Hvad betyder det for matematikforskning, hvis AI kan generere nye beviser?
• Er vi tæt på AI-systemer, der kan opdage ny matematik – ikke bare bekræfte eksisterende?

Inden for de seneste år har der været berettiget skepsis om AI's pålidelighed. Matematiske løsninger er verificerbare – og det giver dette resultat en særlig tyngde i debatten om kunstig intelligens.