Anthropic's Claude autonomously completed the first computer

Дом

Срочные новости

Содержание

AveryThomas

7 сентября 2026 г.

Anthropic's Claude autonomously completed the first computer-verified formal proof of Fermat's Last Theorem using Lean. Running for 11 days, the AI generated 13 million lines of code and 30,300 theorems through multi-agent collaboration. The system formalized Andrew Wiles' 1995 proof, which was then verified by Lean using only three axioms. This milestone demonstrates AI's capacity for large-scale mathematical formalization, potentially reducing manual verification costs and establishing a new standard for combining human oversight with automated proof generation.

Поделиться Нажмите, чтобы скопировать ссылку

Комментарии (0)

0/300

Представлять на рассмотрение

JimmyWilson 14 октября 2026 г.

Компания STEPX представила STEPX Neo — свой первый смартфон с встроенным интеллектуальным агентом на базе крупной модели искусственного интеллекта, стоимостью 3 999 юаней. Устройство, оснащенное операционной системой Step AOS 1.0 и архитектурой взаимодействия «терминал-облако», объединяет в себе аппаратное обеспечение, ОС и модели искусственного интеллекта. Оно оснащено системой с двумя экранами, включая задний экран с технологией MiniLED, а также передовыми аудиовозможностями. Экосистема поддерживает почти 100 партнёров, таких как Alipay и Tencent, предлагая платежи с использованием ИИ и взаимодействие между различными агентами. Предварительные продажи начались 13 октября, а официальные — 16 октября. Первые покупатели получают 12 месяцев использования токенов и возможность бесплатных обновлений через Starship Tickets.

JimmyWilson 14 октября 2026 г.

Компания STEPX представила STEPX Neo — смартфон с встроенным искусственным интеллектом на базе крупных моделей по цене 3999 юаней. Устройство, оснащенное операционной системой Step AOS 1.0 и поддерживающее модель взаимодействия «устройство-облако», объединяет аппаратное обеспечение с системой интеллектуальных агентов. Устройство оснащено уникальным экраном на задней панели и массивом из шести микрофонов. Оно поддерживает платежи с использованием искусственного интеллекта и межагентное взаимодействие с такими партнерами, как Alipay и Tencent. Предпродажа началась 13 октября, а официальные продажи — 16 октября. Первые 10 000 пользователей получат право на бесплатное обновление в течение пяти лет.

ThomasMitchell 14 октября 2026 г.

Google запустил свою флагманскую модель искусственного интеллекта Argon по всему миру для разработчиков и предприятий через Google AI Studio и приложение Gemini. Стоимость услуги составляет 2 доллара за миллион входных токенов, и, несмотря на декабрьское повышение цен, она по-прежнему остается дешевле, чем у конкурентов. Хотя некоторые сотрудники ставят под сомнение эффективность кодирования, DeepMind подчеркивает преимущества модели в области мультимодального мышления и робототехники, что было продемонстрировано гуманоидным роботом, успешно поражающим цели с использованием данных о движении, полученных из видеозаписей.

HarryNelson 14 октября 2026 г.

Компания OPPO заключила партнерское соглашение с платформой искусственного интеллекта Manus с целью интеграции функций искусственного интеллекта в свою систему AI Mind Pilot на новых смартфонах серии Find X10 под управлением ColorOS 17. Благодаря этому сотрудничеству искусственный интеллект переходит от простого формата «вопрос-ответ» к выполнению задач, что позволяет системе понимать намерения пользователя, разбивать сложные задачи на составные части, извлекать информацию и предоставлять готовые результаты, такие как составление маршрутов путешествий или подготовка офисных презентаций. Ключевым моментом этой интеграции является подход, ставящий конфиденциальность на первое место: модели на устройстве обрабатывают данные локально, а использование облачных ресурсов происходит только с явного разрешения пользователя. Это обеспечивает баланс между передовыми интеллектуальными возможностями и контролем пользователя над доступом к данным. Обновленная система AI Mind Pilot дебютирует в серии Find X10, что станет важным шагом на пути к превращению смартфонов в естественные платформы для персональных ИИ-агентов.

PatrickEvans 14 октября 2026 г.

Компания Samsung планирует выпустить в ноябре 2026 года свои первые умные очки с искусственным интеллектом Galaxy Glasses, оснащённые чипом Qualcomm Snapdragon AR1Gen1 и интегрированной технологией Google Gemini. Устройство весит 41 г, обеспечивает 9 часов автономной работы, поддерживает видео в формате 3K и оснащено 12-мегапиксельной камерой. В рамках сотрудничества с Gentle Monster и Warby Parker Samsung нацелена на продажи в магазинах США и на сайтах партнёров. Этот шаг усиливает конкуренцию на быстрорастущем рынке умных очков, годовой объём поставок которых в настоящее время превышает 4,2 млн штук, с такими конкурентами, как Meta и Apple.