НаукаКитайські дослідники довели тривимірну гіпотезу Ґіса за допомогою вітчизняної моделі ШІ
Команда на чолі з Сюй Дішеном разом із науковою великою моделлю Intern-S2 Шанхайської лабораторії штучного інтелекту підготувала строгий доказ тривимірної гіпотези Ґіса. Команда Пекінського університету незалежно перевірила основні теореми й логічну повноту доказу за допомогою формальної машинної перевірки. Статтю оприлюднили на міжнародній платформі препринтів, а код перевірки відкрили.
Китайські дослідники довели тривимірну гіпотезу Ґіса за допомогою вітчизняної моделі ШІ
Наука