Що сталося
Математична задача, яка не давалася вченим 18 років, впала перед штучним інтелектом за три дні.
Доказ перевірила математична система Lean, хоча незалежна наукова експертиза ще триває.
Хто пише
1 незалежне видання · 3 публікації
Штучний інтелект за три дні довів математичну гіпотезу, яку не могли розв’язати 18 років
Американська компанія PSI, що працює у сфері фізики, повідомила, що її автоматизована дослідницька система за три дні побудувала формальне доведення гіпотези Ааронсона-Амбайніса.
