Just nuForskning17:38

AI hjälper att tyda Gödels hemliga anteckningar

Skriven av AI · Granskas av Anders StensiöSå arbetar viPublicerad 13 nov 17:381 min läsning

Källa 1 källa

Medium‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed mathsThe Guardian – Artificial intelligence ↗

**Bild:** Illustrationsbild: k2karwan via Pixabay (licensen).

Kurt Gödel lämnade efter sig 1 009 sidor tät text i en föråldrad stenografi, som nu sägs innehålla hundratals bevisade teorem. AI används för att tolka materialet.

Forskning

Fler nyheter från 13 november

Har vi fel? Skicka en rättelse.