Kiinalaiset tutkijat saavuttivat läpimurron: avoimen lähdekoodin tekoälyagentti 'Hyra' ratkaisi matematiikan ongelman, joka oli liikaa AlphaEvolvelle, GPT:lle ja Claudelle

arXiv-palvelimessa julkaistu uusi preprint otsikolla 'Settling the Optimal Exponent Relating Sumsets and Difference Sets' (Summajoukkojen ja erotusjoukkojen välistä optimaalista eksponenttia koskevan kysymyksen ratkaisu) tekijöinä Haowei Lin (Tencent Hunyuan) ja Shanda Li (Carnegie Mellon University) ratkaisee additiivisen kombinatoriikan keskeisen kysymyksen, joka oli antanut runsaasti päänvaivaa johtaville tekoälyjärjestelmille, kuten Google DeepMindin AlphaEvolvelle, GPT:lle ja Claudelle. Ongelma koskee summa- ja erotusjoukkojen kasvun suhteen rajaamista, ja aiemmat tekoälypohjaiset tulokset pääsivät vain noin 1,14:n eksponenttiin, mutta nyt todistetaan, että todellinen yläraja on täsmälleen 2. Läpimurto tapahtui, kun tutkijat antoivat Hyra-nimisen tekoälyagentin ehdottaa konstruktioita ja todistusluonnoksia luonnollisella kielellä pelkkien eksplisiittisten listojen sijaan, mikä johti uudenlaiseen konstruktioon, joka myöhemmin varmennettiin manuaalisesti ja Lean 4 -muodollisella todistuksella. Hyra, Tencentin avoimen lähdekoodin tutkimusagentti, joka perustuu Hy3-malliin (295B MoE -malli, julkaistu Apache 2.0 -lisenssillä), työskenteli noin vuorokauden, ja GPT-5.6 Sol toimi tuomarina ohjaten hakua, mutta lopullinen konstruktio tarkistettiin itsenäisesti ihmisten toimesta. Matemaatikko Thomas Bloom, joka tunnetaan tekoälyväitteiden tarkasta arvioinnista, varmisti tuloksen ja jopa muotoili lauseen uudelleen, merkitessään tekijöiksi 'Lin, Li ja Hyra' ja tunnustaen näin tekoälyn osatekijäksi. Vaikka preprint ei ole vielä vertaisarvioitu, koneellisesti tarkistetun Lean-todistuksen ja riippumattoman ihmisvarmistuksen yhdistelmä tekee tästä harvinaisen ja uskottavan tekoälyn panoksen matematiikkaan, ja se on erityisen huomionarvoista siksi, että se on peräisin avoimen lähdekoodin mallista, toisin kuin aiemmat suljettujen mallien saavutukset.