Ett matematiskt problem som inte kan lösas.

Du kanske har hört uttrycket "vad som inte har någon lösning är löst". Konceptet kan gälla många saker i livet, men det är inte den typ av fras som kommer att tänka på när vi tänker på exakta vetenskaper som matematik, eller hur? Det visar sig att kanadensiska teoretiker har stoppat som inte ens den modernaste konstgjorda intelligensen kan lösa.

I själva verket hade Kurt Gödel och Paul Cohen redan bevisat 1931 att inte alla matematiska problem är lösbara. Inte för att de är oerhört svåra, utan för att de verkligen inte har något svar.

Principen gäller för konstgjord intelligens, inklusive de som är relaterade till maskininlärning (till exempel när Facebook eller Google känner igen människor på dina bilder). Detta beror på att AI är baserat på matematik, så det kan studeras teoretiskt - men det följer också dess regler.

Den nämnda forskningen visade att ett problem som kallas ”uppskatta det maximala” har likheter med ”kontinuitetshypotesen”, som fortfarande är olöst. Frågan innebär en uppskattning relaterad till antalet potentiella besökare på webbplatser och maximerar annonsvisningen till dem.

Även om idén om "olöst" verkar lite extrem, varnar forskarna att svaret på "kontinuitetshypotesen" inte är relevant för många matematiska problem. Därför bör hela situationen inte skapa stora problem för maskinlärande att fortsätta utvecklas under åren.