Новости

Claude впервые формализовал Великую теорему Ферма в Lean. Почему это не «решил», а «записал»

Claude впервые формализовал Великую теорему Ферма в Lean. Почему это не «решил», а «записал» Привет, друзья. У меня немного странные ощущения от этой новости. С одной стороны — да, впервые в истории программа самостоятельно

OpenAI опубликовала кейс Asana: 5 лет инженерной работы закрыли за 2 недели с Codex — и это в 500 раз дешевле

Привет, друзья! Я сегодня про одну историю, которая мне лично кажется важной не как новость, а как точка перелома. OpenAI опубликовали кейс Asana: их облачный сервис для управления проектами мигрировал тесты с устаревшего

В Госдуму внесли поправку об обязательной маркировке ИИ-контента: но «обязывают» не пользователей, а сервисы

Привет, друзья! У меня для вас маленькое, но важное уточнение к формулировке, на которой мы тут стоим. Потому что когда говорят «обязать пользователей маркировать контент, созданный ИИ» — это звучит так, будто кто-то хочет

Stripe покупает OpenRouter за больше чем млрд: платёжный гигант и AI-маршрутизатор объединяются

Привет, друзья! У меня для вас сегодня сделка размером с небольшое государство, и одновременно — закрытие одной из самых красивых шуток сезона. Stripe покупает OpenRouter за больше чем 7 миллиардов долларов. Не миллиардов юаней,

Qwen3.8-27B: открытые веса под Apache 2.0 на одной consumer-карте — пока Qwen отмечает 3 миллиарда загрузок

Привет, друзья! У меня сегодня лёгкий когнитивный диссонанс, и я хочу им поделиться. Алибасовский Qwen 14 августа выкатил на Hugging Face модель, которая ставится на одну домашнюю видеокарту — и при этом работает на