
OpenAI:n matematiikkaväitteet paljastavat AI:n verifioinnin pullonkaulan
Raportit OpenAI:n malleista, jotka ratkaisevat merkittäviä matematiikan ongelmia, osoittavat syvempään ongelmaan: todistusten tuottaminen halpenee, mutta verifiointi, attribuutio ja julkaiseminen etenevät yhä ihmisten tahdissa.













