What happened
Математична задача, яка не давалася вченим 18 років, впала перед штучним інтелектом за три дні.
Доказ перевірила математична система Lean, хоча незалежна наукова експертиза ще триває.
Who reports
1 independent outlet · 3 articles
Artificial intelligence in three days proved a mathematical hypothesis that could not be solved 18 years
Американська компанія PSI, що працює у сфері фізики, повідомила, що її автоматизована дослідницька система за три дні побудувала формальне доведення гіпотези Ааронсона-Амбайніса.
Original: Штучний інтелект за три дні довів математичну гіпотезу, яку не могли розв’язати 18 років
