Дом
Anthropic запускает Claude Mythos для решения гипотезы Эрдёша с помощью краткого доказательства
26 мая Шолто Дуглас, инженер компании Anthropic, опубликовал в X сообщение о том, что их последняя модель Claude Mythos решила столетнюю загадку комбинаторной геометрии — гипотезу Эрдёша о единичных расстояниях. Этот прорыв, получивший оценку как «изящное и лаконичное доказательство», произошел вскоре после заявления OpenAI о том, что GPT-5.5 решила ту же задачу, что подчеркивает обостряющуюся гонку среди ведущих лабораторий искусственного интеллекта в области чистой математики.
Это достижение продемонстрировало подход с использованием коллаборативных агентов, отличающийся от традиционных методов с одной моделью. Согласно сообщениям, команда развернула автоматизированную систему тестирования, включающую несколько независимых экземпляров Claude Code. В этой конфигурации агенты, имеющие доступ к Mythos, получали задачи и генерировали различные пути решения, которые затем агрегировались и распределялись между другими независимыми экземплярами для перекрестной проверки.
Хотя математик Дэниел Литт отметил, что первоначальный вывод Mythos был «немного уступает» результату OpenAI, модель в итоге пришла к тому же пути решения, независимо выведя более оригинальное и упрощенное доказательство. Anthropic официально выпустила версию доказательства, скомпилированную Opus4.7.
Это событие вновь разожгло отраслевые дебаты о траектории развития «чистых больших языковых моделей (LLM)» против «систем помощи символическому рассуждению». Ранее Google DeepMind объявила, что решила девять задач Эрдёша с помощью своей системы AlphaProof Nexus. Однако ее сильная зависимость от языка формальных доказательств Lean вызвала споры о ценности автономного рассуждения в рамках чисто генеративного искусственного интеллекта.
В свою очередь, Claude Code, функционирующий как агентная платформа, теперь решает наиболее острые научные вызовы человечества посредством многоагентного сотрудничества. Сектор искусственного интеллекта переживает быстрые парадигмальные сдвиги: недавно обладатель Филдсовской премии подтвердил, что ChatGPT5.5Pro способна автономно завершить докторские математические исследования всего за два часа. По мере того как такие модели, как Claude Mythos и GPT-5.5, демонстрируют автономную эволюцию в передовых областях, таких как открытие алгоритмов и эксплуатация уязвимостей систем, искусственный интеллект переходит от ранней эры «инженерии промптов» к эпохе, определяемой автономными агентами с глубокими способностями логического рассуждения и научного исследования.
Связанная статья
Акустические системы MiniMax3: большая мощность в компактном корпусе
Sonic представила монитор MiniMax3 — новую пару профессиональных студийных динамиков, предназначенных для настольного ближнего поля мониторинга и персональных аудио- и видеосистем. При цене 2099 юаней эти компактные, но мощные динамики быстро завоева
Amazon покупает Decart за $7 млрд, обеспечив ключевой адаптер для ИИ-чипов
Согласно данным The Wall Street Journal, Amazon ведет переговоры о покупке стартапа в области искусственного интеллекта Decart с оценкой стоимости около 7 миллиардов долларов. Если не появится конкурирующих предложений, сделка может быть закрыта в бл
Как Locus решает одну из главных проблем робототехники: манипуляцию
NeuraGrasp handles diverse items, including small containers, porous polybags, and textiles. | Source: Locus RoboticsКомпания Locus Robotics Corp. решила множество проблем робототехники в реальных условиях эксплуатации. Ее автономные мобильные роботы
Рекомендации по связанным специальным темам
Дизайн и искусство
Лучшие инструменты для создания иллюстраций с помощью ИИ: быстрее создавайте редакционные сцены и обложки
2026: Новейшие и самые популярные инструменты для создания иллюстраций с помощью ИИ: в нашем тщательно подобранном списке представлены лучшие инструменты с мощными функциональными возможностями, позволяющие быстро создавать потрясающие редакционные сцены и привлекательные обложки. Каждый вариант прошел тщательные практические испытания; мы предлагаем сравнение бесплатных и платных версий, чтобы помочь вам найти идеальный вариант для вашего рабочего процесса. Попробуйте эти незаменимые решения уже сегодня, чтобы раскрыть потенциал искусственного интеллекта и повысить свою творческую продуктивность. Узнайте больше на сайте XIX.AI.
10 инструментов
xix.ai
Образование и обучение
Лучшие репетиторы по искусственному интеллекту для подготовки к экзаменам: практикуйтесь по математике, естественным наукам и английскому языку
2026 года: лучшие и самые популярные ИИ-репетиторы для подготовки к экзаменам представлены на XIX.AI! В нашем тщательно подобранном списке представлены мощные инструменты, которые кардинально изменят ваш подход к обучению: здесь вы найдете сравнение бесплатных и платных версий, тесты на практике и еженедельно обновляемые рейтинги. Они помогут повысить эффективность вашего письма, упростить изучение сложных тем и раскрыть ваш академический потенциал. Ознакомьтесь с ними прямо сейчас, чтобы найти идеальный инструмент для подготовки к экзаменам, и начните творить уже сегодня, чтобы раскрыть свои преимущества благодаря ИИ!
10 инструментов
xix.ai
Финансы
Инструменты планирования бюджета на основе ИИ для управления личными финансами
В 2026 году на XIX.AI представлены новейшие, лучшие и наиболее рейтинговые инструменты ИИ для бюджетного планирования по личным финансам! Эта тщательно отобранная коллекция включает мощные, революционные решения, которые помогают проводить реальные тесты, понимать привычки расходов и создавать персонализированные планы для повышения продуктивности. Наслаждайтесь бесплатным сравнением с платными версиями вместе с подробными рейтингами. Инструменты, которые обязательно стоит попробовать, разработаны для упрощения управления деньгами и раскрытия вашего преимущества ИИ. Исследуйте сейчас!
11 инструментов
xix.ai
Здоровье и благополучие
Помощники для отслеживания сна с ИИ: улучшите восстановление за счёт более правильных привычек перед сном
2026 год: лучшие и наиболее высоко оценённые помощники для отслеживания сна на основе ИИ, отобранные для максимального восстановления организма. В этом полностью обновлённом еженедельном руководстве представлены мощные инструменты с результатами реальных тестов, сравнением бесплатных и платных версий, а также подробными рейтингами, которые помогут вам найти оптимальное решение для улучшения качества сна и формирования лучших привычек перед сном. Ознакомьтесь с ним прямо сейчас на сайте XIX.AI, чтобы раскрыть потенциал ИИ в вашей жизни.
10 инструментов
xix.ai
Анализ данных
AI-копилоты SQL для аналитики продуктов и выручки
2026: лучшие и самые популярные ИИ-помощники для работы с SQL в сфере аналитики продуктов и доходов! XIX.AI подготовила мощную, революционную подборку инструментов, которые обязательно стоит попробовать. Они проходят проверку в реальных условиях и включаются в еженедельно обновляемый рейтинг. Эти инструменты помогают пользователям значительно повысить продуктивность за счет ускорения анализа данных, оптимизации сложных запросов и получения точных аналитических выводов, которые позволяют принимать более обоснованные бизнес-решения. Ознакомьтесь с ними прямо сейчас, чтобы найти идеальный инструмент, который поможет вам раскрыть весь потенциал искусственного интеллекта!
14 инструментов
xix.ai
Образование и обучение
Лучшие помощники по домашним заданиям с ИИ, которые учат: изучайте концепции, а не просто ответы
2026: лучшие и самые популярные помощники по домашним заданиям с ИИ, которые обучают основным концепциям, а не просто дают готовые ответы. Мощные инструменты для студентов. Обязательный к пробованию тщательно отобранный список. Еженедельное обновление. Сравнение бесплатных и платных версий. Тестирование в реальных условиях. Точные рейтинги, которые помогут вам раскрыть весь свой учебный потенциал. Исследуйте сейчас, чтобы найти идеальный инструмент для более эффективного обучения.
10 инструментов
xix.ai
Комментарии (0)
26 мая Шолто Дуглас, инженер компании Anthropic, опубликовал в X сообщение о том, что их последняя модель Claude Mythos решила столетнюю загадку комбинаторной геометрии — гипотезу Эрдёша о единичных расстояниях. Этот прорыв, получивший оценку как «изящное и лаконичное доказательство», произошел вскоре после заявления OpenAI о том, что GPT-5.5 решила ту же задачу, что подчеркивает обостряющуюся гонку среди ведущих лабораторий искусственного интеллекта в области чистой математики.
Это достижение продемонстрировало подход с использованием коллаборативных агентов, отличающийся от традиционных методов с одной моделью. Согласно сообщениям, команда развернула автоматизированную систему тестирования, включающую несколько независимых экземпляров Claude Code. В этой конфигурации агенты, имеющие доступ к Mythos, получали задачи и генерировали различные пути решения, которые затем агрегировались и распределялись между другими независимыми экземплярами для перекрестной проверки.
Хотя математик Дэниел Литт отметил, что первоначальный вывод Mythos был «немного уступает» результату OpenAI, модель в итоге пришла к тому же пути решения, независимо выведя более оригинальное и упрощенное доказательство. Anthropic официально выпустила версию доказательства, скомпилированную Opus4.7.
Это событие вновь разожгло отраслевые дебаты о траектории развития «чистых больших языковых моделей (LLM)» против «систем помощи символическому рассуждению». Ранее Google DeepMind объявила, что решила девять задач Эрдёша с помощью своей системы AlphaProof Nexus. Однако ее сильная зависимость от языка формальных доказательств Lean вызвала споры о ценности автономного рассуждения в рамках чисто генеративного искусственного интеллекта.
В свою очередь, Claude Code, функционирующий как агентная платформа, теперь решает наиболее острые научные вызовы человечества посредством многоагентного сотрудничества. Сектор искусственного интеллекта переживает быстрые парадигмальные сдвиги: недавно обладатель Филдсовской премии подтвердил, что ChatGPT5.5Pro способна автономно завершить докторские математические исследования всего за два часа. По мере того как такие модели, как Claude Mythos и GPT-5.5, демонстрируют автономную эволюцию в передовых областях, таких как открытие алгоритмов и эксплуатация уязвимостей систем, искусственный интеллект переходит от ранней эры «инженерии промптов» к эпохе, определяемой автономными агентами с глубокими способностями логического рассуждения и научного исследования.
Акустические системы MiniMax3: большая мощность в компактном корпусе
Sonic представила монитор MiniMax3 — новую пару профессиональных студийных динамиков, предназначенных для настольного ближнего поля мониторинга и персональных аудио- и видеосистем. При цене 2099 юаней эти компактные, но мощные динамики быстро завоева
Amazon покупает Decart за $7 млрд, обеспечив ключевой адаптер для ИИ-чипов
Согласно данным The Wall Street Journal, Amazon ведет переговоры о покупке стартапа в области искусственного интеллекта Decart с оценкой стоимости около 7 миллиардов долларов. Если не появится конкурирующих предложений, сделка может быть закрыта в бл
Как Locus решает одну из главных проблем робототехники: манипуляцию
NeuraGrasp handles diverse items, including small containers, porous polybags, and textiles. | Source: Locus RoboticsКомпания Locus Robotics Corp. решила множество проблем робототехники в реальных условиях эксплуатации. Ее автономные мобильные роботы
2026: Новейшие и самые популярные инструменты для создания иллюстраций с помощью ИИ: в нашем тщательно подобранном списке представлены лучшие инструменты с мощными функциональными возможностями, позволяющие быстро создавать потрясающие редакционные сцены и привлекательные обложки. Каждый вариант прошел тщательные практические испытания; мы предлагаем сравнение бесплатных и платных версий, чтобы помочь вам найти идеальный вариант для вашего рабочего процесса. Попробуйте эти незаменимые решения уже сегодня, чтобы раскрыть потенциал искусственного интеллекта и повысить свою творческую продуктивность. Узнайте больше на сайте XIX.AI.
10 инструментов
xix.ai
2026 года: лучшие и самые популярные ИИ-репетиторы для подготовки к экзаменам представлены на XIX.AI! В нашем тщательно подобранном списке представлены мощные инструменты, которые кардинально изменят ваш подход к обучению: здесь вы найдете сравнение бесплатных и платных версий, тесты на практике и еженедельно обновляемые рейтинги. Они помогут повысить эффективность вашего письма, упростить изучение сложных тем и раскрыть ваш академический потенциал. Ознакомьтесь с ними прямо сейчас, чтобы найти идеальный инструмент для подготовки к экзаменам, и начните творить уже сегодня, чтобы раскрыть свои преимущества благодаря ИИ!
10 инструментов
xix.ai
В 2026 году на XIX.AI представлены новейшие, лучшие и наиболее рейтинговые инструменты ИИ для бюджетного планирования по личным финансам! Эта тщательно отобранная коллекция включает мощные, революционные решения, которые помогают проводить реальные тесты, понимать привычки расходов и создавать персонализированные планы для повышения продуктивности. Наслаждайтесь бесплатным сравнением с платными версиями вместе с подробными рейтингами. Инструменты, которые обязательно стоит попробовать, разработаны для упрощения управления деньгами и раскрытия вашего преимущества ИИ. Исследуйте сейчас!
11 инструментов
xix.ai
2026 год: лучшие и наиболее высоко оценённые помощники для отслеживания сна на основе ИИ, отобранные для максимального восстановления организма. В этом полностью обновлённом еженедельном руководстве представлены мощные инструменты с результатами реальных тестов, сравнением бесплатных и платных версий, а также подробными рейтингами, которые помогут вам найти оптимальное решение для улучшения качества сна и формирования лучших привычек перед сном. Ознакомьтесь с ним прямо сейчас на сайте XIX.AI, чтобы раскрыть потенциал ИИ в вашей жизни.
10 инструментов
xix.ai
2026: лучшие и самые популярные ИИ-помощники для работы с SQL в сфере аналитики продуктов и доходов! XIX.AI подготовила мощную, революционную подборку инструментов, которые обязательно стоит попробовать. Они проходят проверку в реальных условиях и включаются в еженедельно обновляемый рейтинг. Эти инструменты помогают пользователям значительно повысить продуктивность за счет ускорения анализа данных, оптимизации сложных запросов и получения точных аналитических выводов, которые позволяют принимать более обоснованные бизнес-решения. Ознакомьтесь с ними прямо сейчас, чтобы найти идеальный инструмент, который поможет вам раскрыть весь потенциал искусственного интеллекта!
14 инструментов
xix.ai
2026: лучшие и самые популярные помощники по домашним заданиям с ИИ, которые обучают основным концепциям, а не просто дают готовые ответы. Мощные инструменты для студентов. Обязательный к пробованию тщательно отобранный список. Еженедельное обновление. Сравнение бесплатных и платных версий. Тестирование в реальных условиях. Точные рейтинги, которые помогут вам раскрыть весь свой учебный потенциал. Исследуйте сейчас, чтобы найти идеальный инструмент для более эффективного обучения.
10 инструментов
xix.ai
