Новый ИИ от DeepMind научился решать задачи по геометрии
🤖📐 Новый ИИ от DeepMind научился решать задачи по геометрии.
DeepMind представила AlphaGeometry — систему, способную решить столько же задач по геометрии, сколько средний золотой медалист Международной математической олимпиады.
Новый инструмент объединяет в себе два различных подхода: модель нейронного языка, которая генерирует интуитивные идеи, и механизм символического вывода, который проверяет их с использованием формальной логики и правил.
Модель была обучена на 100 миллионах машинных доказательств, связанных с геометрией, что позволило искусственному интеллекту решать задачи шаг за шагом.