ИИ доказал больше 30 новых математических теорем
ИИ доказал больше 30 новых математических теорем Исследователи разработали систему LongTails, которая умеет самостоятельно формулировать задачи математической оптимизации и доказывать новые результаты. Всего система получила около 100 теорем, а 35 из них ученые планируют представить как отдельные научные результаты. На доказательство одной теоремы у ИИ уходит в среднем от трех до семи часов. Каждое доказательство дополнительно проверяется специальным инструментом, который помогает выявлять математические ошибки. САЙТ | TG | VK | MAX | YT
132 просмотров