I-Tencent Hunyuan imemezele namuhla ukuthi i-ejenti yocwaningo i-Hyra, esekelwe kumodeli i-Hy3, ithole ukwakheka okuyisihluthulelo, yanikeza impendulo ephelele enkingeni evulekile ku-additive combinatorics ebingakaxazululwa isikhathi esingaphezu kwengxenye yekhulu leminyaka.
Njengamanje, i-preprint yephepha, ukwakheka okusobala kanye nobufakazi obusemthethweni sekushicilelwe:
Iphepha: https://arxiv.org/abs/2607.27199
Ubufakazi obusemthethweni be-Lean: https://github.com/linhaowei1/sum-diff-proof
Inkinga injengale:
Qala ngesethi elinganiselwe yezinombolo eziphelele equkethe okungenani izakhi ezimbili, ebizwa ngokuthi A. Hlanganisa noma yiziphi izakhi ezimbili kuyo, uqoqe yonke imiphumela ehlukile, bese uthola “isethi yesamba” (A+A); susa noma yiziphi izakhi ezimbili, uqoqe yonke imiphumela ehlukile, bese uthola “isethi yomehluko” (A-A).
Ngenxa yokuthi imiphumela ephindaphindwayo ibalwa kanye kuphela, umbuzo wemvelo uthi: ngemva kokuhlanganisa nokususa, le sethi iyakhula kangakanani ngokulandelana?
Izazi zezibalo zisebenzisa amanani amabili ukukala lokhu kwanda:
Owokuqala uyisilinganiso sokwanda kwesethi yesamba, kanti owesibili uyisilinganiso sokwanda kwesethi yomehluko. Ukungalingani kwakudala kwesethi yesamba nomehluko kusitshela ukuthi:
Ukuze kukalwe le nkomba, kungachazwa:
Ngakho ukungalingani kwakudala kunikeza . Umbuzo wangempela uthi: ingabe u-2 uwumngcele ophezulu ovulekile nje, noma uyinkomba engcono kakhulu engasondelwa ngokuthanda?
Eminyakeni engaphezu kwengxenye yekhulu, izazi zezibalo ziye zakha amasethi amasha ngokuqhubekayo, zizama ukwenza u-C (A) abe mkhulu ngangokunokwenzeka. Ukwakhiwa kwasekuqaleni kwango-1969 kwafinyelela cishe ku-1.0290, kwathi ngo-1973 kwakhushulelwa ku-1.0598, kwathi ukwakhiwa kwango-2013 kwafinyelela ku-1.1259. Onyakeni odlule, ukusesha okusizwa yi-AI okuningana kwaqhubekisela leli nani ku-1.1449. Kokunye ukuhlola kwangaphakathi okuqoshwe ephepheni, i-Codex (GPT-5.5), ngokuholwa abantu, yaphinde yalikhuphula lafinyelela ku-1.2851.
I-Hyra kanye ne-Hy3 bathathe isinyathelo esinqumayo. Banikeze umndeni wokwakhiwa okusobala kwamasethi ezinombolo eziphelele ezilinganiselwe, ohlangabezana nokuthi:
Lokhu kusho ukuthi: kungakhathaliseki ukuthi inhloso enikeziwe isondela kangakanani ku-2, kungakhiwa isethi ehambisanayo eyenza inkomba ibe ngaphezu kwayo. Ngakho-ke, u-2 ngempela uwumngcele ophezulu wale nkinga.
Phambilini, abacwaningi abafana no-Georgiev, Gómez-Serrano, u-Tao Zhexuan kanye no-Wagner basebenzise i-AlphaEvolve ukuze bathuthukise ama-algorithm okusesha kanye namasethi angabhekwa. Lezi zindlela zincike ekubalweni okusobala kwamasethi anomkhawulo. Njengoba usayizi ukhula, izindleko zokubala nezememori zikhula ngokushesha, futhi kuba nzima ukudlulela ngokwemvelo ekwakhiweni kwe-asymptotic okungafakazelwa.
Ngokwethulwa, i-Tencent Hunyuan yaqala yasebenzisa i-Hyra ekusesheni okulinganiselwe, yakhuphula umphumela ongcono kakhulu ukusuka cishe ku-1.14 waya ku-1.21, yabe isishintshela ekusebenziseni ulimi lwemvelo ukuphakamisa ukwakhiwa kwezibalo kanye nezimpikiswano. Isebenzise i-LLM judge ukunikeza impendulo enqubweni yokuhlola.
Ngemva kokusebenza cishe amahora angu-24, i-Hyra yaphakamisa umqondo oyinhloko wephepha: ukusebenzisa ukwakheka kwezinombolo zesisekelo se-12 kanye nokwakhiwa okukhaliphile ukulawula isethi yomehluko, bese kuhlanganiswa nesisekelo sokwengeza esinokulinganisa eqenjini eliyindilinga kanye ne-Chinese remainder theorem, ukuze isethi yesamba ikhule ngesivinini esisondela kwesikwele. Abasebenzisi abazimele baqinisekise futhi bahlela ubufakazi obuphelele, baphinde banikeza nobufakazi obusemthethweni be-Lean 4.