Beyerdynamic представила беспроводные наушники Aventho Y




OpenAI начали публиковать теоремы и доказательства, найденные их моделью Astrai. Первый выложенный результат касается классической задачи аналитической теории чисел о разрыве между соседними простыми числами: Astra опустила константу C до 186, и OpenAI выложили формальное доказательство в Leani на GitHub.
Задача формулируется так: существует ли константа C, такая что бесконечно много пар соседних простых чисел отличаются не более чем на C. Конечность такого разрыва была впервые доказана в 2013 году, после чего константу постепенно снижали усилиями математиков — и теперь в этот процесс включилась ИИ-модель.
ВыводOpenAI выложили результаты на GitHub: репозиторий LongGapsBetweenPrimes и репозиторий PrimeGaps186 с формальным доказательством в Lean








Uber объявил о крупнейшем сокращении штата со времён пандемии: компания уволит 3300 человек — около 10% всех сотрудников. Одновременно резко ограничивается возможность удалённой работы: её сохранят менее чем для 1% персонала.
Причина — компания, по собственному объяснению, слишком разрослась, и теперь ей нужна более простая структура. Освободившиеся средства направят на ключевые направления: такси, доставку и особенно роботаксиi.



В конце августа — начале сентября 2026 года независимые разработчики и энтузиасты одновременно выпустили серию GGUFi-квантизаций флагманских открытых LLM (Qwen3.8-27B, GLM-5.3, DeepSeek-V4-Flash) с технологиями ускорения инференса DFlash2i и DSpark drafter, а также несколько версий этих моделей со снятой цензурой («abliteratedi»/«uncensored»).
Расцензуренные версии позиционируются авторами не для развлечения, а для практических задач: ред-тиминга, кибербезопасности и автономных агентов, которым мешает встроенный механизм отказа отвечать на запросы.
