1
Две модели ИИ завоевали золото на Международной математической олимпиаде.
Обе системы решили пять из шести сложнейших задач за 4,5 часа, выдав полные рассуждения на естественном языке — без формальных языков и внешней помощи, что раньше было недостижимо для нейросетей. При этом математики относятся к результатам скептически: детали работы систем и построения доказательств пока не раскрыты.
Для AI это станет новой планкой в развитии логического мышления и математических рассуждений, но осталось много открытых вопросов.
🖥 @naukatv_ru