menu_open Columnists
Kurusch Ebrahimi-Fard

Kurusch Ebrahimi-Fard

Aftenposten

We use cookies to provide some features and experiences in QOSHE

More information  .  Close

KI kan nå lage matematiske bevis. Men hvem skal kontrollere dem?

KI har gått fra ord til bevis. Hva betyr det for oss? Kurusch Ebrahimi-FardProfessor ved NTNU Cordian RienerProfessor ved UiT Alexander...

27.08.2026 10

Aftenposten

Kurusch Ebrahimi-Fard

KI kan nå lage matematiske bevis. Men hvem skal kontrollere dem?

KI har gått fra ord til bevis. Hva betyr det for oss? Kurusch Ebrahimi-FardProfessor ved NTNU Cordian RienerProfessor ved UiT Alexander...

12.08.2026 20

Aftenposten

Kurusch Ebrahimi-Fard