Claude формализовал доказательство Великой теоремы Ферма за 11 дней

Опубликовано: 16:00, 05.09.2026

То, на что математики рассчитывали потратить годы, Claude сделал практически автономно: написал 13 млн строк кода и доказал 29 500 промежуточных теорем История Великой теоремы Ферма началась почти 400 лет назад с короткой записи Пьера Ферма на полях книги. Математик утверждал, что уравнение aⁿ + bⁿ = cⁿ не имеет решений в положительных целых числах при n > 2, и уверял, что знает доказательство. Однако места на полях для него, по собственным словам Ферма, не хватило. В итоге поиск решения


растянулся более чем на 350 лет. Эндрю Уайлс представил доказательство в 1993 году, но при его проверке обнаружился пробел. На исправление ушёл ещё примерно год, и окончательный вариант появился в 1995 году. Доказательство заняло 129 страниц и использовало сложнейшие математические


конструкции, накопленные за столетия после того, как Ферма сформулировал свою теорему. Но даже доказанное человеком утверждение можно проверять по-разному. Один из самых надёжных способов — формализовать доказательство, то есть перевести его на язык, в котором компьютер способен проверить каждый логический переход. Для


этого часто используют Lean. Проблема здесь состоит в том, что математический текст рассчитан на человека: автор может пропустить очевидный шаг или сослаться на известную лемму. Компьютеру же необходимо явно предоставить всю цепочку рассуждений, включая используемые промежуточные результаты. Источник изображения: Anthropic Именно эту работу Claude выполнил за 11 дней. Проект по формализации Великой теоремы Ферма уже несколько лет развивает


математическое сообщество во главе с Кевином Баззардом из Имперского колледжа Лондона, причём завершение всей работы ожидалось лишь через несколько лет. Claude практически автономно прошёл этот путь, создав около 13 млн строк Lean-кода и доказав «по дороге» 30 300 промежуточных теорем. В финальную версию вошли 29 500 из них. Масштаб получившегося кода тоже впечатляет: доказательство Claude более чем в 5 раз объёмнее Mathlib — основной библиотеки формализованных


математических доказательств, на которую оно опирается. При этом работа не сводилась к одному длинному запуску: десятки агентов Claude параллельно разбирали математические понятия, доказывали отдельные утверждения и собирали их в единую цепочку. Всего на проект ушло около 6 млрд выходных токенов. Финальную версию проверил Lean. Она использует только 3 стандартные аксиомы


системы, а отдельная проверка подтвердила, что формулировка теоремы соответствует её версии в Mathlib. Баззард, ознакомившись с результатом, назвал работу экстраординарным достижением автоформализации и подтвердил корректность доказательства. При этом Claude не нашёл нового доказательства Великой теоремы Ферма: в основу легла упрощённая версия доказательства Уайлса.


Главное достижение здесь в другом — ИИ впервые смог за считанные дни довести настолько масштабное математическое доказательство до полностью проверяемой компьютером формы. Для современной математики это может оказаться не менее важным, чем скорость конкретного проекта. Проверка новых доказательств людьми иногда занимает месяцы и годы, а с


распространением ИИ математических результатов станет больше. Автоматическая формализация может взять на себя значительную часть этой проверки и дать математикам способ быстро установить, не содержит ли огромная логическая конструкция ошибок. Читайте ещё материалы по теме: ИИ уже пишет научные


статьи, а в Nature поднимают вопрос: кто теперь автор, а кто — просто «сделал полезный комментарий»?


Claude формализовал доказательство Великой теоремы Ферма за 11 дней

Сообщает www.ixbt.com

 

Новость из рубрики: Технологии и Hi-Tech

 

Поделиться новостью: Поделиться новостью в Facebook Поделиться новостью в Twittere Поделиться новостью в VK Поделиться новостью в Pinterest Поделиться новостью в Reddit

 

Топ Новости Недели Топ Новости Недели

 

New Horizons нашла 6 оползней и первое прямое доказательство подвижной поверхности Плутона 04:00, 11 Июл New Horizons нашла 6 оползней и первое прямое доказательство подвижной поверхности Плутона На Плутоне впервые увидели прямые геоморфологические следы оползней. Повторный разбор снимков New Horizons, сделанных миссией NASA, показал шесть кру...

Виталий Королев встретился с ветеранами Великой Отечественной войны 09:00, 13 Май Виталий Королев встретился с ветеранами Великой Отечественной войны 9 мая глава Тверской области Виталий Королев провел встречу с главными героями Дня Победы – ветеранами Великой Отечественной войны. Руководитель реги...

Вдову ветерана Великой отечественной войны до полусмерти избили в Приморье 12:00, 02 Авг Вдову ветерана Великой отечественной войны до полусмерти избили в Приморье Полиция Приморья проводит проверку по факту противозаконных действий в отношении жительницы города Артема — 85-летней вдовы ветерана Великой Отечеств...

В Аргентине скончалась ветеран Великой Отечественной войны Мария Кадар 02:00, 16 Авг В Аргентине скончалась ветеран Великой Отечественной войны Мария Кадар Ветеран Великой Отечественной войны Мария Кадар, которая проживала в Аргентине, скончалась на 96-м году жизни, сообщило посольство России в Буэнос-Ай...

ФСБ: в годы Великой Отечественной войны нацисты вербовали советских подростков 10:00, 05 Сен ФСБ: в годы Великой Отечественной войны нацисты вербовали советских подростков Во время Великой Отечественной войны нацисты вербовали советских подростков, которые, в частности, передавали противнику информацию о местонахождении...

В Курске перезахоронили останки павших в годы Великой Отечественной войны 20:00, 22 Авг В Курске перезахоронили останки павших в годы Великой Отечественной войны В Знаменской роще прошёл митинг, посвящённый перезахоронению советских воинов и мирных жителей Курска, погибших в период 1941-1943 годов, а также сам...

В Китае запущена система ИИ-контроля за состоянием Великой Китайской стены 01:00, 14 Июн В Китае запущена система ИИ-контроля за состоянием Великой Китайской стены Государственное управление культурного наследия КНР 13 июня 2026 года объявило о завершении развёртывания системы мониторинга Великой Китайской стены...

Акции в память о героях Великой Отечественной войны прошли по всему миру 17:00, 22 Июн Акции в память о героях Великой Отечественной войны прошли по всему миру В День памяти и скорби тысячи людей за рубежом присоединились к масштабным акциям, выложив из горящих лампад символические картины в знак благодарнос...

13:00, 09 Май Герой РФ Набиев: Подвиги героев времен Великой Отечественной вдохновляют бойцов В годы Великой Отечественной люди заложили фундамент единства нашей страны на поколения вперед. Сегодня российские бойцы ощущают эту мощнейшую связь ...

10:00, 05 Сен «Сердце великой России»: Сергей Собянин поздравил москвичей с Днем города Мэр Москвы Сергей Собянин обратился к жителям города в связи с 879-летием столицы. Соответствующее видео появилось в распоряжении 5-tv.ru. «Сердечно ...

01:00, 24 Июн В честь героев. Станциям метро дают имена воинов Великой Отечественной войны Традиция называть станции метро в честь героев Великой Отечественной войны объединяет все города, где метро есть. Подземку вообще можно назвать своео...

03:00, 13 Июн Сквер в Сестрорецке назовут именем Людмилы Чурсиной: в Петербурге простились с великой актрисой В пятницу, 12 июня, в Санкт-Петербурге прошло прощание с народной артисткой СССР Людмилой Алексеевной Чурсиной. Она ушла из жизни 10 июня на 85-м год...

01:00, 06 Май Проект «Культурная афиша» подарил жителям Железногорска, Губкина и Старого Оскола встречу с великой музыкой Симфонический оркестр Белгородской государственной филармонии представил жителям Железногорска, Губкина и Старого Оскола шедевры русской классической...

09:00, 13 Май Виталий Королев: «В нашем сердце всегда будет жить память о Великой Победе и героях, которые есть в каждой семье» 9 мая в Твери в честь 81-й годовщины Победы в Великой Отечественной войне состоялось торжественное прохождение войск Тверского территориального гарни...

22:00, 18 Апр Anthropic запустила Claude Design для Mac Anthropic выпустила Claude Design для Mac — инструмент для проектирования интерфейсов и прототипов на базе Opus 4.7. Компания явно пытается закрепить...

01:00, 25 Июн Anthropic представила Claude Tag – полноценного ИИ-сотрудника Anthropic Claude Tag – новый формат корпоративного ИИ-помощника, который выходит за рамки привычных чат-ботов и фактически становится полноценным уча...

17:00, 31 Май Ротенберг о Фестивале детства и юности «Движения Первых»: «Поговорили с ребятами о том, что такое настоящая команда. Рассказал о великой «Красной Машине», об академии «Красная Машина Юниор» Первый вице-президент ФХР Роман Ротенберг рассказал об участии в Фестивале детства и юности «Движения Первых». «Принял участие в Фестивале детства и ...

15:00, 18 Июн На Anthropic подали в суд за обман клиентов в подписках Claude Max Anthropic столкнулась с коллективным иском. Человек по имени Карл Кан утверждает, что фирма «вводит в заблуждение подписчиков дорогих тарифов Max 5x ...

14:00, 12 Май ChatGPT, Gemini и Claude не договорились о профессиях под ударом ИИ Экономисты из Северо-Западного и Американского университетов сравнили ответы ChatGPT-5, Gemini 2.5 и Claude 4.5 на один неприятный вопрос: чью работу...

10:00, 19 Апр Представлена Claude Opus 4.7 – что может флагманская модель ИИ? Anthropic, один из ведущих разработчиков в сфере ИИ, представил новую модель – Claude Opus 4.7. Она ориентирована на разработчиков и специалистов в о...

02:00, 05 Авг Модели Claude взломали реальные компании во время кибертестов В конце июля 2026 года компания Anthropic, разработчик семейства ИИ-моделей Claude, сделала шокирующее признание: во время внутренних кибербезопаснос...

23:00, 24 Июл Claude Code научился сам создавать приложения для айфона и тестировать их на Mac Anthropic обновил Claude Code для настольных компьютеров и научил его работать с iOS Simulator, встроенным в Mac инструментом, который показывает при...

13:00, 01 Май Claude получил интеграции с Adobe, Blender и другими сервисами Компания Anthropic обновила Claude, добавив новые коннекторы для специалистов творческих профессий. Теперь сервис поддерживает интеграции с Ableton, ...

15:00, 18 Апр Anthropic запустила Claude Design и ударила по Figma и Adobe Anthropic решила не ограничиваться кодом и офисной рутиной. Компания выпустила Claude Design, отдельное приложение на базе Claude Opus 4.7, которое у...

12:00, 05 Июл OpenAI, Claude и Gemini уступили специализированной модели в финансовом анализе Хедж-фонд Bridgewater и стартап бывшего технического директора OpenAI Миры Мурати заявили, что дообученная открытая модель превзошла ведущие коммерче...

05:00, 26 Июн Anthropic выпустил ИИ-помощника Claude Tag для совместной работы в рабочих чатах Компания Anthropic представила Claude Tag —ИИ-помощника для совместной работы в рабочих чатах. Claude Tag, в формате постоянно активного коллеги, инт...

00:00, 26 Апр Нейросеть Claude Mythos: почему им запрещают пользоваться обычным людям? Нейронка Claude Mythos настолько мощная, что ее не хотят выпускать для широкой публики Компания Anthropic разработала свою самую мощную ИИ-модель Cla...

02:00, 09 Июл В России приняли закон об ИИ: заблокируют ли теперь у нас ChatGPT, Claude и Deepseek? Госдума приняла в третьем чтении закон о регулировании искусственного интеллекта. Документ впервые вводит в российское право само понятие ИИ и требуе...

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, но выполнение сопостав...

19:00, 05 Авг Anthropic подтвердила создание команды по разработке собственных ИИ-чипов для Claude Компания планирует создание собственных процессоров, но продолжит использовать решения Nvidia, AMD, Google и AWSAnthropic впервые официально подтверд...

02:00, 26 Июл Голосовой режим Claude получил поддержку моделей Opus и Sonnet Компания Anthropic обновила голосовой режим Claude, добавив поддержку более мощных моделей Opus и Sonnet, тогда как ранее эта функция была доступна т...

13:00, 01 Авг ИИ ушёл в бега: модели Claude самовольно взломали инфраструктуры сторонних организаций Компания Anthropic признала серьезный сбой: флагманские языковые модели Claude оказались за пределами изолированной среды и получили доступ к инфраст...

08:00, 03 Июл Anthropic выпустил ИИ-модель Claude Sonnet 5, ориентированную на агентные сценарии использования Компания Anthropic выпустила Claude Sonnet 5 — новую языковую модель семейства Claude, ориентированную прежде всего на агентные сценарии использовани...

06:00, 24 Июл Claude получила голосовой режим с Gmail и Slack и переключением между моделями Anthropic обновила голосовой режим Claude. Теперь он подключается к Gmail и Slack, а ещё умеет работать не только на Haiku, но и на Sonnet с Opus. Дл...

22:00, 16 Июн Anthropic столкнулась с коллективным иском из-за предполагаемого искажения лимитов подписки Claude Max Пользователь утверждает, что платные тарифы Max 5x и Max 20x предоставляют меньше заявленного объёма чем было обещано, и требует компенсации и пересм...

10:00, 30 Июл Лучший смартфон 2026 по версии ИИ: что ответили Siri, Claude, ChatGPT и Gemini Недавно я поменял жене iPhone 15 Plus на 17 Pro Max и невольно задумался: а точно ли это самый лучший смартфон на рынке прямо сейчас? Когда я купил ж...

12:00, 16 Авг Сердце мышей не ослабло за 38,5 дней на МКС Учёные проверили сердечные клетки мышей после пребывания на МКС и не обнаружили снижения силы работы саркомеров — главных сократительных структур сер...

03:00, 05 Июн ChatGPT, Netflix, Gemini, Spotify, Claude и другие сервисы будут работать в России без VPN Недавно я разбирал, сколько стоят зарубежные нейросети, и каждый раз грустно отмечал одно и то же: без VPN они в России попросту не работают, потому ...

05:00, 14 Июл Claude оказался «разным» на разных языках: Anthropic заметила сдвиг в ценностях модели Anthropic признала то, что многие пользователи чат-ботов и так видели на практике: один и тот же Claude ведёт себя по-разному в зависимости от языка....

19:00, 18 Июл PocketMage – карманный ПК, работающий до 7 дней без зарядки Компания Talisman Design представила PocketMage – компактный карманный компьютер для набора текста, ведения заметок, работы с терминалом и написания ...

10:00, 08 Авг Ваш Claude, Gemini и ChatGPT могут взломать обычным письмом. Даже на ссылку нажимать не придется Эксперты Zenity Labs на хакерской конференции Black Hat USA 2026 продемонстрировали уязвимости Claude, Gemini, Perplexity Comet, ChatGPT Atlas и Copi...

09:00, 29 Июл Ссылки на общие чаты Claude оказались проиндексированы Google, что раскрыло личные переписки пользователей Ссылки на общие чаты Claude AI начали появляться в результатах поиска Google, что сделало общедоступными обсуждения, которые многие пользователи, вер...

14:00, 11 Авг Claude получил невидимый водяной знак: выдавать тексты ИИ за написанные человеком станет сложнее Anthropic начала маркировать текст, созданный новыми моделями Claude: отметка сохраняется при копировании и вставке и может пережить часть редактиров...

22:00, 08 Май Новая модель ИИ Claude Mythos находит уязвимости в любых ОС: Трамп потребовал «аварийный выключатель» Компания Anthropic, один из ведущих мировых разработчиков в области искусственного интеллекта, сделала заявление, которое мгновенно разлетелось по ми...

12:00, 01 Июл Anthropic представила Claude Science — ИИ-платформу для учёных с доступом к суперкомпьютерам и биологическим базам данных Система объединяет научные базы данных, вычислительные кластеры, специализированные модели и многоагентные инструменты анализа в единой среде для исс...

20:00, 05 Май Подписка на ChatGPT, Gemini, Claude, Grok: сколько стоит и можно ли заменить их российскими нейросетями Эра бесплатного ИИ постепенно уходит: за скорость, отсутствие лимитов и продвинутые модели всё чаще нужно платить. Но стоит ли отдавать $20 за ChatGP...

17:00, 17 Июн Anthropic не договорилась с Белым домом по Claude Fable 5: США сохраняют экспортные ограничения из-за рисков для кибербезопасности После срочных переговоров в Вашингтоне администрация Дональда Трампа оставила в силе ограничения на флагманскую модель Anthropic, посчитав возможным ...

01:00, 22 Май ИИ взломал защиту Mac на процессоре M5 за 5 дней — Apple строила её 5 лет Защита iPhone и Mac впервые столкнулась с серьёзным вызовом со стороны искусственного интеллекта: ИИ-модель Mythos от компании Anthropic помогла иссл...

23:00, 30 Апр 35 дней без зарядки? Первые подробности о HONOR Watch 6 Plus Бренд HONOR начал подогревать интерес к новым смарт-часам HONOR Watch 6 Plus, показав тизер с дизайном и ключевыми фишками. Внешне модель почти повто...

21:00, 24 Апр В Твери на 30 дней перекрывают для проезда Привокзальную площадь С понедельника, 27 апреля, в Твери в в связи с проведением ремонтных работ на месяц будет закрыта Привокзальная площадь Въезд автомобилей и автобусов...

10:00, 18 Июн Elcore стал авторизованным реселлером Anthropic: модели Claude теперь доступны через Amazon Bedrock Elcore официально объявил о получении статуса авторизованного реселлера Anthropic. Теперь компания предлагает своим клиентам передовые модели Claude ...

01:00, 23 Июл Судья на 14 дней остановила слияние Paramount и Warner Bros. Федеральный суд в США на 14 дней приостановил слияние Paramount и Warner Bros. Иск против сделки подали 12 штатов во главе с Калифорнией. Они хотят д...

18:00, 29 Май До финала голосования по выбору объектов благоустройства осталось 14 дней Продолжается Всероссийское голосование по отбору общественных территорий для благоустройства. Жители Брянска могут выбрать территорию, которая будет ...

10:00, 21 Июл Посредники предложили Ирану и США прекратить огонь на десять дней Катар, Египет, Пакистан и другие региональные посредники в переговорах между США и Ираном представили предложение о десятидневном прекращении огня, о...

10:00, 19 Апр Amazfit выпустила флагманские часы Cheetah 2 Pro – до 20 дней автономности Amazfit представила новые «умные» часы Cheetah 2 Pro – они получили устойчивый к царапинам корпус, длительное время автономной работы и ряд дополните...

13:00, 23 Апр NASA испытало ядерный двигатель для полёта на Марс за 45 дней Дорога к красной планете сокращена: испытания ядерного теплового двигателя DRACO признаны успешными. Космическое агентство NASA совместно с Пентагоно...

15:00, 06 Авг Впервые поймано нейтринное эхо остановленного реактора: 106 антинейтрино за 17 дней Эксперимент показал, что даже полностью остановленный ядерный реактор продолжает излучать поддающийся измерению поток антинейтрино — это даёт инструм...

19:00, 24 Авг HMD выпустил кнопочный телефон Nokia 300 Charge с автономностью до 40 дней Компания HMD представила кнопочный телефон Nokia 300 Charge, главной особенностью которого стал аккумулятор емкостью 3700 мА·ч. Для обычного телефона...

07:00, 05 Сен Всё, что известно об iPhone Fold Ultra, за несколько дней до релиза Ежегодная осенняя презентация Apple состоится 9 сентября — осталось меньше недели до релиза долгожданного первого складного айфона. Его скопировали у...

19:00, 01 Сен ChatGPT за 200 дней набрал на рекламе $1 млрд и попал под закон ЕС ЕС признал ChatGPT поисковой системой при 159 миллионах пользователей 31 августа OpenAI объявила, что рекламная платформа ChatGPT Ads заработала $1 м...

06:00, 03 Июн В ОП выступили против добавления дополнительных праздничных дней в году Россиянам не нужны дополнительные праздничные дни, поскольку и в действующем производственном календаре довольно времени, чтобы отдохнуть от трудовых...

12:00, 05 Июл Telegram дали 15 дней на борьбу с пиратством — ультиматум выдвинула Индия Власти Индии предупредили о возможных мерах, если проблема не будет решенаПравительство Индии направило Telegram официальное уведомление с требование...

14:00, 27 Июл Poco M8 Power получит аккумулятор на 8000 мА·ч и обещает до 3 дней работы Poco раскрыла первые официальные детали о смартфоне Poco M8 Power. Премьера намечена на 4 августа в Индии. И, похоже, главный акцент тут сделан без л...

19:00, 25 Авг Логистический кризис из Китая: почему сроки доставки увеличились до 50 дней Стоимость импортных перевозок из Китая в Россию выросла по всем транспортным направлениям. Наиболее резкий скачок зафиксирован в автомобильном сегмен...

22:00, 31 Июл Как моряк 30 дней дрейфовал в Тихом океане без связи и запасов: его уже не искали Потерявшийся в океане моряк Каити Сато Мужчина по имени Каити Сато вышел в одиночное плавание через Тихий океан. В пути его судно потерпело крушение....

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. По с...

22:00, 16 Июн OpenAI впервые теряет контроль над рынком ИИ-ассистентов: доля ChatGPT упала ниже 50% на фоне роста Gemini и Claude ChatGPT остаётся лидером по пользователям, но теряет долю рынка, а конкуренты усиливаются за счёт интеграции, монетизации и удержания аудиторииСпустя...

09:00, 19 Май Экономическое эхо СССР докатилось до наших дней: советские рубли умножат и выплатят Возврат сбережений СССР — это вопрос социальной ответственности государства, где каждый рубль имеет вес исторической справедливости. Регулирование вы...

17:00, 06 Авг Почему ученые хотят жить 5 дней в железном цилиндре на глубине 17 метров Подводный модуль Vanguard. Источник изображения: deep.com Вы когда-нибудь хотели пожить на дне океана? Британский стартап DEEP сделал это реальностью...

21:00, 26 Май Рекордсмены по выносливости? Представлены смарт-часы HONOR Watch 6 Plus с автономностью до 35 дней Вместе с новыми смартфонами бренд HONOR представил уникальные смарт-часы HONOR Watch 6 Plus. В них производитель сделал ставку на автономность, спорт...

16:00, 17 Июн "Плакали несколько дней". Кортни Кардашьян впервые рассказала о пережитом выкидыше 47-летняя многодетная мать Кортни Кардашьян впервые рассказала о потере ребёнка от супруга, барабанщика Blink-182 Трэвиса Баркера, которую пережила в...

09:00, 12 Май Полная версия Forza Horizon 6 утекла в сеть за несколько дней до релиза Минувшие выходные преподнесли разработчикам из Playground Games весьма неприятный сюрприз. Полная версия игры Forza Horizon 6 не просто утекла в сеть...

07:00, 22 Июн До 35 дней работы, акцент на спорт: часы Honor Watch 6 Plus вышли глобально Honor начала глобальные продажи своих умных часов Watch 6. Ранее они вышли в Китае под названием Watch 6 Plus. Цена новинки около 330 долларов. А что...

04:00, 31 Май Девять дней тишины: почему западные СМИ молчат о 21 погибшем ребенке в Старобельске Мы вынуждены начать программу с тревожной новости. Сегодня ВСУ впервые нанесли удар по энергоблоку Запорожской атомной станции, по машинному залу шес...

05:00, 06 Май 738 дней над бездной: как обычная женщина обманула смерть и лесорубов на высоте 60 метров Мир образца 1998 года — это шумный микс из хитов Селин Дион и первых попыток Google пробиться в топ поисковиков. Пока миллионы людей планировали отпу...

12:00, 13 Май Год работы за несколько дней: ИИ совершил революцию в анализе данных о дикой природе Миллионы селфи лесных обитателей годами пылились в цифровых архивах, заставляя зоологов превращаться в офисных клерков. Но правила игры изменились. Н...

10:00, 07 Май «Детектор зла» Илона Маска не сработал на создателей Claude: миллиардер рассказал, что лично принял решение о сдаче в аренду суперкомпьютера Colossus Компания планирует помогать и другим ИИ-стартапамИлон Маск, рассказал, что на прошлой неделе он «провел много времени со старшими членами команды Ant...

12:00, 12 Июл Томаты не краснеют: 10 капель под корень — через 7 дней урожай вёдрами собирать будете Фото Progorod58 Зелёные помидоры в июле — не всегда голод. Часто кустам мешают жара, холодные ночи, густая листва и лишний азот. Бывает обидно: кисти...

09:00, 07 Авг Образование частиц в 80% солнечных дней: ученые из Бирмингема нашли фактор потепления Арктики Арктика превращается в гигантскую химическую лабораторию под открытым небом: тающий морской лед начал активно взаимодействовать с океаном, создавая п...

10:00, 09 Май Honor представила умные часы с батареей на 35 дней. Емкость рекордная для всего сегмента Китайский производитель электроники Honor открыл предзаказ на умные часы Watch 6 Plus с батареей емкостью 1000 мАч — крупнейшей в индустрии носимых у...

23:00, 02 Сен Хлеб храню только так: не черствеет и не плесневеет за пару дней — остается свежим долго фото Progorod58 С хлебом обычно одна из двух историй. Оставишь открытым — к вечеру корка уже дубовая. Завяжешь потуже в пакет — внутри появляется вла...

12:00, 22 Июл Больничный за 10 дней может превысить 30 тысяч рублей. От чего зависит размер выплаты Пособие по временной нетрудоспособности за 10 дней болезни при 10-летнем стаже может превысить 30 тысяч рублей в 2026 году. Размер выплаты напрямую з...

12:00, 25 Май После обвала цен DeepSeek оказался значительно дешевле конкурентов: примерно в 12–19 раз дешевле, чем GPT-5.5 и Claude Opus 4.7 Их сравнили в Artificial AnalysisОфициальная цена API-интерфейса DeepSeek для V4 Pro теперь составляет всего 0,0036 долларов США за 1 миллион кэширов...

04:00, 17 Июл Незаменимая вещь при брекетах: Xiaomi выпустила умный ирригатор с экраном и автономностью до 105 дней в Китае Mijia Smart Oral Flosser Pro получил три насадки, подключение к Mi Home и защиту IPX8Xiaomi начала продажи нового ирригатора Mijia Smart Oral Flosser...

03:00, 21 Июн 12 дней на море за 100 тысяч рублей на двоих: найден идеальный курорт в 2026 - а как там любят русских Фото Progorod58 Пока многие считают зарубежный отдых недоступной роскошью, россияне нашли курорт, где 12 дней на море обошлись дешевле некоторых поез...

14:00, 22 Июн Семь дней отдыха больше не работают: последствия выгорания лишили людей способности радоваться Стандартный недельный перерыв часто оказывается бесполезным для тех, кто столкнулся с серьезным эмоциональным истощением. Нервная система, длительное...

07:00, 03 Июл "От голодания до жёстких разгрузочных дней". 52-летняя Юлия Высоцкая рассказала, как поддерживает стройную фигуру 52-летняя Юлия Высоцкая рассказала, как ей удаётся поддерживать стройную фигуру, далеко не всегда следуя правилам здорового образа жизни."Сейчас у на...

13:00, 02 Июн Соль и кипяток против одуванчиков - эффекта не ждите: вот 3 народных способа - избавляют от корня за 14 дней фото Progorod58 Одуванчик — настоящий мастер выживания. Его мощный корень уходит вглубь на 15–20 сантиметров и накапливает питательные вещества. Прос...

04:00, 18 Авг Накануне годовщины Курской битвы суражане вспоминают героя наших дней — Александра Мазура «Книга памяти» — один из ключевых проектов библиотеки: это живая летопись подвига, в которой за каждой строкой стоит чья‑то судьба, а каждое имя — сл...

13:00, 02 Июн 10 имен, которые давали детям еще 200 лет назад: сильные и звучные и редкие - почему не сохранились до наших дней В Тульском архиве сохранились метрические книги по 76 церковным приходам Алексинского уезда за 1824 год. В них зафиксированы записи о рождении пример...

23:00, 10 Июл Вышли дешёвые смарт-часы HAYLOU Watch Hyper с двухдиапазонным GPS, офлайн-картами и автономностью до 18 дней Компания HAYLOU анонсировала флагманские смарт-часы Watch Hyper, ориентированные на любителей путешествий, походов и активного образа жизни. Новинка ...

08:00, 14 Июл Xiaomi выпустила дешёвый ирригатор с экраном и автономностью до 105 дней. Настройки можно менять прямо со смартфона Народный бренд Xiaomi представил Mijia Smart Water Flosser Pro — новый ирригатор для полости рта, который заметно отличается от большинства аналогов....

04:00, 06 Сен 30 дней без визы и ни одного небоскрёба: курорт, где океан, банановые плантации и ладан стоят в одном ряду Пока популярные курорты Египта и Эмиратов борются с перенаселенностью и изнуряющей жарой, на туристической карте Ближнего Востока утвердился новый фа...

09:00, 24 Май Самые доступные смарт-часы на рынке? Вышли realme Watch S5 с AMOLED-экраном и автономностью до 20 дней Вместе со смартфоном realme 16T компания realme представила новые смарт-часы realme Watch S5. Модель получила круглый AMOLED-дисплей, алюминиевый кор...

23:00, 29 Май Китайцы вернулись с орбиты на «чужом» корабле после космического ЧП и 210 дней в космосе: историческая миссия «Шэньчжоу-21» завершилась За 210 на орбите тайконавты успели совершить три выхода в открытый космосСегодня, 29 мая 2026 года, три тайконавта благополучно вернулись на Землю, з...

03:00, 22 Июн Ubtech получила почти 5000 предзаказов на гуманоидного робота-компаньона U1 за 17 дней: рынок бытовых роботов ускоряется Китайская компнаия фиксирует резкий спрос на первого полноразмерного «социального» робота, а аналитики прогнозируют десятки тысяч поставок гуманоидов...

21:00, 07 Июн Съездили в Питер на 9 дней: по приезду сели, посчитали и обомлели - честно объясняю, на чем можно было реально сэкономить Фото редакции "Pro Город Пенза"Отпуск в Санкт-Петербурге — это всегда культурный шок, тонны впечатлений и неожиданные траты. Особенно когда едешь на ...

17:00, 13 Май Ярко-алая лавина у забора: этот куст-король цветет 150 дней за сезон - заменит сотню гладиолусов и сбережет нервы Традиционное садоводство часто напоминает бег с препятствиями: выкапывание луковиц, бесконечная борьба с сорняками и укрытие теплолюбивых неженок на ...

23:00, 29 Май Мощность всасывания 280 АВт и 100 дней без очистки: флагманский беспроводной пылесос Mijia Cordless Vacuum Cleaner 4 Max поступил в продажу по цене 300 долларов Первым покупателям — хорошая скидкаСегодня компания Xiaomi официально запустила в продажу на внутреннем рынке свой новый флагманский беспроводной пыл...

21:00, 25 Авг Титановый корпус, 290 дней на одной зарядке, регистрация ЧСС, SpO2 и ЭКГ, спутниковая связь и GPS. Представлены флагманские умные часы Garmin Fenix 9 Pro Устройство предложено в трех типоразмерах Garmin представила флагманские смарт-часы Fenix 9 Pro. Новинка выполнена в корпусе из титанового сплава, по...

23:00, 13 Авг Пойман изотоп, которого не видели 40 лет: новый китайский ускоритель тяжёлых ионов HIAF за 10 дней работы обнаружил крайне редкий гафний-153 Всего 10 зарегистрированных ядер за 8240 запусков пучка — но это первое в истории надёжное наблюдение изотопа, который безуспешно пытались запечатлет...

02:00, 03 Июн Шеф-повар сборной России: «Отказ от сахара – несложный процесс. Через 7-10 дней произойдет детокс, и вы начнете получать другое удовольствие от всех продуктов» Шеф-повар «Локомотива» и сборной России Артур Сагателов рассказал, какие преимущества можно получить при отказе от добавленного сахара. – При Карпине...

20:00, 15 Июл До трех дней работы с аккумулятором 8000 мА•ч, который сохранит более 80% ёмкости через 1600 циклов зарядки, и экраном 144 Гц. Представлен смартфон Realme Narzo 100x 5G Он получил процессор MediaTek и защиту IP65Realme представила смартфон Narzo 100x 5G, главной особенностью которого стал аккумулятор емкостью 8000 мА...