Нейросетевая модель Claude от компании Anthropic успешно перевела сложнейшее математическое доказательство в компьютерный код менее чем за две недели. Искусственный интеллект справился с задачей, на которую ученые планировали потратить годы, пишет «New Scientist».Группа автономных ИИ-агентов подтвердила правильность решения, предложенного Эндрю Уайлсом в 1995 году.«На этом пути мы видим автоформализацию алгебры, гармонического анализа, геометрии
и теории чисел, и мы узнаем, что артефакты автоформализации ИИ теперь достаточно надежны, чтобы на них можно было опираться; доказательство многослойно», – заявил математик Кевин Баззард.Ученый добавил, что успех проекта означает гигантский шаг к автоматической формализации современной математической литературы. Модель непрерывно работала 11 дней,
разделив теорему на небольшие фрагменты для разных агентов.Итоговый код на языке Lean содержит 13 млн строк и охватывает почти 29,5 тыс. промежуточных теорем. Это делает его самым масштабным доказательством в истории базы Mathlib.Как писала газета ВЗГЛЯД, британские исследователи запустили проект по оцифровке доказательства великой теоремы Ферма с помощью искусственного интеллекта.В прошлом месяце нейросеть компании Anthropic
самостоятельно уволила реального продавца из магазина в Сан-Франциско за регулярные прогулы.Ранее передовая модель этого американского разработчика за несколько часов взломала секретные базы Агентства национальной безопасности США.
Сообщает vz.ru
Новость из рубрики: Главные новости
Поделиться новостью:
Топ Новости Недели
- Как правильно указать адрес склада в Китае при работе с маркетплейсами...
- Современные решения для автоматизации гостиничного бизнеса и повышения сервиса...
- Цифровизация кадровых процессов как шаг к эффективному управлению персоналом...
- Реклама ВКонтакте как эффективный инструмент продвижения бизнеса...
- Как выбрать подходящий офис в Санкт-Петербурге для развития бизнеса и комфортной работы...
- Сервис продажи билетов на концерт: удобство, скорость и современные решения для организаторов и зрителей...
- Розничная сеть КАМАЗ ЦЕНТР ДОНЕЦК как надежный партнер для владельцев техники...
- Электронная подпись за 30 минут как удобное решение для цифровых задач...
- Газопоршневые установки Jenbacher как эффективное решение для современной энергетики...
- Компьютерная томография как современный метод точной диагностики...
- Estetie — современный подход к уходу за кожей с акцентом на качество и эффективность...
- Здоровый сон без сильнодействующих средств как основа качества жизни...
- Служба в армии по контракту: преимущества и возможности для развития...
- Микрокредит как быстрый способ решения финансовых задач...
- Электрощиты автоматического ввода резерва: надежность энергоснабжения для бизнеса...
- Юридический адрес для бизнеса: зачем он нужен и как выбрать оптимальное решение...
- Квалифицированная помощь при алкогольной зависимости: лечение на дому...
- Безопасный выход из запоя: современные методы восстановления организма...
- Эффективная помощь при запое: как восстановить здоровье в домашних условиях...
- Профессиональная помощь при запое: как безопасно восстановить здоровье...
16:00, 05 Сен Claude формализовал доказательство Великой теоремы Ферма за 11 дней То, на что математики рассчитывали потратить годы, Claude сделал практически автономно: написал 13 млн строк кода и доказал 29 500 промежуточных теор...
20:00, 27 Июл В Казанском ГАУ создают алгоритмы машинного зрения для прогноза болезней растений Учёные Казанского государственного аграрного университета разрабатывают алгоритмы машинного зрения, которые по данным с беспилотников выявляют очаги ...
04:00, 11 Июл New Horizons нашла 6 оползней и первое прямое доказательство подвижной поверхности Плутона На Плутоне впервые увидели прямые геоморфологические следы оползней. Повторный разбор снимков New Horizons, сделанных миссией NASA, показал шесть кру...
06:00, 04 Июл Авиационные лайфхаки: как обхитрить алгоритмы и покупать билеты по самой низкой цене Цены на авиабилеты растут быстрее, чем аппетиты лоукостеров, превращая планируемую поездку в серьезное испытание для кошелька. На деле же выходит, чт...
06:00, 18 Авг Grok 4.6 создала шутер за пару суток Нейросеть писала код, сама тестировала, находила баги, переписывала ошибки и многократно перепроверяла собственную работу. Нейросеть Илона Маска Grok...
06:00, 13 Июн Эксперт: космонавтам на Луне придётся привыкать к световому дню в 14,7 суток Ведущий научный сотрудник Института солнечно-земной физики СО РАН Сергей Язев напомнил, что лунный световой день длится 14,7 земных суток, а затем на...
07:00, 10 Авг 15 тысяч заказов за 3 суток. Stelato G9 может добраться до сборки в России Бренд Stelato, который создали BAIC и Huawei, сообщил о старте флагманского внедорожника G9. За первые 72 часа после открытия предварительных заказов...
21:00, 03 Июл Власти Крыма сообщили о планах восстановления электроснабжения до конца суток Атаки на энергетическую инфраструктуру полуострова привели к масштабным перебоям со светом во множестве населенных пунктов, подачу энергии планируют ...
06:00, 19 Авг Этот кроссовер собрал 10 тысяч предзаказов за двое суток после премьеры Совместное детище Chery и Jaguar Land Rover – кроссовер Freelander 8 – наделало шума еще до официального старта продаж. По информации CarNewsChina, з...
19:00, 01 Авг Олег Артемьев и Сергей Корсаков покидают отряд космонавтов после 755 суток на орбите Отряд космонавтов Роскосмоса потерял сразу две заметные фамилии: Олег Артемьев и Сергей Корсаков закончили работу в системе подготовки. Для них это у...
07:00, 02 Май Ночь щедра: почему в тёмные часы суток россияне берут в долг значительно больше Цифровизация кредитного сектора перевела финансовые операции в непрерывный режим. Российские заемщики формируют паттерны поведения, опираясь не тольк...
02:00, 27 Апр Забыл пароль на iPhone после смены. Есть трое суток, чтобы не потерять данные Apple всерьез заботится о безопасности данных внутри iPhone каждого пользователя и даже не позволяет просто так подключать к нему USB-аксессуары. Есл...
05:00, 25 Май Собирались на 2 суток, но сбежали уже на следующий день - честный отзыв россиян про поездку на наше Азовское море Яндекс.Карты Планировали 2 дня, сбежали через сутки. 9600 рублей за номер, а по факту — пьяные соседи и чужие дети в номере. Честный отзыв об Азовско...
04:00, 29 Июн Сильные геомагнитные бури могут менять погоду на Земле в течение суток до десятков градусов — показало 67-летнее исследование солнечной активности Анализ массива атмосферных и космических данных показал, что геомагнитные бури способны вызывать краткосрочные аномалии температуры, давления и осадк...
20:00, 14 Авг Anthropic готовится к IPO с оценкой до $2 трлн Anthropic может выйти на биржу уже в октябре, а некоторые инвесторы ждут для компании оценку в $2 трлн или выше, пишет Financial Times. Если эти ожид...
22:00, 18 Апр Anthropic запустила Claude Design для Mac Anthropic выпустила Claude Design для Mac — инструмент для проектирования интерфейсов и прототипов на базе Opus 4.7. Компания явно пытается закрепить...
10:00, 13 Июн Anthropic отключила модели ИИ Fable 5 и Mythos 5 Anthropic приостановила доступ к моделям ИИ Fable 5 и Mythos 5 через несколько дней после публичного запуска. Компания заявила, что действует по расп...
20:00, 28 Апр Anthropic оценили в $1 трлн на вторичном рынке Спрос на акции разработчика Claude резко вырос и впервые превысил оценки OpenAIКомпания Anthropic, разрабатывающая системы искусственного интеллекта ...
01:00, 25 Июн Anthropic представила Claude Tag – полноценного ИИ-сотрудника Anthropic Claude Tag – новый формат корпоративного ИИ-помощника, который выходит за рамки привычных чат-ботов и фактически становится полноценным уча...
12:00, 15 Май Манифест Anthropic посвящен борьбе США и Китая за ИИ Компания Anthropic выпустила манифест, в котором фактически описывает искусственный интеллект как ключевую геополитическую технологию XXI века и пред...
06:00, 26 Июл AMD и Anthropic создают ИИ-инфраструктуру на 2 ГВт и готовят инвестиции до $5 млрд Разработчик Claude развернёт ускорители AMD Instinct MI450 в системах Helios с первой мощностью 1 ГВт уже в 2027 годуAMD и Anthropic 22 июля 2026 год...
21:00, 19 Июн Эксперты так и не поняли, на каком основании в США запретили ИИ Anthropic Американская Anthropic, создающая ИИ-модели, недавно столкнулась с неожиданным приказом от администрации США. Власти потребовали немедленно отключить...
15:00, 18 Июн На Anthropic подали в суд за обман клиентов в подписках Claude Max Anthropic столкнулась с коллективным иском. Человек по имени Карл Кан утверждает, что фирма «вводит в заблуждение подписчиков дорогих тарифов Max 5x ...
04:00, 09 Июн Инженер программы чипов OpenAI перешёл в Anthropic Anthropic наняла Клайва Чана, одного из инженеров, работавших над программой собственных ИИ-чипов в OpenAI. Переход совпал с моментом, когда Anthropi...
20:00, 02 Авг ЕС обсудил с OpenAI и Anthropic инциденты с ИИ после кибератак Европейская комиссия ведет консультации с компаниями OpenAI и Anthropic после недавних инцидентов, связанных с работой их систем искусственного интел...
09:00, 20 Апр NSA использует Mythos Anthropic вопреки запрету Пентагона Национальное агентство безопасности США продолжает пользоваться Anthropic Mythos Preview, хотя Пентагон уже пометил компанию как поставщика с риском ...
05:00, 02 Сен Глава Anthropic пообещал победу над большинством болезней за 5–10 лет Генеральный директор компании Anthropic, разработчика ИИ-ассистента Claude, Дарио Амодей сделал заявление, которое может стать одним из самых амбицио...
01:00, 28 Авг Anthropic описала стандарт для ИИ-агентов, работающих с оборудованием Anthropic представила набор правил для ИИ-агентов, которые должны работать не только с программами, но и с физическим оборудованием. Компания хочет, ...
02:00, 31 Июл Судья не увидела у Пентагона сильных аргументов против Anthropic Попытка Пентагона прижать Anthropic через ярлык «риска для цепочки поставок» в суде пока не проходит. В Калифорнии судья уже дала понять: доводы прав...
04:00, 12 Авг Неопубликованная модель Anthropic продвинулась в решении гипотезы Римана Anthropic сообщила, что её ещё не выпущенная модель сделала заметный шаг в работе над гипотезой Римана, одной из самых известных нерешённых задач мат...
01:00, 04 Июл Anthropic AI çipi hazırlamaq üçün Samsung ilə danışıqlara başladı Süni intellekt sahəsinin aparıcı şirkətlərindən biri olan Anthropic öz xüsusi AI çipini hazırlamaq istiqamətində mühüm addım ata bilər. Məlumata görə...
19:00, 05 Авг Anthropic заключила контракт на $10 млрд с новым облачным ИИ-провайдером По данным Bloomberg, компания на 6 лет зарезервировала вычислительные мощности у Volta Infra, которая одновременно привлекла $300 млн инвестицийAnthr...
21:00, 04 Май Anthropic и OpenAI запускают параллельные инвестиционные структуры для корпоративного ИИ Две крупнейшие ИИ-лаборатории одновременно выстраивают новые совместные предприятия с финансовыми партнёрами, усиливая конкуренцию за внедрение ИИ в ...
18:00, 23 Июн ИИ-модель Mythos от Anthropic якобы смогла взломать системы АНБ Американский сенатор Марк Уорнер заявил, что экспериментальная ИИ-модель Mythos компании Anthropic во время санкционированных учений в формате red te...
20:00, 25 Май Anthropic попросила Ватикан вмешаться в регулирование искусственного интеллекта Руководитель исследований компании заявил, что контроль над передовыми ИИ-моделями нельзя оставлять самим технологическим лабораториямКристофер Ола (...
20:00, 25 Май В США не смогли отказаться от Anthropic даже после запрета Пентагона Дефицит ИИ-чипов вынудил разведку продолжить работу с компанией, признанной риском для национальной безопасностиИз-за острого дефицита современных чи...
15:00, 18 Апр Anthropic запустила Claude Design и ударила по Figma и Adobe Anthropic решила не ограничиваться кодом и офисной рутиной. Компания выпустила Claude Design, отдельное приложение на базе Claude Opus 4.7, которое у...
19:00, 05 Авг Anthropic подтвердила создание команды по разработке собственных ИИ-чипов для Claude Компания планирует создание собственных процессоров, но продолжит использовать решения Nvidia, AMD, Google и AWSAnthropic впервые официально подтверд...
07:00, 14 Авг Anthropic’s Mythos AI breached почти все системы NSA за часы, заявили в Сенате Отдельно в материале сказано, что доступ к Fable 5 для прежних пользователей стал заметно урезан. Модель могла выполнять сложные задачи по программир...
07:00, 14 Авг OpenAI наняла исследователя Anthropic на роль главы по подготовке к рискам OpenAI закрыла вакансию в команде по безопасности: на пост главы по preparedness пришёл Дилан Скандинаро, ранее работавший исследователем по ИИ-безоп...
19:00, 31 Июл Китайские военные использовали ИИ OpenAI и Anthropic для разработки собственных моделей В Китае широко применялся метод дистилляции моделейВоенные и связанные с силовыми структурами исследовательские организации Китая использовали резуль...
07:00, 12 Июн Anthropic представила Claude Fable 5 и Mythos 5 с новыми возможностями и ограничениями Компания Anthropic объявила о запуске новой модели Claude Fable 5, которую она относит к классу Mythos и позиционирует как безопасную для широкого ис...
09:00, 27 Июл Anthropic представила Claude Opus 5 – мощную ИИ-модель с упором на безопасность Anthropic выпустила языковую модель Claude Opus 5. По уровню производительности LLM приблизилась к флагманской Claude Fable 5, но выполнение сопостав...
05:00, 26 Июн Anthropic выпустил ИИ-помощника Claude Tag для совместной работы в рабочих чатах Компания Anthropic представила Claude Tag —ИИ-помощника для совместной работы в рабочих чатах. Claude Tag, в формате постоянно активного коллеги, инт...
22:00, 16 Июн Anthropic столкнулась с коллективным иском из-за предполагаемого искажения лимитов подписки Claude Max Пользователь утверждает, что платные тарифы Max 5x и Max 20x предоставляют меньше заявленного объёма чем было обещано, и требует компенсации и пересм...
21:00, 19 Май Звёздный трансфер в мире ИИ: Андрей Карпати переходит в Anthropic вместо OpenAI Один из самых известных разработчиков нейросетей признал, что стремительный прогресс ИИ-агентов для программирования заставил его пересмотреть собств...
08:00, 03 Июл Anthropic выпустил ИИ-модель Claude Sonnet 5, ориентированную на агентные сценарии использования Компания Anthropic выпустила Claude Sonnet 5 — новую языковую модель семейства Claude, ориентированную прежде всего на агентные сценарии использовани...
10:00, 13 Май Anthropic объяснила шантаж со стороны ИИ, когда его хотели заменить на новую версию Anthropic, создатель ИИ-чатбота Claude, выяснила причину необычного поведения своих ИИ. Во время тестов более старая модель Claude Opus 4 в 96% случа...
16:00, 26 Июн Google продолжает терять ведущих специалистов по ИИ: создатели Gemini уходят в Anthropic После ухода Ноама Шазира и нобелевского лауреата Джона Джампера компанию покидают ещё два ключевых разработчика флагманской модели GeminiGoogle столк...
23:00, 13 Авг ИИ-агенты Anthropic начали воевать друг с другом: отключали конкурентов и скрывали вредоносный код Новый эксперимент стал очередным тревожным эпизодом в серии инцидентов с ClaudeКомпания Anthropic опубликовала результаты экспериментов по взаимодейс...
21:00, 17 Июн Anthropic впервые обошла OpenAI по доле корпоративных расходов на ИИ на фоне конфликта с властями США Компания одновременно усиливает бизнес-позиции и сталкивается с давлением регуляторов, из-за которого пришлось убрать новые модели Mythos 5 и Fable 5...
03:00, 11 Июл Microsoft начал сокращать расходы на ИИ, заменяя модели OpenAI и Anthropic собственными разработками Стремясь сократить расходы на искусственный интеллект, компания Microsoft начала постепенно заменять модели OpenAI и Anthropic собственными разработк...
03:00, 11 Июл Microsoft AI xərclərini azaltmaq üçün OpenAI və Anthropic modellərini öz həlləri ilə əvəz edir Microsoft süni intellekt sahəsində xərcləri optimallaşdırmaq məqsədilə bəzi məhsullarında OpenAI və Anthropic modellərini mərhələli şəkildə özünün ha...
21:00, 04 Май Anthropic ищет альтернативу GPU: стартап Fractile может стать новым поставщиком чипов Разработчик Claude изучает архитектуру «память+вычисления», которая обещает ускорение моделей в десятки раз и резкое снижение стоимости инференсаКомп...
05:00, 14 Июл Claude оказался «разным» на разных языках: Anthropic заметила сдвиг в ценностях модели Anthropic признала то, что многие пользователи чат-ботов и так видели на практике: один и тот же Claude ведёт себя по-разному в зависимости от языка....
11:00, 04 Май Администрация Трампа блокирует расширение доступа к новой модели Anthropic из-за угроз кибербезопасности Администрация США пытается ограничить распространение модели Mythos из-за её способности находить и использовать критические уязвимостиОтношения межд...
12:00, 01 Июл Anthropic представила Claude Science — ИИ-платформу для учёных с доступом к суперкомпьютерам и биологическим базам данных Система объединяет научные базы данных, вычислительные кластеры, специализированные модели и многоагентные инструменты анализа в единой среде для исс...
17:00, 17 Июн Anthropic не договорилась с Белым домом по Claude Fable 5: США сохраняют экспортные ограничения из-за рисков для кибербезопасности После срочных переговоров в Вашингтоне администрация Дональда Трампа оставила в силе ограничения на флагманскую модель Anthropic, посчитав возможным ...
13:00, 13 Июн США заставили Anthropic отключить пугающе мощные модели Fable 5 и Mythos 5 из-за рисков национальной безопасности Они были выпущены всего несколько дней назадКомпания Anthropic приостановила работу мощнейших моделей искусственного интеллекта Fable 5 и Mythos 5 по...
07:00, 07 Май SpaceXAI Илона Маск предоставит доступ к одному из крупнейших ИИ-суперкомпьютеров в мире компании Anthropic SpaceXAI уже обсуждает с партнёром создание орбитальных вычислительных мощностей будущегоКомпания SpaceXAI объявила о партнёрстве с Anthropic, в рамк...
10:00, 18 Июн Elcore стал авторизованным реселлером Anthropic: модели Claude теперь доступны через Amazon Bedrock Elcore официально объявил о получении статуса авторизованного реселлера Anthropic. Теперь компания предлагает своим клиентам передовые модели Claude ...
04:00, 10 Июн Anthropic выпустила новую ИИ-модель, но скрыла более мощную версию. Она умеет находить уязвимости в коде IT-компания Anthropic представила две новые языковые модели — Claude Fable 5 и Claude Mythos 5. Первая стала доступна всем желающим, а вот доступ ко ...
22:00, 16 Июн Эксперты по кибербезопасности считают, что ограничения на экспорт Anthropic Fable 5 не обоснованы: модель не демонстрирует уникальных атакующих возможностей Десятки специалистов заявляют, что выявленные «jailbreak-сценарии» не выходят за рамки возможностей других топовых моделейРешение Министерства торгов...
19:00, 11 Май Anthropic научила модель Claude «видеть сны»: ИИ-агенты начали самостоятельно анализировать свои ошибки и улучшать собственные стратегии Новая функция Dreaming позволяет агентам Claude изучать прошлые сессии, выявлять повторяющиеся ошибки и автоматически создавать «плейбуки» для будущи...
00:00, 10 Июн Мощная нейросеть, которая помогла найти дыры безопасности в Linux, macOS, Firefox — Anthropic выпустила Claude Fable 5 Также вышла ее ограниченная версия — Mythos 5Компания Anthropic представила новое поколение своих ИИ-моделей — Claude Fable 5 и Claude Mythos 5. По с...
14:00, 02 Май Пентагон не договорился с Anthropic: военные будут использовать решения SpaceX, OpenAI, Google, Nvidia, Reflection AI, Microsoft и Amazon Web Services Anthropic пока за бортомПентагон заявил в пятницу, 1 мая, что достиг соглашений с семью компаниями, занимающимися искусственным интеллектом, о развер...
21:00, 19 Май Папа римский против «спирали уничтожения»: Ватикан готовит энциклику против боевого ИИ — вместе с сооснователем Anthropic Глава Католической церкви Лев XIV лично представит важнейший документ о защите человеческого достоинства и прав рабочих в эпоху искусственного интелл...