Tencent představil Hyra 2.0 jako výzkumného agenta, který nemá jen vyřešit jednu vědeckou úlohu, ale vytvářet modely, nástroje a pracovní postupy použitelné i v dalších projektech. Mezi první uváděné výsledky patří modely pro návrh proteinů, strojově učená silová pole pro molekulární simulace a nástroj pro kvantovou korekci chyb. Jde o výsledky popsané Tencentem a médii, které je přebírají; dostupné zdroje zde nedokládají jejich nezávislé zopakování.
2
4
11
Od jednorázového řešení k nástroji pro další výzkum
Tencent popisuje Hyra 2.0 jako krok k agentům, kteří vyvíjejí a vylepšují vědecké modely a nástroje tak, aby výsledky jedné práce mohly posloužit i v budoucnu. Podstatný rozdíl je tedy v deklarovaném cíli: nejen získat odpověď, ale vytvořit konkrétní výstup — například model nebo software — který lze znovu použít.
2
Podle mediálního pokrytí má systém tři vrstvy agentů: Overall, Mission a Worker.
3 Veřejné úložiště výsledků ukazuje hmatatelnější část přístupu: u zveřejněných projektů, mimo jiné HyInv a HyPLM-Flash, nabízí váhy modelů, inferenční kód a technické zprávy.
11 Dostupné zdroje však nepotvrzují všechny podrobnosti širšího výzkumného zázemí, například trvalé fronty úloh nebo samostatné kontrolní agenty.
První výsledky: proteiny, materiály i kvantové výpočty
HyInv: model pro inverzní skládání proteinů
Tencent uvádí, že HyInv natrénoval od nuly a že má 1,96 milionu parametrů. Podle firmy generuje 57krát rychleji než ProteinMPNN; výzkumná stránka Tencentu také tvrdí, že dokáže navrhnout 128 proteinových sekvencí za 50 milisekund. Jde o zveřejněná benchmarková tvrzení, nikoli o nezávislé srovnání doložené dostupnými zdroji.
2
4
HyPLM-Flash a HyFF
V úložišti výsledků Tencent uvádí HyPLM-Flash, proteinový jazykový model se 650 miliony parametrů, a zveřejňuje k němu váhy i kód.
11
34 Najdeme tam také pět strojově učených silových polí HyFF pro molekulární simulace. Jejich velikost sahá od 2,3 milionu do 1,2 miliardy parametrů a pokrývají 83 prvků.
11 Tyto projekty ilustrují zamýšlený přístup: zveřejňovat modely a software, nejen popisovat výsledek jedné výzkumné úlohy.
HyQEC a optimalizace procesoru
Podle mediálního pokrytí vytvořil HyQEC kód pro kvantovou korekci chyb s metrikou efektivity kódování zhruba o 48 % vyšší, než měl dosavadní lídr soutěže qLDPC Challenge.
4 Jiná zpráva připisuje práci Hyra zlepšení výkonového skóre procesoru XiangShan s architekturou RISC-V o 5,79 % na GHz.
13 Obě čísla je vhodné chápat jako uváděné výsledky: dostupné výňatky neobsahují dost podrobností k posouzení úplného nastavení benchmarků.
Co dokazuje výsledek o součtech a rozdílech — a co ne
V úložišti výsledků Hyra je zaznamenáno strojově ověřené řešení matematického problému týkajícího se součtů a rozdílů: pro konečné podmnožiny celých čísel má příslušné supremum podle záznamu přesně hodnotu 2; lze se k ní libovolně přiblížit, ale nelze jí dosáhnout.
19 Je to příklad matematického výsledku uvedeného v repozitáři. Dostupný zdroj však nepotvrzuje, že jej vytvořil Hy3 nebo Hyra 1.0, a proto ho nelze vydávat za jednoznačný doklad role některého z těchto starších systémů.
Zveřejněný kód není totéž co nezávislé ověření
Repozitář Hyra uvádí zveřejněné váhy, kód a technické zprávy k několika projektům.
11 Díky tomu lze některé výstupy prozkoumat a znovu použít, samotné zveřejnění ale nedokazuje, že někdo nezávisle zopakoval každý uváděný výkonnostní výsledek. Dostupné zdroje také nepotvrzují, že se na všechny zveřejněné výstupy vztahuje licence Apache 2.0. Licenci uvedenou u samostatného modelu Hy3 nelze automaticky vztáhnout na celý repozitář Hyra.
18
24
Nejpevnější závěr se týká samotné strategie: Tencent říká, že Hyra 2.0 vyvíjí znovu použitelné vědecké nástroje, a jeho repozitář obsahuje konkrétní modely a software. Uváděné benchmarky jsou zajímavá tvrzení, která je třeba hodnotit — nikoli náhrada za nezávislé ověření.
2
11