Результатов найдено: 1000
ИИ Anthropic формализовал доказательство Великой теоремы Ферма всего за 11 дней
8 сен 2026
0
0
- ИИ Anthropic формализовал доказательство Великой теоремы Ферма за 11 дней.
- Компания использовала языковую модель Claude для перевода доказательства Эндрю Уайлса и Ричарда Тейлора.
- Доказательство было формализовано на языке Lean и…
Китайская открытая модель GLM-5.3 обошла Mythos 5 в поиске уязвимостей
17 авг 2026
0
0
- Китайская открытая модель GLM-5.3 обошла Mythos 5 в поиске уязвимостей.
- GLM-5.3 - универсальная модель для программирования с дополнительными возможностями в кибербезопасности.
- Модель доступна после проверки безопасности в…
Технооптимизм vs технопессимизм: два памфлета про эффективность LLM в кодинге
14 авг 2026
0
0
- Мир разделился на сторонников и противников ИИ, LLM и нейросети.
- Важная точка столкновения - использование ИИ в разработке, вайб-кодинг.
- В 2026 году неясно, насколько ИИ изменит мир и оправдаются ли…
Техно-пророк в юбке: История Ады Лавлейс
14 авг 2026
0
0
- Ада Лавлейс - первый программист в истории, сформулировавший философию работы компьютера.
- Она родилась в XIX веке, когда компьютеры еще не существовали.
- Ада была дочерью лорда Байрона и воспитывалась матерью, которая была…
ИИ-модель от Microsoft превзошла Mythos 5 в поиске и устранении уязвимостей в коде
28 июл 2026
0
0
- Microsoft анонсировала ИИ-модель MAI-Cyber-1-Flash для поиска уязвимостей и платформу Perception для автоматизации киберзащиты.
- MAI-Cyber-1-Flash превосходит решения Anthropic, Google и OpenAI в бенчмарке Cyber…
Следующий «момент Бэкуса»: почему программирование снова готово подняться на уровень выше
20 июл 2026
0
0
…инфраструктура и документация.
- Программирование научных расчетов требовало почти механического перевода математической задачи в длинную цепочку машинных операций.
- FORTRAN часто описывают как один из первых широко используемых языков высокого уровня.
- Главным…
Китайские открытые ИИ-модели обогнали американские по загрузкам на Hugging Face
17 июл 2026
0
0
- Китайские open-source ИИ-модели обогнали американские по загрузкам на платформе Hugging Face.
- Весной 2022 года на китайские модели пришлось 41% всех загрузок, впервые больше, чем на американские (38%).
- Шесть…
Мир предостерегли об опасности «вайб-кодинга» для будущего человечества
7 июл 2026
0
0
- Генеральный секретарь ООН Антониу Гутерриш призывает к созданию глобальной системы управления ИИ.
- Гутерриш предупреждает о недопустимости слепого доверия технологиям при определении вектора развития общества.
- Технологии развиваются со стремительной скоростью без…
Z.ai выпустила бесплатный агент для кодинга ZCode — конкурента Cursor и Claude Code
3 июл 2026
0
0
- Z.ai выпустила ZCode - бесплатное десктопное приложение для разработки ПО с ИИ-помощником.
- ZCode конкурирует с Cursor, Claude Code и GitHub Copilot на рынке разработки с помощью ИИ.
- Приложение позволяет…
Оказалось, что искусственные клетки можно программировать как обычные машины
30 июн 2026
0
0
- Ученые из Токийского университета разработали новый подход к проектированию синтетических биосистем.
- До сих пор оболочки искусственных клеток могли быть только обобщенно "более жесткими" или "более мягкими", что ограничивало их применение…
Gartner: к 2028 году расходы на ИИ-разработку превысят среднюю зарплату программиста
26 июн 2026
0
0
- Расходы на ИИ-разработку могут превысить среднюю зарплату программиста к 2028 году.
- Чрезмерная автономность агентов, большие контекстные окна и отсутствие контроля со стороны поставщиков могут привести к росту затрат.
- Разработчики…
Бесплатную летнюю школу по ИИ для школьников открывают в России
26 июн 2026
0
0
- Бесплатная летняя школа по ИИ для школьников открывается в России с 3 по 16 августа.
- Участников ждут лекции, хакатон, олимпиада и итоговые проекты.
- Программа рассчитана на учеников 7-11 классов…
Китай заявил о появлении у него аналога американской ИИ-модели Mythos
25 июн 2026
0
0
- Китайская компания 360 Security Technology представила аналог американской ИИ-модели Mythos.
- Набор ИИ-инструментов предназначен для автоматического выявления уязвимостей и усиления киберзащиты.
- Система уже обнаружила 3432 уязвимости, включая 105 подтвержденных…
Глава SAP: ИИ заменит всех программистов в компании к 2030 году
22 июн 2026
0
0
- Глава SAP Кристиан Кляйн заявил, что ИИ заменит всех программистов в компании к 2030 году.
- Вайб-кодинг - подход к созданию ПО с активным использованием ИИ - может привести к исчезновению традиционных…
Открытая модель GLM-5.2 обошла GPT-5.5 в программировании и стоит в разы дешевле
18 июн 2026
0
0
- Китайский стартап Z.ai выпустил модель GLM-5.2 с 753 млрд параметров.
- GLM-5.2 приблизилась к уровню закрытых лидеров в ряде бенчмарков.
- Новинка превзошла GPT-5.5 в…