Claude самостійно виявив алгоритм, що спростовує гіпотезу про експоненційний час Дослідницька модель Claude всередині Anthropic, без людського керівництва, самостійно виявила новий алгоритм, який розв’язує проблему 3-SAT швидше, ніж раніше вважалося теоретично можливим. 3-SAT — це класична складна задача, що полягає у визначенні, чи можна одночасно задовольнити набір логічних умов. Довгий час дослідники вважали, що такі задачі важко значно прискорити — саме це й є гіпотеза про експоненційний час. Якщо новий алгоритм виявиться справжнім, це означатиме, що ця гіпотеза хибна. Це свідчить про те, що штучний інтелект уже здатен самостійно запропонувати важливі алгоритми та надати перевіряємі доведення щодо фундаментальних проблем теоретичної інформатики. Якщо результати витримають перевірку, це змінить тривалі уявлення про складність деяких обчислювальних задач. Наразі стаття та доведення опубліковані для подальшої перевірки. Цей процес демонструє, що модель здатна самостійно здійснювати високорівневі теоретичні відкриття, але остаточне оформлення все ще потребує людської допомоги.