Språkmodellen ger kreativitet åt matematik-AI

Människor kan lösa geometriproblem genom att pröva sig fram med papper och penna. Bild: Josef F. Stuefer, Getty images En maskin för matematikgåtor visar hur framtidens AI kan vara uppbyggd. Traditionella AI-program som löser matematikproblem använder förprogrammerade

Sammanhang: ...På det viset fick den stor erfarenhet av hur bevis i just den här sortens matematik brukar se ut. Det ger Alphageometry en fördel jämfört med hur det har fungerat att lösa geometriproblem med sedvanliga datorprogram för matematik. ...

Omnämnda platser: New York University, USA, Chalmers. Omnämnda personer: Moa Johansson, Google Deepmind, Chat GPT.