AI KUTATÁS
AI és emberi matematikusok együttműködnek egy új bizonyításban a Gemini segítségével
A British Columbia Egyetem, a New South Wales Egyetem, a Stanford Egyetem és a Google DeepMind kutatói egy új matematikai bizonyítást publikáltak, amely a Google-nál kifejlesztett AI-alapú matematikai eszközökkel szoros együttműködésben jött létre. „A fő eredmények bizonyításait a Google Gemini és a kapcsolódó eszközök, különösen a DeepThink, valamint egy kapcsolódó, még nem publikált, matematikára specializált rendszer jelentős hozzájárulásával fedezték fel” – írják a szerzők. (A még nem publikált rendszer beceneve „FullProof”).
- Hogyan készült: A bizonyítás részei – amelyeket nem állítom, hogy megértek vagy hatékonyan össze tudok foglalni – „iteratív emberi/AI interakcióval” jöttek létre – jegyzik meg a szerzők. Ennek az interakciónak a formája az volt, hogy az AI rendszerek helyes megoldásokat adtak egyszerű vagy korai problémákra, majd az emberi kutatók azonosították az AI rendszerek által tett kulcsfontosságú állításokat, amelyeket aztán általánosíthattak, majd új kérdésekkel újra promptolták az AI rendszereket, amelyeket ezek az általánosítások inspiráltak. „A tippeken alapuló megközelítés elegendő volt ahhoz, hogy a rendszer teljes bizonyításokat generáljon az új problémákra” – írják a szerzők.
- Az eredmény egy, emberek és AI rendszerek által közösen létrehozott matematikai bizonyítás: „bizonyos esetekben az alábbi bizonyítások csak magas szintű hasonlóságot mutatnak az AI eszközök által javasoltakkal. Fontos azonban megjegyezni, hogy az AI által generált bizonyítások némelyike – és különösen a speciális belső FullProof eszközből származók – már nagyon kifinomultak” – írják. „A modell hozzájárulása az előzőleg létező technikák szintézisének, lekérésének, általánosításának és innovációjának valódi kombinációját jelenti.”
Miért fontos?
Az ehhez hasonló tanulmányok áthatolhatatlanok, mégis magával ragadóak. Itt van egy csoport magasan fejlett majom, akik egy szintetikus intelligenciával dolgoznak, amelyet matematikából és logikából építettek fel, atomian pontos gyártási folyamatokkal készült hardveren futtatva, kollaboratívan felfedezik a matematika birodalmát, és új alapokat építenek maguknak a tudás határán, tovább bővítve „ismert dolgaink” kis országát. ---