🤖 Нейросеть решила математические задачи, над которыми ученые бились десятилетиями. Исследователи Google DeepMind разработали систему искусственного интеллекта AlphaProof Nexus, которая смогла решить девять ранее нерешенных задач знаменитого венгерского математика Пала Эрдёша. Причем две из них оставались загадкой для ученых более 50 лет. Всего нейросеть проверила 353 задачи из каталога Эрдёша. Кроме того, ей удалось доказать 44 гипотезы, связанные с целочисленными последовательностями. Самое интересное, что ИИ не просто выдает готовые ответы, а находит математические доказательства. Их правильность проверяет специальная система Lean, которая анализирует каждый логический шаг и не пропускает ошибки в рассуждениях. Ученые считают, что такой подход может пригодиться не только в математике, но и в других научных областях — от оптимизации до квантовой оптики. ➡️ факультет в MAX