OpenAI решает задачу Эрдёша 80-летней давности; Google представляет агентский Gemini Spark

OpenAI решает 80-летнюю задачу Эрдёша

Математик Тим Гауэрс назвал это «вехой в математике ИИ»: модель рассуждений OpenAI решила задачу о единичных расстояниях на плоскости — открытый комбинаторный вопрос, поставленный легендарным венгерским математиком Полом Эрдёшем в 1946 году. Результат — определение максимального числа пар с единичным расстоянием среди n точек на плоскости — ускользал от человеческого доказательства восемь десятилетий. OpenAI сообщила, что модель создала полное, верифицируемое доказательство без человеческого руководства, что стало одной из наиболее убедительных демонстраций способности ИИ к открытиям на переднем крае математики.

Google I/O: Gemini Spark и Universal Cart

Конференция Google I/O продолжила представлять продукты ИИ в пятницу. Gemini Spark — это «агентный» персональный ассистент, разработанный для проактивного выполнения задач от имени пользователей: бронирования, исследований и многошаговых задач в автономном режиме. Наряду с этим Google запустила Universal Cart — ИИ-слой для покупок, работающий у различных продавцов и сервисов, автоматически ищущий снижение цен и скидки. Объявления сигнализируют о переходе Google от поиска информации к автономным действиям как основному потребительскому сценарию ИИ.

Anthropic прогнозирует выручку $10,9 млрд и первую квартальную прибыль

Anthropic поделилась с инвесторами финансовыми прогнозами: $10,9 млрд выручки во втором квартале 2026 года — рост на 130% по сравнению с Q1 — и первая операционная прибыль за квартал около $559 млн. Рост обусловлен экосистемой разработчиков Claude Code, повышением вычислительной эффективности и удвоением числа корпоративных клиентов с затратами свыше $1 млн в год в период с февраля по апрель 2026 года.

Иллинойс продвигает закон о прозрачности ИИ

Сенат Иллинойса проголосовал 52–5 за продвижение законопроекта 315, обязывающего крупных разработчиков ИИ-моделей — в том числе Meta, OpenAI и Anthropic — принять системы прозрачности, привлечь сторонних аудиторов и отчитываться о рисках катастрофических последствий. Законопроект является частью пакета из восьми законопроектов и переходит в Палату представителей штата. Сторонники назвали его первым шагом, указав на бездействие федеральных властей после очередного переноса подписания президентского указа об ИИ.

Исследование Microsoft: агентский ИИ остаётсяненадёжным для длительных рабочих процессов

Исследователи Microsoft предупредили, что даже передовые ИИ-модели нередко повреждают документы и вносят существенные ошибки в длительные многошаговые рабочие процессы. Новый бенчмарк DELEGATE-52, охватывающий 52 профессиональные области, показал, что ведущие модели часто теряли значительную часть содержимого документов или выдавали повреждённые результаты после протяжённых цепочек задач. Только задачи по программированию на Python стабильно соответствовали порогу готовности Microsoft после 20 делегированных взаимодействий.