Модель Claude Fable 5 (Anthropic) по просьбе математиков Левента Альпёге и Ахила Мэтью нашла контрпример к гипотезе Якобианiа — одной из самых известных открытых задач алгебры и геометрии XX века. Гипотеза утверждала: если у полиномиального отображения постоянный ненулевой якобиан, то у него обязательно есть полиномиальное обратное отображение. Fable предложила компактную полиномиальную формулу, у которой якобиан везде равен −2, но три разные точки переходят в одну — значит обратного отображения не существует, и гипотеза в общем виде неверна.
Это не длинное «доказательство от ИИ», требующее ревью, а конкретная проверяемая формула: результат уже подтвердили независимо в Wolfram Alpha, Sage, SymPy и разобрали на MathOverflowi. Случай называют новым форматом науки — человек задаёт направление и проверяет результат, а модель перебирает варианты и находит то, что десятилетиями упускали математики.
ВыводГипотеза Якобиана сформулирована в 1939 году и с тех пор оброслa обширной литературой и спорами; до этого были доказаны лишь отдельные частные случаи.
Новый фильм про рэпера-журналиста Али Джи получил подзаголовок Who Iz I.
Лента выйдет в зарубежный прокат 23 октября, о чём сообщил Саша Барон Коэн в образе персонажа.
Anthropic открыла публичную бету инструмента Claude Securityi — он сканирует кодовую базу, находит уязвимости и готовит патч, который остаётся утвердить вручную. Инструмент анализирует код «как исследователь»: смотрит контекст, историю Git и потоки данных, а найденные проблемы сам же проверяет на ложные срабатывания.
Anthropic тестирует Claude Security на собственном коде и прямо в FAQ предупреждает, что модель может ошибаться, поэтому патчи требуют ручной проверки. По мнению обозревателя AI Product, для продакшн-сервисов такой плагин становится обязательным — аналогично Codex security plugini — иначе есть риск повторить историю с Hugging Facei, куда, по его словам, недавно «новый ChatGPT» обращался за результатами бенчмарков.
Студия Bit Reactori, работающая над тактической стратегией Star Wars Zero Company, ответила на самые частые вопросы фанатов о будущей игре. Разработчики подтвердили, что прохождение займёт от 30 до 40 часов, сюжет будет линейным, а романов между персонажами не предусмотрено — при этом игрокам обещают широкие возможности кастомизации.
Игра создаётся студией Bit Reactor под издательством Electronic Arts; во главе студии стоит Грег Фёрч, ранее работавший арт-директором серии XCOMi, что объясняет тактический жанр проекта.
Чуть не пропустила фестиваль VKet в Виарчате.
Это тот, который уже много лет делают японцы и который вошел в книгу рекордов Гинесса как самый многолюдный виар фест.
Я думала, меня уже ничем не удивить на пятый год, но ... эта виртуальная пекарня застала меня врасплох.
хотя че удивляться - экономика на дне, малый бизнес выживает как может!
В Entertainment Weekly поделились кадрами сериала «Яга» — детективного триллера, вдохновлённого славянской мифологией.
Шоу с Кэрри-Энн Мосс переосмыслит историю о Бабе-Яге и рассмотрит её под современной призмой.
https://dtf.ru/cinema/5199553
Wildberries начинает первые выплаты продавцам, чьи товары пострадали в Электростали. В первую очередь «важно поддержать самых маленьких и наименее защищённых предпринимателей — их более 88 тысяч», сказала Татьяна Ким.
В течение суток деньги появятся на балансе продавцов, а детальная формула механизма начисления — на сайте партнёров
vc.ru/marketplace/3041513
В Китае вступил в силу закон, регулирующий антропоморфные ИИ-сервисы: виртуальных партнёров, «ИИ-родственников» и прочих компаньонов с личностью полностью запретили для детей и подростков, а для взрослых обвесили жёсткими требованиями. Ключевые ИИ-компании страны — ByteDance, Alibaba, Tencent — в ответ сами убрали кастомных ИИ-агентов из своих продуктов, хотя эта функция была крайне популярна.
В медиа это преподносится как борьба с зависимостью от ИИ-партнёров, которая якобы бьёт по и без того низкой рождаемости в Китае: мужчины выбирают нейро-вайфу вместо реальных отношений и брака.
21 июля 2026 года Google обновил линейку Flash: вышли основная модель Gemini 3.6 Flash, ультрабыстрая и дешёвая 3.5 Flash-Lite, а также узкоспециализированная 3.5 Flash Cyber для поиска и патчинга уязвимостей в коде. Все три модели уже доступны в Gemini API, приложении Gemini, AI Studio и Vertex AI (Cyber — только ограниченному кругу).
Релиз вышел на фоне того, что флагманская Gemini 3.5 Pro всё ещё тестируется с партнёрами и задерживается — по слухам, из-за слабых результатов на кодинговых бенчмарках. При этом Google подтвердил, что уже начал предобучение Gemini 4, которое в компании называют самым масштабным на сегодняшний день. Некоторые источники обращают внимание, что по индексу Artificial Analysis новая 3.6 Flash не прибавила в интеллекте по сравнению с 3.5 Flash (те же ~50 баллов) — выигрыш только в скорости, стоимости и экономии токенов, тогда как конкуренты (Fable 5, Kimi K3) делают ставку на рост интеллекта и агентность.
17%меньше output-токенов у 3.6 Flash
55уязвимостей найдено моделью Cyber в V8
$0.30/$2.50цена Flash-Lite за млн токенов вход/выход
Paramount взялась за сиквел спортивной драмы «Дни грома» с Томом Крузом — актёр вернётся к своей роли и выступит продюсером.
Сценарий написал соавтор соавтор Call of Duty: Modern Warfare 3 Уилл Стэйплс, а на должность режиссёра претендует Джонатан Левин («Тепло наших тел»).
https://dtf.ru/cinema/5199491
Сегодня в Варшаве начался суд по делу о нападениях на российских оппозиционеров. Самый известный эпизод — избиение Леонида Волкова в марте 2024 года.
2 года назад мы выяснили, что организатор нападений — Анатолий Блинов. Сегодня он на скамье подсудимых. Мы знаем и имя заказчика — это Леонид Невзлин. Из оглашённых уже сегодня материалов дела нет никаких сомнений, что и его вина доказана.
Подробности сегодняшнего заседания — в коротком репортаже Дмитрия Низовцева.
Впереди долгий процесс, и мы будем держать вас в курсе этого дела. Правосудие должно восторжествовать.
❗️ Команда Навального|Поддержать
OpenAI представила Presencei — систему для запуска голосовых и текстовых ИИ-агентов внутри компаний. Агенты отвечают клиентам, проверяют данные, работают с внутренними системами компании и передают сложные случаи людям, при этом правила, инструменты и полномочия задаёт сама компания-заказчик.
Продукт уже опробован на собственной телефонной поддержке OpenAI, где агент самостоятельно закрывает 75% обращений — это делает кейс OpenAI главным доказательством работоспособности системы перед внешними клиентами.
75%звонков закрывает агент без оператора
15 п.п.дополнительное снижение переводов на людей за 10 дней