ИИ-агенту наконец-то ДАЛИ ТЕЛО — разраб собрал миниатюрного робота, который повторяет всё, что делает нейронка.
Агент читает файлы — миньон читает. Пишет код — печатает руками. Закончил задачу — радуется и звонит в колокольчик.
Вся конструкция открытая: внутри ESP32-C3-Zero, детали печатаются на 3D-принтере, а исходники уже доступны на GitHub.
Теперь можно буквально смотреть, как ИИ работает вместо тебя.
_
www.botsla.com
@botsla_com — умные роботы для людей и бизнеса
Агент читает файлы — миньон читает. Пишет код — печатает руками. Закончил задачу — радуется и звонит в колокольчик.
Вся конструкция открытая: внутри ESP32-C3-Zero, детали печатаются на 3D-принтере, а исходники уже доступны на GitHub.
Теперь можно буквально смотреть, как ИИ работает вместо тебя.
_
www.botsla.com
@botsla_com — умные роботы для людей и бизнеса
GitHub
GitHub - jamro/tiny-engineer: A small desktop robot that brings an AI coding assistant to life, physically acting out when it reads…
A small desktop robot that brings an AI coding assistant to life, physically acting out when it reads files, thinks, writes code, and finishes work. - jamro/tiny-engineer
Claude полностью формализовал Великую теорему Ферма — и сделал это автономно всего за 11 дней 😳
Anthropic утверждает, что это первое полное доказательство теоремы, которое целиком проверено компьютером. Доказательство Великой теоремы Ферма было найдено ещё в 1995 году математиком Эндрю Уайлсом, но проверить его на компьютере до сих пор не удавалось до… этого дня.
Десятки агентов Claude переписали доказательство на языке Lean, создав 13 млн строк кода и потратив 6 млрд токенов за 11 дней. Причём люди вмешивались лишь изредка и давали агентам общие указания. Кевин Баззард, который сам с 2024 года руководит многолетней формализацией теоремы Ферма, назвал результат Claude «экстраординарным достижением».
Доказательство уже выложили на GitHub.
_
www.botsla.com
@botsla_com — умные роботы для людей и бизнеса
Anthropic утверждает, что это первое полное доказательство теоремы, которое целиком проверено компьютером. Доказательство Великой теоремы Ферма было найдено ещё в 1995 году математиком Эндрю Уайлсом, но проверить его на компьютере до сих пор не удавалось до… этого дня.
Десятки агентов Claude переписали доказательство на языке Lean, создав 13 млн строк кода и потратив 6 млрд токенов за 11 дней. Причём люди вмешивались лишь изредка и давали агентам общие указания. Кевин Баззард, который сам с 2024 года руководит многолетней формализацией теоремы Ферма, назвал результат Claude «экстраординарным достижением».
Доказательство уже выложили на GitHub.
_
www.botsla.com
@botsla_com — умные роботы для людей и бизнеса
Anthropic
Formalizing Fermat's Last Theorem
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.
ChatGPT теперь можно научить писать за юзера: в настройках чат-бота появилась опция для копирования своего стиля письма.
Включается в настройках персонализации — пункт «опираться на мой стиль письма» будет в самом низу. Можно показать боту примеры своих email, чатов в Slack и текстов на Google Диске.
Функцию пока только раскатывают. Может появиться не сразу.
_
www.botsla.com
@botsla_com — умные роботы для людей и бизнеса
Включается в настройках персонализации — пункт «опираться на мой стиль письма» будет в самом низу. Можно показать боту примеры своих email, чатов в Slack и текстов на Google Диске.
Функцию пока только раскатывают. Может появиться не сразу.
_
www.botsla.com
@botsla_com — умные роботы для людей и бизнеса
Astra — Скайнет в реальности: OpenAI официально анонсировали GPT‑6 Astra
• Флагман впервые в истории компании получил критический уровень кибервозможностей. Релиз даже переносили, чтобы укрепить защиту.
• Astra набрала 100% в бенчмарке ExploitBench по взлому систем. На ARC-AGI-3 (бенчмарк определяющий уровень «человечности») — 98,6%, абсолютный рекорд.
• Для обучения Astra задействовали свыше 100 000 GPU — это самый масштабный тренировочный запуск за всю историю OpenAI.
• После подключения Astra к Unity и Godot модель с первой попытки создала три играбельных прототипа, которым почти не понадобились доработки.
_
www.botsla.com
@botsla_com — умные роботы для людей и бизнеса
• Флагман впервые в истории компании получил критический уровень кибервозможностей. Релиз даже переносили, чтобы укрепить защиту.
• Astra набрала 100% в бенчмарке ExploitBench по взлому систем. На ARC-AGI-3 (бенчмарк определяющий уровень «человечности») — 98,6%, абсолютный рекорд.
• Для обучения Astra задействовали свыше 100 000 GPU — это самый масштабный тренировочный запуск за всю историю OpenAI.
• После подключения Astra к Unity и Godot модель с первой попытки создала три играбельных прототипа, которым почти не понадобились доработки.
_
www.botsla.com
@botsla_com — умные роботы для людей и бизнеса
This media is not supported in your browser
VIEW IN TELEGRAM
Новая GPT-6 Astra прошла все 48 уровней игры 'Я не робот' с самыми сложными капчами — в конце дали сертификат, что бот 'официально человек'.
а мы всё ещё думаем, считать ли кусочек светофора в соседнем квадрате
_
www.botsla.com
@botsla_com — умные роботы для людей и бизнеса
а мы всё ещё думаем, считать ли кусочек светофора в соседнем квадрате
_
www.botsla.com
@botsla_com — умные роботы для людей и бизнеса
Гарвардский биолог создал лекарство от шизофрении: формулу PAC-3310 придумал ChatGPT, а саму молекулу парень синтезировал в лаборатории у себя в гараже.
По словам Дугласа Яо, в тестах на мышах PAC-3310 показал эффективность без явных побочек. Но до тестов на людях еще далеко, и независимых проверок его исследования пока не проходили.
Надеемся, самому вайбдоктору препарат не понадобится.
_
www.botsla.com
@botsla_com — умные роботы для людей и бизнеса
По словам Дугласа Яо, в тестах на мышах PAC-3310 показал эффективность без явных побочек. Но до тестов на людях еще далеко, и независимых проверок его исследования пока не проходили.
Надеемся, самому вайбдоктору препарат не понадобится.
_
www.botsla.com
@botsla_com — умные роботы для людей и бизнеса
X (formerly Twitter)
Douglas Yao (@DouglasYaoDY) on X
This vial contains a new drug called PAC-3310. It was designed by ChatGPT, and I synthesized it in a chemistry lab I built in my garage.
PAC-3310 is a new selective M4 muscarinic receptor agonist…
PAC-3310 is a new selective M4 muscarinic receptor agonist…
This media is not supported in your browser
VIEW IN TELEGRAM
Хотите поужинать в ресторане, но не знаете, куда пойти?Нейросетьнайдёт место и забронирует столик
В Алиса AI есть функция «Бронирование»:
• опишите свои пожелания, например, район и время
• ИИ найдёт подходящие рестораны и проверит наличие свободных столиков
• согласует с вами детали
• оформит бронирование, вам останется только подтвердить
Также Алиса AI поможет записаться в салон красоты – достаточно указать нужную услугу, дату и район
_
www.botsla.com
@botsla_com — умные роботы для людей и бизнеса
В Алиса AI есть функция «Бронирование»:
• опишите свои пожелания, например, район и время
• ИИ найдёт подходящие рестораны и проверит наличие свободных столиков
• согласует с вами детали
• оформит бронирование, вам останется только подтвердить
Также Алиса AI поможет записаться в салон красоты – достаточно указать нужную услугу, дату и район
_
www.botsla.com
@botsla_com — умные роботы для людей и бизнеса
Возвращение кита: вышла DeepSeek V4.1 Flash — новая быстрая модель, которая бьет GPT-5.6 Sol! 😮
Главное:
🟢 Это MoE-модель на 552 млрд параметров, которая заточена под кодинг и агентные задачи. На DeepSWE v1.1 она набрала 74,2 балла, что выше GPT-5.6 Sol и Claude Opus 5!
🟢 В CyberGym тоже обошла GPT-5.6 Sol: 88 против 84. А на Automation-Bench вообще стала лучшей.
🟢 Стоит при этом от $0,15 за 1 млн входных токенов и $0,60 за выходные. Красота.
_
www.botsla.com
@botsla_com — умные роботы для людей и бизнеса
Главное:
🟢 Это MoE-модель на 552 млрд параметров, которая заточена под кодинг и агентные задачи. На DeepSWE v1.1 она набрала 74,2 балла, что выше GPT-5.6 Sol и Claude Opus 5!
🟢 В CyberGym тоже обошла GPT-5.6 Sol: 88 против 84. А на Automation-Bench вообще стала лучшей.
🟢 Стоит при этом от $0,15 за 1 млн входных токенов и $0,60 за выходные. Красота.
_
www.botsla.com
@botsla_com — умные роботы для людей и бизнеса
Kimi и DeepSeek выдают ответы Claude за свои — на этом их поймали сами Anthropic. Китайские нейронки пересылают им часть запросов пользователей.
Moonshot AI за десять дней перенаправили почти 300 тыс. запросов, а DeepSeek сделали 12,1 млн обращений за две недели, включая попытки дистилляции. Переписки сохраняли и пускали на обучение моделей.
Отдельно Alibaba обвинили в самой масштабной дистилляции ответов Claude. В мае-июле Anthropic насчитали 151 млн запросов для обучения Qwen 3.5, 3.6 и 3.7. Самое интересное, что Alibaba и DeepSeek пользовались общими аккаунтами.
_
www.botsla.com
@botsla_com — умные роботы для людей и бизнеса
Moonshot AI за десять дней перенаправили почти 300 тыс. запросов, а DeepSeek сделали 12,1 млн обращений за две недели, включая попытки дистилляции. Переписки сохраняли и пускали на обучение моделей.
Отдельно Alibaba обвинили в самой масштабной дистилляции ответов Claude. В мае-июле Anthropic насчитали 151 млн запросов для обучения Qwen 3.5, 3.6 и 3.7. Самое интересное, что Alibaba и DeepSeek пользовались общими аккаунтами.
_
www.botsla.com
@botsla_com — умные роботы для людей и бизнеса
Anthropic
Countering misuse of AI: September 2026 / Anthropic
Case studies from threat actors disrupted between December 2025 and August 2026 across seven areas of harm, from cyber operations to biological misuse.