Erfaringer med å bruke KI-programvare for å bevise Euler-sumresultater

Et fagnotat som beskriver bruk av KI-verktøy som chatbots til å bevise matematiske resultater knyttet til Euler-summer.

Kilde: https://www.davidhbailey.com/dhbpapers/Chatbots.pdf