Главные новости дня

«Гипотезу Римана может доказать анонимный аккаунт»: математик MIT — об опыте работы с GPT-5.5-Pro

Дэвид Туртуреан, аспирант MIT, опубликовал в X решение задачи #696 из списка Эрдёша через GPT-5.5-Pro — и обнаружил, что днем раньше на форуме erdosproblems.com уже появилось детальное частичное решение от анонимного пользователя Treasure42, полученное тем же способом. Это первый публично описанный случай, когда два независимых AI-пайплайна параллельно сошлись на одной открытой математической задаче — и на одном из них вообще не было привязки к реальному имени.

Читать в источнике

habr.com 18.05 - 20:46

Топ темы

Последние новости

18.05 / 20:46

медицина технологии экономика история общество самит планшеты «Счет идет на минуты»: ICL Services выпустила подкаст о том, как новые технологии и ИИ меняют скорую помощь в России

Продуктово-сервисная компания ICL Services представила новый выпуск собственного подкаста «Сервисные хроники», где эксперты компании регулярно обсуждают сложные технологические вопросы в разрезе современности и трендов.

18.05 / 20:46

общество Представлен стендовый компьютерный корпус Portal Advanced для монтажа на стене

Singularity Computers выпустила стендовый компьютерный корпус Portal Advanced для монтажа на стене.

18.05 / 20:24

история общество Знаменитости животный мир Динозавр, похожий на девять слонов: сенсационное открытие в Таиланде

На основе проведенного анализа ученые оценили вес животного примерно в 27 тонн, что эквивалентно весу девяти взрослых азиатских слонов, и его длину до 27 метров. Подробные результаты исследования были опубликованы в престижном журнале Scientific Reports.Это открытие стало результатом международного сотрудничества исследователей из Университетского колледжа Лондона (UCL), Университета Махасаракам, Технологического университета Суранари и Музея Сириндхорн в Таиланде.

18.05 / 20:21

связь технологии закон дети интересное HMD готовит необычный компактный телефон Fame: появились первые изображения

Снимками поделился инсайдер smashx_60. Судя по утечке, новинка получит яркий голубой корпус, сильно скругленные углы и необычно «мягкий» дизайн. На опубликованных фото HMD Fame показан рядом с прошлогодним HMD XploraOne, благодаря чему можно примерно оценить размеры устройства. Судя по всему, речь действительно идет о компактном телефоне, а не просто о слегка уменьшенном смартфоне.

18.05 / 19:59

экономика ученые наука общество Здоровье и красота возраст животный мир Биохимия долголетия – ученые пересмотрели функции витамина B12

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

18.05 / 19:59

продукты здоровье Здоровье и красота питание болезнь животный мир Какие пищевые привычки могут замедлить старение после 50 лет

Ученые уверены, что процессы старения можно замедлить благодаря правильным привычкам и сбалансированному питанию.

18.05 / 19:48

технологии Huawei общество пилот мода и стиль Denza N9 Flash Charge Edition: 912 л.с. и «крабовая походка» для китайской роскоши

Бренд Denza, принадлежащий концерну BYD, официально вывел на рынок флагманский кроссовер Denza N9 Flash Charge Edition. Это не просто очередная попытка войти в сегмент тяжелой роскоши, а демонстрация технических мышц. Автомобиль предлагают в трех конфигурациях по цене от 60 300$ (2 472 000 грн) до 69 100$ (2 833 000 грн). Событие знаково еще и тем, что именно это устройство на колесах стало 500-тысячным экземпляром, сошедшим с конвейера бренда.

18.05 / 19:48

самит steam интересное В Steam стартовал Ocean Fest с большими скидками на Subnautica, Skull and Bones, Darwinʼs Paradox!, Still Wakes the Deep и другие “водные” игры

Valve запустила в Steam очередной тематический фестиваль, который в этот раз посвящен не конкретному жанру, а играм, события которых разворачиваются в океанах и морях.

18.05 / 19:33

Samsung технологии Huawei интересное мода и стиль Samsung может отказаться от серии Galaxy Z Flip уже в следующем году

По данным инсайдера Momentary Digital, компания может отказаться от серии Galaxy Z Flip уже после выхода Galaxy Z Flip 8.

18.05 / 19:29

технологии Broadcom Enterprise Broadcom выпустила VMware Workstation Pro 26H1

Broadcom выпустила обновление для VMware Workstation Pro, популярного программного обеспечения для виртуализации под управлением Windows, Linux и macOS. Версия 26H1 доступна для загрузки с портала поддержки.

18.05 / 19:05

технологии происшествия расследование Группа хакеров пригрозила опубликовать исходный код Mistral AI

Группа хакеров TeamPCP угрожает опубликовать исходный код проекта Mistral AI, если не найдёт покупателя на эти данные. В сообщении на хакерском форуме злоумышленники просят $25 000 за набор из почти 450 репозиториев.

18.05 / 19:05

связь Nvidia политика Инициативу Fedora AI Desktop заблокировали после отмены решения Совета

Инициативу Fedora AI Developer Desktop Initiative заблокировали после того, как два члена Совета решили проголосовать против неё. Ранее поддержка инициативы была единогласной.

18.05 / 19:04

происшествия люди здоровье общество самит симптомы диабет Привычка перед сном, которая может быть предвестником диабета

На что стоит обратить внимание, чтобы заранее распознать угрозу здоровью?

18.05 / 19:04

продукты здоровье общество Здоровье и красота питание кулинария Какие продукты нельзя совмещать на одной тарелке

Какие продукты не стоит сочетать в одном блюде и употреблять одновременно, а какие наоборот приносят больше пользы, если есть их вместе.

18.05 / 18:38

туризм общество самит курорт Где туристам дешево найти кристально чистую воду и тишину в Европе

Вечерняя жизнь курорта сосредотачивается в стильной гавани, где открытые террасы ресторанов позволяют наблюдать за живописными закатами.

18.05 / 18:35

технологии Lenovo представила IdeaPad 5 2-в-1 на Snapdragon X2 — до 33 часов автономности и экран OLED

В основе устройства лежит 3-нм процессор Snapdragon X2 Plus X2P-42-100 с шестиядерной архитектурой. В зависимости от конфигурации ноутбук может оснащаться 16 или 32 ГБ оперативной памяти LPDDR5X, а также SSD-накопителем PCIe 4.0 объемом до 1 ТБ. В базовой версии предлагается 16 ГБ ОЗУ и 512 ГБ памяти.

18.05 / 18:05

Луна самит энергетика интересное астрология Лунный гороскоп на 18-24 мая: что рекомендуется делать в каждый день

Каждый день нашей жизни не похож на другой, и его уникальность во многом определяется характеристиками выпадающих на это время лунных суток.

18.05 / 17:52

финансы деньги общество Эксперт кулинария Дом и интерьер Как быстро найти дополнительные деньги до зарплаты – простые лайфхаки

Масштабная ревизия шкафов и продажа ненужной бытовой техники через интернет позволяют разгрузить жилье и получить быструю финансовую выгоду.

18.05 / 17:52

люди спорт общество книги сон "Лунное дыхание" - методика, которая помогает уснуть за минуты

Эксперты подсказали простой способ быстро успокоить нервы, расслабиться и заснуть.

18.05 / 17:47

происшествия самит стартап ИИ-агент нашел в NGINX критическую уязвимость, которой 18 лет

Исследователи компании depthfirst запустили свой автономный ИИ-агент на исходный код NGINX — и за 6 часов он нашел критическую уязвимость, которая жила с 2008 года. CVE-2026-42945 с рейтингом 9.2 по шкале CVSS позволяет удаленно выполнять произвольный код через комбинацию директив rewrite и set в конфигурации сервера. На NGINX работает почти треть всех сайтов мира, и под угрозой оказались версии от 0.6.27 до 1.30.0 — то есть почти весь жизненный цикл продукта.

18.05 / 17:33

технологии OpenAI сообщила о появлении Codex на смартфонах

OpenAI внедрила мобильную версию инструмента программирования Codex. Она интегрирована в приложение ChatGPT, что позволяет удалённо отслеживать рабочие процессы разработки и управлять ими.

18.05 / 17:30

пенсия история электромобиль интересное мода и стиль Ford ищет спасение в Европе: пять новых моделей, французские платформы и дух Bronco

Похоже, в Ford наконец осознали, что стратегия «вырезать все популярное и оставить только дорогие электрокары» работает не совсем так, как ожидали акционеры. После отправки на пенсию легендарных Fiesta и Focus, модельный ряд бренда в Европе стал напоминать пустыню, где изредка пробегают коммерческие фургоны и единичные Mustang Mach-E. Чтобы исправить ситуацию, компания анонсировала пять новых моделей под загадочным названием Multi-Energy. За этим корпоративным термином скрывается простая идея: если покупатель не хочет чистый электромобиль, мы дадим ему гибрид, а если захочет — то и ДВС.

18.05 / 17:30

общество Sony playstation GBP EUR Sony поднимает цены на базовый тариф PlayStation Plus для новых подписчиков, но не сообщила, в каких регионах

Не так давно Sony подняла цены на консоли PlayStation 5, объясняя это подорожанием чипов оперативной памяти и общей ситуацией на рынке. А сегодня японская компания объявила о повышении цен на один из своих главных сервисов — базовый тариф PlayStation Plus.

18.05 / 17:21

экономика туризм общество женщина пляж Дубай изоляция Первый в мире пляж для женщин открылся в ОАЭ

Введение тотального запрета на использование съемочной техники гарантирует отдыхающим на пляже сохранение личной тайны.

18.05 / 17:21

погода связь технологии самит доллар инвестор животный мир PettiChat: переводчик с языка питомцев собрал больше сотни тысяч долларов на Kickstarter

Теперь на смену догадкам и «советам из интернета» приходит новый подход — искусственный интеллект прямо на ошейнике. Именно на этом строится проект PettiChat, который обещает перевести «мяу» и «гав» на человеческий язык.

18.05 / 17:21

продукты здоровье общество Здоровье и красота питание Перекусы, которые помогают снизить уровень сахара в крови

Чем лучше утолять голод в течение дня, чтобы хорошо себя чувствовать и эффективно контролировать уровень сахара.

18.05 / 17:21

футбол здоровье общество Здоровье и красота мозг болезнь деменция Какой вид спорта может повышать риск деменции

Ученые выяснили, что увлечение футболом в молодости может стать фактором риска в зрелом возрасте.

18.05 / 16:55

Samsung технологии Huawei интересное Греческий эксклюзив: раскрыты основные характеристики складных флагманов Galaxy Z Fold 8 и Z Fold 8 Wide от Samsung

Ни для кого не секрет, что в июле Samsung представит новое поколение своих флагманских складных смартфонов и что корейская компания готовит интересную новинку — Galaxy Z Fold 8 Wide, которая войдет в категорию широкоформатных устройств, наравне с представленным в апреле Huawei Pura X Max и будущим iPhone Ultra (Fold).

18.05 / 16:55

общество самит Шоу бизнес Кубики сложились: критики в восторге от LEGO Batman: Legacy of the Dark Knight и называют ее одной из лучших игр LEGO-серии

Всего пара дней осталась до релиза LEGO Batman: Legacy of the Dark Knight — новой игры от студии TT Games, которая с момента анонса называлась “самой масштабной и проработанной частью популярной кубической серии”. Новинка вызывает огромный интерес публики тем, что в легкой и слегка ироничной форме пересказывает события всего жизненного пути Бэтмена с учетом сюжетов большинства медиа-проектов, включая комиксы, сериалы, кино и игры, а также демонстрирует эволюцию Темного Рыцаря от неизвестного борца с преступностью до ночного кошмара самых коварных злодеев Готэма.

18.05 / 16:40

люди животные самит собака симптомы животный мир ТОП-6 тайных признаков того, что вашей собаке плохо

Незаметные признаки, что вашему питомцу нужна помощь и поддержка, назвали специалисты.

18.05 / 16:40

продукты питания культура алкоголь еда Знаменитости напитки кулинария В Лондоне предложили сочетать пиво с неожиданной едой

Кулинарные эксперты уверяют, что печенье с фундуком и какао обеспечивает идеальный баланс вкусов при погружении в пивной бокал.

18.05 / 16:40

люди здоровье спорт общество Здоровье и красота врачи Как избавиться от "компьютерной" сутулости - советы врачей

Многие люди, которые ежедневно работают за компьютером, имеют искривлённую осанку. Но с этим можно бороться.

18.05 / 16:02

продукты происшествия здоровье культура рак питание профилактика Какие продукты могут в разы снизить риск развития рака

Даже небольшая порция таких продуктов ежедневно снижает риск развития большинства видов рака

18.05 / 15:51

технологии люди общество политика курс Принстонский университет впервые за 100 лет вернёт контроль за экзаменами из-за ИИ

В Принстонском университете впервые за 100 лет потребуется наблюдение за экзаменами из-за студентов, использующих искусственный интеллект для списывания. В течение 133 лет кодекс университета позволял сдавать тесты без присутствия преподавателя, но теперь педагоги проголосовали за обязательное наблюдение за всеми очными экзаменами, начиная с этого лета.

18.05 / 15:51

политика самит Эксперимент по переписыванию проекта Bun с Zig на Rust при помощи ИИ-ассистента Claude Code признали успешным

Разработчик Джарред Самнер (создатель и мейнтейнер серверной JavaScript‑платформы Bun) сообщил о признании успешным недавно начатого эксперимента по переписыванию проекта Bun с языка Zig на Rust при помощи ИИ‑ассистента Claude Code. В команде проекта приняли решение о переводе Bun на язык Rust. Переписанный вариант решения на языке Rust принят в основной репозиторий проекта, а код на языке Zig подготовлен к удалению.

18.05 / 15:41

экономика Nvidia общество прогноз Corning Meta Стеклянный голод: почему Meta и Nvidia скупают оптоволокно на годы вперед

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

18.05 / 15:17

связь музыка мода и стиль google Представлен Streamplayer — устройство, превращающее любые колонки в беспроводные

Новинка ориентирована на пользователей, которые не хотят менять уже собранную акустическую систему, но при этом стремятся получить доступ к современным стриминговым сервисам и беспроводному управлению.

18.05 / 15:07

люди Мошенничество туризм деньги общество Лувр валюта ТОП мошеннических схем, которых следует опасаться туристам

Что нужно знать туристам, чтобы не стать жертвами мошенников и аферистов.

18.05 / 15:05

экономика общество курс криптовалюта крипто BTC Курс bitcoin Strategy инвестировала в биткоин еще более $2 млрд

В период с 11 по 17 мая 2026 года компания Strategy, крупнейший корпоративный держатель первой криптовалюты, купила 24 869 BTC за около $2,01 млрд. Это следует из документов, поданных фирмой в Комиссию по ценным бумагам и биржам США (SEC). Средняя стоимость покупки составила $80 985. Благодаря этому общий объем портфеля компании достиг 843 738 BTC на $63,87 млрд. Средняя стоимость уже для портфеля в целом составляет $75 700. На момент подготовки это

18.05 / 15:05

нефть президент Блокчейн криптовалюта Ethereum BlackRock Глава BitMine назвал главный фактор давления на Ethereum

Сооснователь Fundstrat и председатель совета директоров BitMine Том Ли заявил, что главным фактором давления на Ethereum в последние месяцы стал рост цен на нефть на фоне конфликта США, Израиля и Ирана. По его словам, обратная корреляция между активом и нефтью достигла рекордного уровня. С начала конфликта 28 февраля стоимость сырья выросла примерно на 66% — с $65 до более чем $100 за баррель. 18 мая 2026 года котировки нефти вновь резко вы

18.05 / 15:05

продукты экономика visa кибератаки mastercard Dogecoin Revolut запустила физическую криптокарту с Dogecoin

Финтех-компания Revolut представила свою первую физическую криптокарту. Новый продукт позволяет расплачиваться криптоактивами Dogecoin везде, где принимаются Visa и Mastercard. В компании описали запуск слоганом: «физическая криптокарта. Очень легкая. Очень чувствительная к прикосновениям», обыграв мемкультуру вокруг Dogecoin. Среди ключевых особенностей карт

18.05 / 15:05

закон золото общество обыск выплаты криптовалюта Дом и интерьер Главу даркнет-площадки Dream Market поймали из-за доставки золотых слитков на дом

Гражданину Германии Мартину Андресену предъявили обвинения в США по делу об отмывании средств, связанных с даркнет-площадкой Dream Market. По версии следствия, он являлся главным администратором платформы и использовал псевдоним Speedstepper. Как сообщили в прокуратуре США, Андресена арестовали 7 мая 2026 года в Германии в рамках совместной операции американских и немецких правоохранительных органов. Одновременно в его доме и еще двух объектах прошли обыски. Урок 6: Осторожно, мошенники! 31.05.2024 Читать Следствие утверждает, что Андресен отмывал выплаты, полученные от работы Dr

18.05 / 14:55

закон магия самит звезда AMD Дом и интерьер Machenike Mini GTR: Ryzen 7 в корпусе объемом меньше литра

Компания Machenike решила напомнить миру, что мощный компьютер не обязательно должен иметь размеры тумбочки под телевизор. Новый мини-ПК Mini GTR — это попытка втиснуть производительность современного ноутбука в корпус объемом всего 0.67 литра. И, судя по характеристикам, попытка вполне успешная, особенно для тех, кто ценит свободное место на рабочем столе больше, чем RGB-подсветку на полкомнаты.

18.05 / 14:39

LinkedIn общество выплаты Компания LinkedIn уволит 5% сотрудников

Принадлежащая Microsoft компания LinkedIn заявила, что сократит почти 5% сотрудников, и уточнила, что увольнения не связаны с внедрением искусственного интеллекта, сообщает Reuters со ссылкой на свои источники.

18.05 / 14:39

Вышел nginx 1.31

13 мая 2026 года состоялся выпуск высокопроизводительного HTTP‑сервера и многопротокольного прокси‑сервера nginx 1.31.0. Исходный код проекта nginx написан на языке C и распространяется под лицензией BSD. Проект nginx 1.28.0 вышел в апреле 2025 года. Выпуск nginx 1.29 случился в июне 2025 года. Версия nginx 1.30 вышла в апреле 2026 года.

18.05 / 14:39

продукты технологии Toyota общество honda intel В Linux Foundation представили автомобильный дистрибутив AGL UCB 21.0 и платформу SoDeV

13 мая 2026 года в организации Linux Foundation представили автомобильный дистрибутив AGL UCB 21.0 (Automotive Grade Linux Unified Code Base). На базе этого решения развивается универсальная платформа на Linux для использования в различных автомобильных подсистемах, от приборных панелей до автомобильных информационно-развлекательных систем. Также состоялся релиз первого выпуска эталонной платформы AGL SoDeV (Software Defined Vehicle), предназначенной для создания программно определяемых автомобильных систем на базе Automotive Grade Linux.

18.05 / 14:39

технологии общество планшеты токен Software Discover Выпуск обновления открытого инструментария для загрузки прошивок Fwupd 2.1.3

12 мая 2026 года состоялся выпуск обновления открытого инструментария для загрузки прошивок Fwupd 2.1.3. Исходный код проекта написан на C и Python и опубликован на GitHub под лицензией GNU Lesser General Public License v2.1. Выпуск стабильной версии Fwupd 2.0 с поддержкой больших разделов в томах EFI FFS3 и возможностью стабильной работы с большинством типов CRC-32 и CRC-16 произошёл в октябре 2024 года. Проект ведёт разработчик Ричард Хьюз из Red Hat.