вологість:
тиск:
вітер:
Китайський ШІ самостійно впорався з давно невирішеною математичною задачею
16 квітня 2026 р. 22:13
16 квітня 2026 р. 22:13
Китайські вчені створили систему штучного інтелекту, здатну самостійно розв'язувати складні математичні задачі без участі людини, повідомляє Independent.
Зазначається, що розробка команди з Peking University змогла вирішити давню алгебраїчну гіпотезу, запропоновану математиком Dan Anderson ще у 2014 році. На це у нейромережі пішло всього близько 80 годин - завдання, яке могло б зайняти у вчених роки.
Система складається з двох "розумних модулів". Перший - Rethlas - аналізує завдання і шукає можливі шляхи вирішення, імітуючи мислення математика. Другий - Archon - перевіряє і формалізує доказ, перетворюючи його на строгий математичний запис за допомогою мови Lean 4.
Головна відмінність цієї технології - повна автономність. На відміну від попередніх ШІ-інструментів, тут не потрібен постійний контроль з боку людини. За словами розробників, система здатна працювати як самостійний дослідник, знаходячи рішення і перевіряючи їх.
Це особливо важливо, тому що в математиці будь-яка помилка неприпустима, а багато ШІ схильні вигадувати відповіді. Нова система поєднує пошук, логічне мислення і сувору перевірку, що робить результати надійними, - зазначають дослідники.
Вчені вважають, що такі технології можуть радикально прискорити наукові відкриття.
У майбутньому ШІ зможе не тільки допомагати дослідникам, а й самостійно проводити складні дослідження, на які раніше йшли роки спільної роботи фахівців, - вважають учені.
Джерело: socportal.info (Наука)
Новини рубріки
Створено новий препарат для лікування метастатичного раку підшлункової залози
16 квітня 2026 р. 18:20
JWST знайшов метан у «забороненій планеті» біля зірки-карлика
16 квітня 2026 р. 17:57