tekoäly
Tekoälyn kirjoittama koodi voidaan todistaa oikeaksi – jos sille annetaan oikea tuki
Tekoälyn kirjoittama koodi voidaan todistaa oikeaksi – jos sille annetaan oikea tuki Uudet kokeet osoittavat, että avoimet kielimallit yltävät matemaattisesti todennettuun koodiin, kun ne saavat rakenteen ja palautetta tarkistimelta. Moni ohjelmoija on kokenut saman: tekoälyavustaja sylkäisee nopeasti valmiin näköisen ratkaisun, testit näyttävät vihreää – ja silti ohjelma hajoaa myöhemmin nurinkurisessa tilanteessa. Nopeus