AI-агент от Google DeepMind автономно решил девять задач Эрдёша

GPT/ChatGPT/AI Central Александра Горного··1 мин чтения·7 комментариев
AI-агент от Google DeepMind автономно решил девять задач Эрдёша

Исследователи из Google DeepMind опубликовали статью про AlphaProof Nexus. В этой системе LLM решает математические задачи, а Lean проверяет каждый шаг и даёт модели обратную связь.

AlphaProof Nexus самостоятельно решила 9 из 353 открытых задач Эрдёша. Еще она доказала 44 из 492 гипотез OEIS. Стоимость решения одной задачи авторы оценивают в несколько сотен долларов.

https://arxiv.org/abs/2605.22763
искусственныйинтеллектматематикагипотезы
Смотреть оригинал в Telegram →
GPT/ChatGPT/AI Central Александра Горного

Авторский взгляд на новости технологий Реклама: https://docs.google.com/presentation/d/1glQMXYyKAYpzNP8VXzM4gl2YkEgLjkeD_Fxvzbu5QUE/edit РКН: https://clck.ru/3FPkup Личный аккаунт: @gornal О рекламе: @Vzuhcha ВП нет

💬Discussion (7)

Михаил Гулевич@mikhailgulevich•
После этой новости в запой ушли несколько сот молодых учёных, поставивших себе цель решить что-нибудь из этого списка...🤔🤦‍♂
Pavel@sudden_dragonfly•
В прошлый раз оказалось, что решённые ИИ задачи уже были решены ранее, просто опубликованы в малоизвестной литературе и с не лучшим качеством изложенной аргументации. В этот раз тоже может быть что-то подобное. Да и пока ИИ не может предлагать качественно новые подходы, скорее просто успешно комбинирует уже существующие методы и наработки. Так что пока у учёных-человеков работы хватает =)
Alexander Gorny@Gornal•
Это было в поза-позапрошлый раз. С тех по нарастающий как минимум три реально решенные подтвержденные задачи.
Михаил Гулевич@mikhailgulevich•
Это голос разума. А у людей мечта рухнула...
Запой неизбежен, даже если не ИИшка решила задачу
Мих-Мих@gray_bird•
На хабре есть цитаты математиков про эту историю, особенно мне понравилось, что ИИ в отличии от людей жопоголик и может проверять все пути, даже которые кажутся бесперспективными, и не подвержен социальному давлению, люди если считается, что гипотеза истина будут искать подтверждение а не опровержение теоремы

Плюс он силен в комбинировании методов из областей, которые люди обычно совместно не изучают
Yury Kashnitsky@yurycorn•
А когда ИИ найдет средство от рака, скажем, да че там, просто успешно комбинирует уже существующие методы и наработки
Михаил Гулевич@mikhailgulevich•
И не только молодых.
Join discussion on TelegramComments are synced from Telegram

Связанные темы

ai (5)технологии (5)бизнес (5)модели (3)модель (3)агенты (3)инвестиции (3)генетика (3)

Читать далее

Meta* хотят оштрафовать на 1.4 триллиона долларов за вред подросткам

GPT/ChatGPT/AI Central Александра Горного·

Как проверить текст на наличие AI с помощью детекторов?

GPT/ChatGPT/AI Central Александра Горного·

Гайд по работе с ChatGPT Work от OpenAI

GPT/ChatGPT/AI Central Александра Горного·

Китай впервые посадил многоразовую ракету на платформу

GPT/ChatGPT/AI Central Александра Горного·

OpenAI закрывает Atlas

GPT/ChatGPT/AI Central Александра Горного·

OpenAI запускает GPT-5.6 и ChatGPT Work

GPT/ChatGPT/AI Central Александра Горного·