Yao Shunyu palkkaa Tencentin Hunyuan AI4S -tiimiin – 50 vuotta vanha matematiikan ongelma ratkaistu

Yao Shunyu, merkittävä tekoälytutkija, on henkilökohtaisesti aloittanut rekrytoinnin Tencentin Hunyuan AI4S -tiimiin. Yksityiskohtaisen työpaikkakuvauksen sijaan hän julkaisi yksinkertaisen viestin, jossa oli tutkimustulos: heidän itse kehittämänsä agentti Hyra on edistänyt 50 vuotta vanhaa avointa matematiikan ongelmaa uuteen parhaaseen tulokseen. Hyra, joka on rakennettu Hy3-mallin päälle (295B parametria yhteensä, 21B aktiivista), löysi konstruktion, joka osoittaa, että ylärajaa ongelmassa, joka koskee kokonaislukujoukkojen summia ja erotuksia, voidaan lähestyä mielivaltaisen tarkasti. Agentti etsi ensin parempia tuloksia, siirtyi sitten luonnolliseen kieleen ehdottaakseen matemaattista konstruktiota ja todistusta, ja toimi noin 24 tuntia. Tiimi vahvisti ja formalisoi todistuksen itsenäisesti Lean 4:ssä. AI4S:n alkuvaiheen testeissä Hyra-1.0 saavutti vaikuttavia tuloksia matematiikassa, tähtitieteessä, kvanttilaskennassa ja lääkesuunnittelussa, mukaan lukien 29:n ratkaiseminen 55:stä avoimesta ongelmasta, aurinkopilkkuaineistosta ennustavan kaavan löytäminen (R²=0,77), kvanttireititysalgoritmin parantaminen 44,4 prosentilla ja PARP1-kandidaattimolekyylin tuottaminen. Tiimi pyrkii täyteen automaatioon tekoälytutkimuksessa, jossa tekoäly ehdottaa hypoteeseja, suorittaa kokeita ja iteroi. Tätä varten he etsivät sekä tekoälytutkijoita (agenttiarkkitehtuuriin, vahvistusoppimiseen, kontekstin oppimiseen, arviointiin, koulutusjärjestelmiin, GPU-ytimiin) että monitieteisiä tutkijoita, jotka osaavat kääntää tieteelliset tavoitteet suoritettaviksi tehtäviksi ja arvioida tekoälyn tulosten pätevyyttä. Tämä suuntaus heijastaa laajempaa muutosta, jossa tekoälystä on tulossa todellinen tutkija, mistä on osoituksena suosittu kommentti, jonka mukaan tämä saattaa olla viimeinen Fields-mitali, joka on myönnetty puhtaasti ihmistyöstä. Huomionarvoista on, että OpenAI ja Anthropic ovat yhdessä vaatineet kansainvälisiä mekanismeja tekoälyn kehitysvauhdin koordinointiin, mikä korostaa tekoälyn itseparantamisen ja hallinnan tarpeen kaksoistodellisuutta.