MIT bitiruvçisi sun’iy intellekt modeli yordamida 18 yillik kvant hisoblaş masalasini yeçdi
Physical Superintelligence (PSI) startap-laboratoriyasi xodimi, MIT bitiruvçisi Devid Turturyan Anthropic Fable 5.2 modeliga erta kiriş imkonidan foydalanib, 18 yildan beri oçiq qolgan Aaronson–Ambainis gipotezasini isbotladi. Skott Aaronson isbotni töliq tuşunmasligini, ammo Lean tilida formalizatsiya qilingani va tadqiqotçilar jamoasi tekşirgani uçun uni töğri deb hisoblaşini aytdi. Yeçim kvant hisoblaşni tezlaştiriş yöllaridan birini yopadi va sun’iy intellekt ilmiy amaliyotni qanday özgartirayotganini körsatadi.
Aziz Karimov