ШІ Новини

📌 Mistral AI випустила Leanstral 1.5 для формальної верифікації Mistral AI оновила Leanstral — спеціалізовану модель для роботи з мовою Lean 4, яка використовується для формального доведення теорем і перевірки коректності програм. Версія 1.5 отримала новий етап навчання та значно покращила результати на профільних бенчмарках. 🔆 Детальніше • Призначена для формальної верифікації математичних доведень і програмного коду в Lean 4. • Зберегла архітектуру MoE: 119 млрд загальних і 6.5 млрд активних п

👆 👇 👍 Найцікавіші нейромережі за тиждень, які ви могли пропустити. ➡️ Gemini навчилася створювати повноцінні навчальні курси; ➡️ HyperFrames навчив ШІ-агентів самостійно обирати формат відео; ➡️ Nous Research навчила ШІ-агента генерувати більш креативні ідеї; ➡️ Clips — безкоштовна open-source альтернатива Loom; ➡️ Microsoft перетворила Copilot в Excel на ШІ-фінансового аналітика; ➡️ Gamma тепер працює прямо в ChatGPT; ➡️ Google представила Nano Banana 2 Lite та Gemini Omni Flash; ➡️ Claude Sonn

📌 Meetily — безкоштовний локальний ШІ-асистент для онлайн-зустрічей Вийшов Meetily — open-source асистент, який допомагає вести онлайн-зустрічі без передачі даних у хмару. Уся обробка виконується локально на комп'ютері користувача. 🔆 Детальніше • Транскрибує зустрічі в режимі реального часу. • Автоматично розпізнає різних спікерів. • Створює короткі підсумки після завершення розмови. • Працює локально на macOS, Windows і Linux. • Підтримує інтеграцію з Claude Code, OpenAI Codex та іншими інструм

Senior DevOps Engineer Ростислав Маленко поділився роздумами про те, як робота з AI змінює інженерне мислення. Він зауважив, що через делегування кодингу нейромережам став забувати синтаксис мов, але натомість почав більше думати про архітектуру. Це підводить до питання: чи є це еволюцією, чи атрофією навичок? Автор аналізує інженерну інтуїцію, яка завжди народжувалася зі шрамів та нічних дебагів, і міркує, чи зможе нове покоління розробників отримати цей досвід, якщо AI прибирає за собою сходи,

Паша Сафонов долучився до нашого літнього збору для «Хартії» та відкрив дружню банку ! 🔥 За донат від 1000 грн він проведе два великі практичні вебінари з Claude Code , а всі кошти підуть на дрони для військових. Інтенсив підійде для QA, SDET та тімлідів будь-якого рівня. Вебінари пройдуть онлайн 14 та 21 липня о 19:00, а записи будуть доступні всім учасникам. Як долучитися: Донатьте від 1000 грн на банку Паші — https://send.monobank.ua/jar/5Sms2NGYv6 . Після донату в деталях транзакції буде пос

📌 Z.ai випустила ZCode 3.0 — нове середовище розробки для ШІ-агентів Z.ai представила ZCode 3.0 — власне агентне середовище розробки, оптимізоване для GLM-5.2. Воно призначене для роботи з великими проєктами та довгими багатокроковими задачами. 🔆 Детальніше • Працює на macOS, Windows і Linux. • Побудоване навколо власного ZCode Agent, який допомагає виконувати складні задачі від планування до перевірки результатів. • Підтримує мультимодальність, мультиагентний режим, документацію, віддалену розр

Топ‑5 неймовірних новин про AI за 3 липня, які не можна пропустити

Сьогоднішні новини про ШІ показують головний зсув: індустрія переходить від гучних обіцянок до жорстких правил, геополітики, боротьби за дані та реальних обмежень технології.

Meta випустила застосунок Pocket для генерації ігор за допомогою штучного інтелекту

Meta без офіційного анонсу запустила новий застосунок Pocket, який дозволяє створювати мініігри за допомогою генеративного штучного інтелекту, пише Engadget.

Nvidia, яка коштує майже 5 трильйонів доларів і є лідером епохи ШІ, не пропонує працівникам безкоштовних обідів та снеків, на відміну від Google чи інших гігантів Кремнієвої долини. Усі страви в їдальнях лише частково субсидуються, і така ощадлива політика вже триває роками. Зате, замість безкоштовних салатів Nvidia пропонує одну з найщедріших у галузі програм купівлі акцій зі знижкою 15%. Зважаючи на шалене зростання капіталізації, цей бонус точно краще за будь-який безкоштовний сендвіч :) Дета

«Ми не закриємо всі вакансії людьми з багаторічним досвідом». CEO Skyeton про розробку Raybird і найм інженерів https://dou.ua/goto/fVL8 Skyeton починав із пілотованих літаків, а після 2014 року почав розробляти БПАК Raybird, який здатен безперервно літати до 28 годин. В інтерв'ю CEO Skyeton Роман Княженко розповів, як влаштоване R&D, що найскладніше в обслуговуванні, а також про удари по виробництву, ШІ та водневі системи.

BurgerAI від Stanford: як ШІ створює бургери майбутнього

Бургер здається занадто простою стравою для великої науки. Але саме він став тестом для значно ширшого питання: чи може штучний інтелект не просто передбачати, а створювати кращі рішення. Earth.com розповіло про BurgerAI — систему Stanford University, яка підбирає рецепт під вік, смак, харчові потреби та екологічні цінності людини.

📌 Meituan представила флагманську модель LongCat-2.0 Meituan офіційно розкрила LongCat-2.0 — свою найпотужнішу ШІ-модель. Раніше вона вже була доступна в OpenRouter під назвою Owl Alpha, а тепер компанія підтвердила, що це одна й та сама модель. 🔆 Детальніше • LongCat-2.0 має 1,6 трлн параметрів, із яких близько 48 млрд активуються під час генерації кожного токена • Підтримується контекстне вікно до 1 мільйона токенів • Модель створювалася насамперед для роботи ШІ-агентів і задач програмування •

Згенерований контент має свій окремий стиль, який все більше дратує. Світлана Чорнобровська розмірковує, чому АІ-тексти викликають такий негатив та які є маркери, щоб їх розпізнати. Авторка розбирає, чи справді нейромережі можуть замінити копірайтерів, а ще наводить практичні поради, як працювати з АІ так, щоб текст залишався живим 📌 https://dou.ua/goto/EIuX

Українська компанія Farsight Vision шукає Computer Vision інженерів для системи виявлення цілей 📌 https://dou.ua/goto/62VS Farsight Vision шукає інженерів комп'ютерного зору для розвитку систем автоматичного виявлення цілей. Нещодавно компанія оновила функцію детекції об'єктів під час польоту безпілотника, тож спеціалістів шукають постійно.

Давно не було новин про скорочень? А от і вони 😞 Microsoft готується до чергової хвилі скорочень, яка торкнеться близько 5500 співробітників. Під удар потрапляють сектори консалтингу, продажів та ігровий підрозділ Xbox. Головна причина оптимізації — перерозподіл бюджетів на розбудову ШІ-інфраструктури, що відбувається на тлі серйозного червневого падіння акцій Big Tech та невдоволення інвесторів. Ваші ставки: де масові скорочення пройдуть наступного разу? 👉 https://dou.ua/goto/fOqZ

📌 OpenClaw став доступний на iPhone та Android OpenClaw випустив офіційні мобільні застосунки для iOS і Android. Вони не замінюють десктопну версію, а дозволяють керувати ШІ-агентами зі смартфона та стежити за виконанням задач у будь-який момент. 🔆 Детальніше • Смартфон використовується як центр керування агентами, які працюють на комп'ютері або сервері • Можна запускати нові задачі, переглядати прогрес і продовжувати діалог із агентом • Доступне підтвердження дій агента та керування робочими пр

Антон Небилиця розбирає, чому розробка за допомогою AI часто не дає очікуваного результату. У своєму блозі автор вказує конкретні причини: завищені очікування, швидкість без осмислення та структурні сліпі зони, які AI стабільно не бачить. А ще - наводить реальні кейси, які знайшли не тестами, а на staging або під час аудиту. 👉 https://dou.ua/goto/ZQ3a

📌 Council of High Intelligence — рада з 18 ШІ-експертів для пошуку найкращого рішення Замість однієї відповіді від ШІ цей open-source інструмент запускає дискусію між 18 віртуальними експертами. Кожен із них використовує власний стиль мислення, щоб розглянути задачу з різних боків і допомогти знайти більш виважене рішення. 🔆 Детальніше • До ради включено 18 ролей, що були створені під впливом ідей відомих мислителів, науковців і інженерів. • Кожен учасник аналізує проблему зі своєї точки зору: п

📌 Anthropic повертає Fable 5 Anthropic оголосила про відновлення доступу до моделі Fable 5. Це стало можливим після того, як влада США скасувала обмеження на її використання та експорт. 🔆 Детальніше • Раніше Fable 5 була тимчасово недоступною через вимоги експортного контролю та безпеки • Обмеження торкнулися навіть внутрішнього використання моделі в Anthropic • Після погодження з регуляторами компанія починає поступово повертати модель користувачам • Anthropic також посилила механізми захисту т

Чому досвідчені інженери масово вигорають у 2026-му — і це не про лінь. ШІ в IDE не дає пауз. Раніше можна було подумати над архітектурою, поки компілюється код, зараз ШІ постійно тисне та вимагає рішень нон-стоп. У новій статті Сергій Немчинський розмірковує, що з цим робити, якщо головний ліміт тепер мозок, а не календар. 📌 https://dou.ua/goto/Vtec