48 тыс подписчиков
ИИ DeepMind решает задачи по геометрии на уровне международной олимпиады
Новая система искусственного интеллекта от Google DeepMind, AlphaGeometry, решает сложные геометрические задачи почти так же хорошо, как золотые медалисты Международной математической олимпиады. Новый инструмент сочетает в себе два разных подхода: модель нейронного языка, которая генерирует интуитивные идеи, и механизм символического вывода, который проверяет их с помощью формальной логики и правил. Модель обучили на 100 млн машинных доказательств, связанных с геометрией, что позволило ИИ решать задачи шаг за шагом. Этот подход открывает перспективы для применения ИИ в математике и естественных науках, преодолевая ограничения традиционных моделей.
Около минуты
18 января 2024