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

GPT/ChatGPT/AI Central Александра Горного··1 мин чтения·5 комментариев
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 (5)

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

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

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

Читать далее

Как найти CTO-кофаундера для AI-проекта в 2026 году?

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

ЕС собирается оштрафовать Google на сотни миллионов евро

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

Папа Римский призвал «разоружить» AI

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

Хуанг нашёл для Nvidia новый рынок на 200 миллиардов долларов

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

Почему число 47 так часто встречается в комментариях?

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

Как выбрать случайное число от 1 до 100?

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