Googlen DeepMindin tekoälyjärjestelmät voivat nyt ratkoa monimutkaisia matemaattisia ongelmia

1. Google DeepMind on kehittänyt kaksi tekoälyjärjestelmää, AlphaProofin ja AlphaGeometry 2:n, jotka voivat ratkoa monimutkaisia matemaattisia ongelmia edistynevää päättelyä käyttäen. 2. Nämä järjestelmät toimivat yhteistyössä ja ratkoivat kuudesta kansainvälisen matematiikkaolympialaisen (IMO) ongelman neljä, ansaiten hopeamitalin. 3. Tämä on ensimmäinen kerta, kun mikään tekoälyjärjestelmä on saavuttanut tämänlainen menestysasteen näiden tyyppisten ongelmien ratkaisemisessa. 4. Matemaattiset ongelmat, jotka vaativat edistynevää päättelyä, ovat tekoälyjärjestelmille vaikeita, koska ne edellyttävät abstraktioiden muodostamista, monimutkaista hierarkkisia suunnitelmia ja alatavoitteiden asettamista. 5. AlphaProof on vahvistusoppimiseen perustuva järjestelmä, joka kouluttaa itsensä todistamaan matemaattisia väitteitä formaalissa ohjelmointikielessä Leanissa. 6. Gemini AI on hienosäädetty automaattisesti kääntämään matemaattiset ongelmat luonnollisesta kielestä formaaleiksi lauseiksi, luoden suuren formaalisten matemaattisten ongelmien kirjaston. 7. Tämä automaatio on suuri edistysaskel matemaatikkojen yhteisölle, mikä mahdollistaa suuremman varmuuden julkaisemissa tuloksissa ja yhteistyötä. 8. AlphaGeometry 2 on optimoitu ratkomaan geometriaongelmia ja koulutettiin merkittävästi enemmän synteettistä dataa kuin sen edeltäjä. 9. Kaksi arvostettua matemaatikkoa tarkastivat järjestelmien esittämät ratkaisut ja päättivät niiden ansaitsevan yhteensä 28 pistettä maksimissa 42 pisteestä, mikä olisi ansainnut ihmiselle hopeamitalin. 10. Luomalla tekoälyjärjestelmiä, jotka voivat ratkoa haastavampia matemaattisia ongelmia, voimme avata tien innostaviin ihmisten ja tekoälyn yhteistyöhön ja oppia enemmän siitä, kuinka ihmiset käsittelevät matematiikkaa.