Искусственный интеллект опроверг гипотезу якобиана, которую математики пытались доказать 87 лет.Наука
Общая формулировка гипотезы оставалась открытой с 1939 года — то есть не существовало ни доказательства, ни контрпримера.N + 1
Исследователь приложил ссылки на вычислительный ресурс Wolfram Alpha, позволяющие независимо проверить вычисления.Компьютерра
В последние годы ряд компаний и исследовательских групп сообщали о решении задач из так называемого списка Эрдеша — коллекции нерешенных проблем, оставшихся после венгерского математика Пала Эрдеша.Компьютерра
Источники: