Ailenta 20:45 da yangilandi
Xabar

Matematiklar AI yordamida Ghys gipotezasini isbotladi

Matematiklar Shanxay AI laboratoriyasining Intern-S2 modelidan foydalanib, Etienne Ghysning 1995-yilgi gipotezasining 3D holatini isbotladilar. Pekin universiteti jamoasi bu isbotni Lean dasturida rasmiylashtirdi.

15-oktabr, 12:40 · 16 kun oldin tadqiqotta'lim
Asl maqolani o'qish Pandaily

Sarlavha va xulosa asl maqola asosida sun'iy intellekt yordamida o'zbekchada tayyorlangan. To'liq matnni manbadan o'qing.