📖 30% программного кода Microsoft написано ИИ

Об этом заявил гендиректор компании Сатья Наделла. По его словам, лучше всего нейросети справляются с Python, а вот с C++ пока не очень.

Если верить прогнозу Наделлы, к 2030 году до 95% кода будет генерироваться ИИ. Google, к слову, уже сейчас отдает более 30% разработки нейросетям.

❓ Правда, как именно компании считают «ИИ-код», никто не уточняет. Строчка — это уже вклад? А если разработчик подправил?

Тем временем программисты по привычке пишут руками, но все чаще — руководствуясь подсказками машин.

💡Искусственный интеллект против сорняков: в Бельгии представили робота-садовника Willow X

В арсенале — 4K-камера, видеонаблюдение, картографирование и система распознавания препятствий. Работает до 6 часов без подзарядки, справляется с уклонами до 25°. Управление — через мобильное приложение.

Инженеры обещают оснастить Willow X:

✅ двумя манипуляторами (может даже подать напиток),

✅ передними цепкими колёсами,

✅ стабилизирующим колесом сзади.

Во время тестов робот собрал морковь, нашёл грецкие орехи и аккуратно сложил всё в ящик. Стартовая цена — $3150. Садоводы, держитесь.

🧠 Meta* научила ИИ читать мысли

Компания Цукерберга представила систему Brain2Qwerty, которая по мозговым сигналам определяет, какие клавиши человек нажимает на клавиатуре — без камер, чипов и шапочек с электродами.

В эксперименте с 35 добровольцами ИИ добился точности до 80% при расшифровке набранных символов. Каждый участник провел 20 часов в сканере MEG — огромном устройстве за $2 млн, которое фиксирует слабейшие магнитные поля мозга.

Алгоритм учился сопоставлять нейроактивность с конкретными нажатиями клавиш — сначала ошибался на каждую третью букву, но затем научился предсказывать буквы по сигналам мозга. Meta* утверждает: это самый точный неинвазивный метод «набора мыслью» на сегодняшний день.

Минусы:

⛔️ Огромный и дорогой сканер
⛔️ Требуется магнитная изоляция
⛔️ Система чувствительна даже к микродвижениям головы

Проекту уже восемь лет. В 2017 Цукерберг пообещал, что человек сможет набирать текст прямо из головы. Похоже, он был не так уж далек от правды.

* – признана экстремистской и запрещена в России

🤖 📸 Восстание машин началось: робот атаковал инженера

В Китае человекоподобный робот Unitree H1 во время тестирования напал на инженера (видео).

❗️ Машина была зафиксирована на крюке и мужчина успел отбежать. Но, Вероятно, пострадала аппаратура, стоявшая на столе.

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

📝 Эксперты предполагают, что Unitree H1 находился в состоянии падения, из-за чего сработала автокоррекция для восстановления равновесия. Но некоторые пользователи в Сети предполагают, что с роботом плохо обращались и он решил отомстить.

А что, если бы он был вооружён?

📈 DeepSeek прокачали доказательства до уровня 671 млрд параметров

Исследовательская команда DeepSeek представила новую версию нейросети Prover-V2, заточенную под формализацию и доказательство математических теорем. Модель построена на архитектуре DeepSeek V3 и содержит 671 млрд параметров — по сравнению с всего 7 млрд в Prover-V1.5, это квантовый скачок.

🧠 Prover-V2 — это не болтливый ассистент. Он не будет спорить о смысле жизни, зато умеет переводить математику в машинный формат и пошагово доказывать сложнейшие утверждения. Модель работает через языки программирования для теорем типа Lean и других.

✅ Для лёгких экспериментов доступна мини-версия — она основана на том же движке, но урезана по параметрам.

Попробовать можно бесплатно OpenRouter.

💡Пока остаётся только ждать R2 — модель, которая может объединить мощь математики и общечеловеческий интеллект.