Kooste · viimeiset 24h

1. Kiinalaiset tutkijat saavuttivat läpimurron: avoimen lähdekoodin tekoälyagentti 'Hyra' ratkaisi matematiikan ongelman, joka oli liikaa AlphaEvolvelle, GPT:lle ja Claudelle
   Uusi arXiv-esiselvitys ratkaisee pitkäaikaisen ongelman additiivisessa kombinatoriikassa, ja keskeisen konstruktion ehdotti Hyra, Tencentin avoimen lähdekoodin tekoälyagentti, joka perustuu Hy3-malliin. Huolimatta Google DeepMimin AlphaEvolven, GPT:n ja Clauden yrityksistä, kukaan ei onnistunut, ja Hyran ratkaisu varmennettiin muodollisesti Lean-todistusavustimella. Saavutus on merkkipaalu, sillä se on ensimmäinen merkittävä matematiikan tekoälytulos avoimen lähdekoodin mallilla, ja matemaatikko Thomas Bloom on hyväksynyt tuloksen, jopa listannut 'Hyran' toiseksi kirjoittajaksi.