ИИ DeepMind обыграл золотых медалистов математической олимпиады

Google DeepMind разработала систему искусственного интеллекта AlphaGeometry2, которая превзошла лучших студентов-математиков в решении задач по геометрии Международной математической олимпиады (IMO).

ИИ решил 84% геометрических задач IMO за последние 25 лет, превысив средний результат золотого медалиста.

AlphaGeometry2 использует смесь ИИ Gemini от Google и движка, применяющего математические правила. Он предсказывает «полезные шаги» в решении геометрических задач и проверяет их на точность. Из-за ограниченности обучающих данных DeepMind создала 300 миллионов синтетических теорем и доказательств, чтобы обучить ИИ.

Система успешно решила 42 из 50 прошлых задач IMO, но столкнулась с трудностями при решении более сложных задач, решив только 20 из 29 задач, которые еще не появлялись в конкурсах. Кроме того, у нее возникли проблемы с решением задач с некоторыми сложными переменными.

DeepMind считает, что будущие модели ИИ смогут меньше полагаться на символьные механизмы по мере совершенствования языковых моделей. Источник

Метод перебора математику уже недоступен. Профессиональная деформация.

-… И принцесса, от злости, повесилась на собственной косе. Потому, что он точно сосчитал: сколько зерен в мешке; сколько капель в море; и сколько звезд на небе!

Так выпьем же за кибернетике!

новость из разряда подъёмный кран победил штангистов-тяжеловесов

По-моему про ИИ, это какое-то медийное разгонялово, как с ковидом. Не понятно только зачем. Вероятно очередная борьба за сферы влияния. Вообще, тот же DeepSeek это форк OpenAI. Это явно видно, ничего нового в нем нет.

И заметьте, это началось с приходом Трампа и Маска.

Цитата:

Вообще, тот же DeepSeek это форк OpenAI.

это медийное разгонялово, как с ковидом, который форк испанки.
и это все - новое медиа, которое образует специфическую среду, генерацию.

Добавлено спустя 22 минуты 27 секунд:

Цитата:

DeepMind считает, что будущие модели ИИ смогут меньше полагаться на символьные механизмы

не смогут, только - больше. Хитрят, вижу их насквозь)

Мне нужны роботы канализационщики, шахтёры, копатели колодцев, шиферомонтажники, пожарные, сборщики малины... А не заумный гов - но - метарий, который сплагиатит кусок у Чехова у Шейкспира или О.Генри с Аристотелем и выдаст за своё и "НОВОЕ", пользуясь тем что я досконально всех их не читал.

Многознание уму не научает.

УМ это способность принять верное решение в условиях минимально приоткрытой информации.

Для творчества нужна ещё и воля или мотивация.
А ИИ всё равно - жив он/мёртв, богат/беден, унижен или прославлен, сыт ли голоден ли, как он выглядит в глазах своей подружки. Ему ничего не надо. А инфузории, таракану или коту всё время что-то надо.

Фактически ИИ это замороженный волевой импульс своего создателя, неизменный во времени и безразличный к обстоятельствам.

Это человек, может всю жизнь к чему-то стремиться, а потом раскаяться.
Налицо смена основной программы жизни.
Возможность зайти к самому себе в душу через бутлоадер и переписать поверх новый самосгенерированный огромный кусок софта, на смену помеченному эрором и уложенному в библиотеку опыта. Но при этом не затерев само ядро системы.

Т.е. в один момент вчерашнее устоявшееся истинное суждение становится ложным и меняется на другое или вообще противоположное. А мы спокойно меняем курс, придерживаясь новой истины и не сходя с ума и не глюча и зависая. И мало того спокойно сосуществуем с двумя истинами в голове одновременно.
Мне кажется компы так не умеют и не смогут.

Главный вопрос - чем отличается живая материя от неживой?

tvobserver писал(а):

Многознание уму не научает.

***

Храм знаний пуст.
Все мудрецы и властелины склонились
Пред обнаженною Богиней.

Дельфийский оракул.

Добавлено спустя 2 минуты 4 секунды:

tvobserver писал(а):

Главный вопрос - чем отличается живая материя от неживой?

Как это ни парадоксально - вопросом.

weter писал(а):

tvobserver писал(а): Многознание уму не научает. *** Храм знаний пуст. Все мудрецы и властелины склонились Пред обнаженною Богиней. Дельфийский оракул. Добавлено спустя 2 минуты 4 секунды: tvobserver писал(а): Главный вопрос - чем отличается живая материя от неживой? Как это ни парадоксально - вопросом.

Куды Гриню пардон Грига моего подевали, хороший ведь стишок.

Raptor303 писал(а):

Цитата: ИИ решил 84% геометрических задач IMO за последние 25 лет, превысив средний результат золотого медалиста. почему не 100% ??? Это же математика, то есть, область, где, как мне кажется, компьютер априори все знает до предельных точностей, так сказать. И все решает до конца и лучше человека по-умолчанию, на все сто процентов. Если это не так, то покажите примеры задач, с которыми "ИИ" не справился? 16% которые...

А почему вы так думали? Ну т.е. какие основания считать, что процессор - бог математики?

Микропроцессор - это арифметика.

Более высоким материям (т.е. той же математике) его нужно "научить", т.е. создать алгоритмы "как решать", дать задачи в понятном виде для этих алгоритмов. При чем в случае нетипичных задач обычно это был бы поэтапный перебор подходящих вариантов. Для типичных - тупо по шаблону действия.

Модели ИИ - несколько другой уже уровень. Это уже синтез путей решения на основе тренировок на огромном количестве примеров и вот тех сотнях тысяч дополнительно созданных теорем. Вот что-то они не захватили и эта модель в чем-то оказалась слаба. Не в знаниях/теоремах, а в синтезе путей решения с помощью имеющихся знаний. А талантливый исследователь может случайно (но тоже на основе своего опыта!) родить гениальную идею, требующуюся для заковыристой проблемы, изначально кажущейся неразрешимой.

Цитата:

Куды Гриню пардон Грига моего подевали, хороший ведь стишок.

да в радость только поделиться стихами дорогого Гриши! и все в тему будет.

***
Года бежали — люди ждали песен.
Они понравятся, все знали наперед.
Был композитор широко известен,
А музыку и текст писал народ.

Лишить всех медалистов их медалей к чертям чтобы не позорили человеков, и точка.

Посмотрел бы я как этот ИИ наших дворовых пацанов в гайданы в свое время обыграл... а так какая то очередная реклама гугля.

Цитата:

ИИ решил 84% геометрических задач IMO за последние 25 лет, превысив средний результат золотого медалиста.

Сотни тысяч (или сколько там) процессоров и мощнейших карт от Nvidia + атомная станция для питания всего этого хозяйства, наконец-то превзошли
результат студента заправившегося стаканчиком йогурта.

Цитата:

DeepMind считает, что будущие модели ИИ смогут меньше полагаться на символьные механизмы по мере совершенствования языковых моделей.

Это как понимать? Долой интеллект, - да здравствуют вероятностные модели? Хайли лайкли правит миром?
Хм-м-м...

edd_k писал(а):

А талантливый исследователь может случайно (но тоже на основе своего опыта!) родить гениальную идею, требующуюся для заковыристой проблемы, изначально кажущейся неразрешимой.

Сразу вспомнился анекдот про отваливающиеся крылья у самолёта и туалетную бумагу

Поглядеть бы что за задачи там были.
Школьная геометрия, состоящая из планиметрии и стереометрии, не является сверх сложной наукой.

Трамп обещал своему прихвостню и другим корпорациям зла 500 мильярдов долларов на развитие ИИ. Как только бабосы кончатся про несуществующий ИИ забудут. Главное, потом выбить из головы и ушей всю тут поганую чушь, что вбивают туда отбойным молотком.

vitorserenity писал(а):

Трамп обещал своему прихвостню и другим корпорациям зла 500 мильярдов долларов на развитие ИИ. Как только бабосы кончатся про несуществующий ИИ забудут. Главное, потом выбить из головы и ушей всю тут поганую чушь, что вбивают туда отбойным молотком.

И тем не менее есть отрасли, где этот типа "ИИ" может вполне заменить человека.