Китайський ШІ самостійно впорався з давно невирішеною математичною задачею
Учені з Peking University створили ШІ, який самостійно вирішив складну математичну гіпотезу без участі людини. Система поєднує пошук, міркування і сувору перевірку доказів, відкриваючи нову еру в науці.
Китайські вчені створили систему штучного інтелекту, здатну самостійно розв'язувати складні математичні задачі без участі людини, повідомляє Independent.
Зазначається, що розробка команди з Peking University змогла вирішити давню алгебраїчну гіпотезу, запропоновану математиком Dan Anderson ще у 2014 році. На це у нейромережі пішло всього близько 80 годин - завдання, яке могло б зайняти у вчених роки.
Система складається з двох "розумних модулів". Перший - Rethlas - аналізує завдання і шукає можливі шляхи вирішення, імітуючи мислення математика. Другий - Archon - перевіряє і формалізує доказ, перетворюючи його на строгий математичний запис за допомогою мови Lean 4.
Головна відмінність цієї технології - повна автономність. На відміну від попередніх ШІ-інструментів, тут не потрібен постійний контроль з боку людини. За словами розробників, система здатна працювати як самостійний дослідник, знаходячи рішення і перевіряючи їх.
Це особливо важливо, тому що в математиці будь-яка помилка неприпустима, а багато ШІ схильні вигадувати відповіді. Нова система поєднує пошук, логічне мислення і сувору перевірку, що робить результати надійними, - зазначають дослідники.
Вчені вважають, що такі технології можуть радикально прискорити наукові відкриття.
У майбутньому ШІ зможе не тільки допомагати дослідникам, а й самостійно проводити складні дослідження, на які раніше йшли роки спільної роботи фахівців, - вважають учені.
Олена Расенко пише про новини у сфері науки, ЗСЖ і психології, ділиться лайфхаками та порадами щодо балансу між роботою і життям.
Новини по темі
Китай попередив Росію, що застосування ядерної зброї проти України є неприпустимим
Голова JD.com заявив, що роботи можуть повністю замінити 700 тисяч кур'єрів компанії
Голова SAP заявив, що до 2030 року штучний інтелект може повністю замінити програмістів компанії
Новий китайський робот-собака в гірській місцевості перевершує за швидкістю пересування спецпідрозділи
Популярні новини
У низці міст України з 1 липня зросли тарифи на воду: де платитимуть найбільше
Чому в Україні можуть призупинити виплату пенсії: важлива умова у 2026 році
Чоловік зачинив собаку на балконі, вона загинула від спеки: поліція порушила кримінальну справу
Одноразова грошова допомога пенсіонерам: хто влітку отримає доплату до 3100 грн
Новини про війну
Нові правила набору іноземців до української армії: що передбачено
Звільненому з полону військовому відмовили у виплатах нібито через СЗЧ, суд став на його бік
Мобілізація чи контракт: чим відрізняються умови служби у ЗСУ та що важливо знати перед тим, як зробити вибір
ООН повідомила про різке зростання кількості загиблих внаслідок війни серед мирного населення України