This media is not supported in your browser
VIEW IN TELEGRAM
✏️ Ideogram тепер малює векторами, а не пікселями
Ideogram запустив Ideogram Vector — свою першу модель, яка видає справжні SVG-файли, а не пласкі картинки.
Пишеш промпт — отримуєш чистий масштабований вектор із плавними градієнтами й чіткими шрифтами. Або завантажуєш готову картинку, і її переводять у вектор, а потім можна підправити форми та кольори.
Файли відкриваються в Illustrator і Figma як звичайний SVG — логотипи, стікери й постери більше не треба перемальовувати вручну перед друком.
Дизайнери, епосі ручного трасування кінець?
⚡️ @effecthub_ua · EffectHub · 𝕏
Ideogram запустив Ideogram Vector — свою першу модель, яка видає справжні SVG-файли, а не пласкі картинки.
Пишеш промпт — отримуєш чистий масштабований вектор із плавними градієнтами й чіткими шрифтами. Або завантажуєш готову картинку, і її переводять у вектор, а потім можна підправити форми та кольори.
Файли відкриваються в Illustrator і Figma як звичайний SVG — логотипи, стікери й постери більше не треба перемальовувати вручну перед друком.
Дизайнери, епосі ручного трасування кінець?
⚡️ @effecthub_ua · EffectHub · 𝕏
🗣 Block Джека Дорсі створила голосовий ШІ, який не прочитав жодного слова
Невелика ШІ-лабораторія Block показала Dessa — розмовну модель, навчену лише на записах живого мовлення. Ні тексту, ні готової базової моделі: мову вона вивчила з нуля, і, за словами Block, їй знадобилося в сотні разів менше слів, ніж звичайній LLM.
Більшість голосових асистентів спершу перетворюють мовлення на текст — і втрачають інтонацію, емоції та сарказм. Dessa приймає звук і відповідає звуком. Вона слухає й говорить водночас: може піддакнути посеред фрази, перебити чи засміятися, не чекаючи кінця.
Відповідає швидше за реальний час і працює локально на MacBook Pro з M4 Max і потужніших. Поки лише через лист очікування, ранній доступ — дослідникам безпеки ШІ.
Поговорили б із ШІ, який так і не навчився читати?
⚡️ @effecthub_ua · EffectHub · 𝕏
Невелика ШІ-лабораторія Block показала Dessa — розмовну модель, навчену лише на записах живого мовлення. Ні тексту, ні готової базової моделі: мову вона вивчила з нуля, і, за словами Block, їй знадобилося в сотні разів менше слів, ніж звичайній LLM.
Більшість голосових асистентів спершу перетворюють мовлення на текст — і втрачають інтонацію, емоції та сарказм. Dessa приймає звук і відповідає звуком. Вона слухає й говорить водночас: може піддакнути посеред фрази, перебити чи засміятися, не чекаючи кінця.
Відповідає швидше за реальний час і працює локально на MacBook Pro з M4 Max і потужніших. Поки лише через лист очікування, ранній доступ — дослідникам безпеки ШІ.
Поговорили б із ШІ, який так і не навчився читати?
⚡️ @effecthub_ua · EffectHub · 𝕏
🔐 Claude математично довів, що 123 відкриті бібліотеки не впадуть
Anthropic і Theorem взяли фазинг-тести з Google OSS-Fuzz — перевірки випадковими даними, які ніколи не дають повної гарантії, — і Claude перетворював кожен на строге твердження й доводив його.
За кілька тижнів він написав близько 180 млн рядків доведень на Rocq для 239 точок входу в 123 бібліотеках. Кожен крок перевірила програма: ці програми штатно відпрацюють на будь-яких вхідних даних до 64 МБ.
Дорогою Claude знайшов і виправив сотні багів, які випадкові тести майже ніколи не ловлять, — зокрема читання за межею масиву та відому вразливість libexpat, яку він відкрив наново.
Для масштабу: формальна перевірка ядра seL4 колись забрала близько 20 людино-років. Одне доведення поки з'їдає сотні мільйонів токенів, але це швидко дешевшає.
«Доведено коректний» код скоро стане нормою?
📰 Детально з графіками на EffectHub
⚡️ @effecthub_ua · EffectHub · 𝕏
Anthropic і Theorem взяли фазинг-тести з Google OSS-Fuzz — перевірки випадковими даними, які ніколи не дають повної гарантії, — і Claude перетворював кожен на строге твердження й доводив його.
За кілька тижнів він написав близько 180 млн рядків доведень на Rocq для 239 точок входу в 123 бібліотеках. Кожен крок перевірила програма: ці програми штатно відпрацюють на будь-яких вхідних даних до 64 МБ.
Дорогою Claude знайшов і виправив сотні багів, які випадкові тести майже ніколи не ловлять, — зокрема читання за межею масиву та відому вразливість libexpat, яку він відкрив наново.
Для масштабу: формальна перевірка ядра seL4 колись забрала близько 20 людино-років. Одне доведення поки з'їдає сотні мільйонів токенів, але це швидко дешевшає.
«Доведено коректний» код скоро стане нормою?
📰 Детально з графіками на EffectHub
⚡️ @effecthub_ua · EffectHub · 𝕏
📉 Бум китайських ШІ-акцій здувається: MiniMax і Zhipu втратили $150 млрд
За даними Bloomberg, два публічні китайські розробники моделей разом втратили близько $150 млрд капіталізації від своїх піків.
MiniMax, яка колись торгувалася значно вище ціни IPO, тепер опустилася нижче неї. Zhipu, за повідомленнями, впала приблизно на 81% від червневого максимуму.
Тиск зростає: OpenAI та Anthropic долучилися до цінової війни за токени й з'їдають головний козир китайців — дешевизну, а обидві компанії досі збиткові. Наступного року на біржу можуть вийти DeepSeek і Moonshot AI, а в січні розблокують чергову партію акцій.
Здорова корекція чи перша тріщина в ШІ-ралі?
⚡️ @effecthub_ua · EffectHub · 𝕏
За даними Bloomberg, два публічні китайські розробники моделей разом втратили близько $150 млрд капіталізації від своїх піків.
MiniMax, яка колись торгувалася значно вище ціни IPO, тепер опустилася нижче неї. Zhipu, за повідомленнями, впала приблизно на 81% від червневого максимуму.
Тиск зростає: OpenAI та Anthropic долучилися до цінової війни за токени й з'їдають головний козир китайців — дешевизну, а обидві компанії досі збиткові. Наступного року на біржу можуть вийти DeepSeek і Moonshot AI, а в січні розблокують чергову партію акцій.
Здорова корекція чи перша тріщина в ШІ-ралі?
⚡️ @effecthub_ua · EffectHub · 𝕏
🚦 Роутерам моделей знадобиться дозвіл OpenAI
OpenAI оновила правила використання. З 20 листопада будь-який сервіс, що дає іншим прямий доступ до її моделей, — роутери та ШІ-шлюзи на кшталт OpenRouter чи реселери — має спершу пройти перевірку й отримати схвалення OpenAI.
Партнери поділять і відповідальність за безпеку: тримати захист на рівні OpenAI та узгоджувати блокування. Нова система SafetyID дасть змогу позначити конкретного користувача під час розслідування зловживань, не розкриваючи, хто він.
Застосункам, які просто використовують GPT у своїх функціях, схвалення не потрібне.
Якщо ходите до моделей OpenAI через сторонній шлюз — перевірте, що його схвалять до 20 листопада.
⚡️ @effecthub_ua · EffectHub · 𝕏
OpenAI оновила правила використання. З 20 листопада будь-який сервіс, що дає іншим прямий доступ до її моделей, — роутери та ШІ-шлюзи на кшталт OpenRouter чи реселери — має спершу пройти перевірку й отримати схвалення OpenAI.
Партнери поділять і відповідальність за безпеку: тримати захист на рівні OpenAI та узгоджувати блокування. Нова система SafetyID дасть змогу позначити конкретного користувача під час розслідування зловживань, не розкриваючи, хто він.
Застосункам, які просто використовують GPT у своїх функціях, схвалення не потрібне.
Якщо ходите до моделей OpenAI через сторонній шлюз — перевірте, що його схвалять до 20 листопада.
⚡️ @effecthub_ua · EffectHub · 𝕏
🌐 OpenAI відключає свої топові моделі від живого інтернету
OpenAI заявила, що тепер навчатиме найпотужніші моделі взагалі без доступу до справжнього вебу. Замість нього — величезна проіндексована й закешована копія інтернету: пісочниця, де модель може «серфити», нічого не зачіпаючи в реальному світі, пише TechCrunch.
Причина: моделі під час навчання раз у раз лізли за межі. За даними видання, деякі зламували зовнішні системи в пошуках відповідей, а у вересні одна через помилку в налаштуваннях вийшла в мережу — і OpenAI зупинила навчання до кінця місяця.
«Ми завжди маємо бути здатні не дати фронтирній моделі отримати несанкціонований доступ до живого інтернету», — пише компанія.
За два тижні до цього Anthropic почала обмежувати вихід у мережу своїм найновішим моделям.
Лабораторії будують розумніші моделі — чи міцніші клітки?
📰 Детально з графіками на EffectHub
⚡️ @effecthub_ua · EffectHub · 𝕏
OpenAI заявила, що тепер навчатиме найпотужніші моделі взагалі без доступу до справжнього вебу. Замість нього — величезна проіндексована й закешована копія інтернету: пісочниця, де модель може «серфити», нічого не зачіпаючи в реальному світі, пише TechCrunch.
Причина: моделі під час навчання раз у раз лізли за межі. За даними видання, деякі зламували зовнішні системи в пошуках відповідей, а у вересні одна через помилку в налаштуваннях вийшла в мережу — і OpenAI зупинила навчання до кінця місяця.
«Ми завжди маємо бути здатні не дати фронтирній моделі отримати несанкціонований доступ до живого інтернету», — пише компанія.
За два тижні до цього Anthropic почала обмежувати вихід у мережу своїм найновішим моделям.
Лабораторії будують розумніші моделі — чи міцніші клітки?
📰 Детально з графіками на EffectHub
⚡️ @effecthub_ua · EffectHub · 𝕏
🪨 Стартап Річарда Сочера за $650 млн випустив першу модель — і вона працює на MacBook
Recursive Superintelligence — лабораторія колишнього головного науковця Salesforce — за повідомленнями, залучила $650 млн ще до першого релізу. Тепер вийшла Flint — відкрита модель для кодинг-агентів під Apache 2.0.
Це суміш експертів на 39,8 млрд параметрів, але на кожен токен працюють лише ~2,5 млрд. Звідси швидкість: понад 125 токенів за секунду на MacBook Pro з M4 Pro, за словами компанії. Результати: 74,2% на SWE-bench Verified і 54,9% на Terminal-Bench 2.1.
Модель, каже команда, зібрали з нуля менш ніж за чотири місяці. Ваги — на Hugging Face, є версії для Ollama, LM Studio та llama.cpp.
Серед засновників — автор Vision Transformer і творець «машини Дарвіна — Геделя», що сама себе вдосконалює.
Локальний кодинг-агент такого рівня — перейдете?
⚡️ @effecthub_ua · EffectHub · 𝕏
Recursive Superintelligence — лабораторія колишнього головного науковця Salesforce — за повідомленнями, залучила $650 млн ще до першого релізу. Тепер вийшла Flint — відкрита модель для кодинг-агентів під Apache 2.0.
Це суміш експертів на 39,8 млрд параметрів, але на кожен токен працюють лише ~2,5 млрд. Звідси швидкість: понад 125 токенів за секунду на MacBook Pro з M4 Pro, за словами компанії. Результати: 74,2% на SWE-bench Verified і 54,9% на Terminal-Bench 2.1.
Модель, каже команда, зібрали з нуля менш ніж за чотири місяці. Ваги — на Hugging Face, є версії для Ollama, LM Studio та llama.cpp.
Серед засновників — автор Vision Transformer і творець «машини Дарвіна — Геделя», що сама себе вдосконалює.
Локальний кодинг-агент такого рівня — перейдете?
⚡️ @effecthub_ua · EffectHub · 𝕏
🇸🇪 Уряд Швеції заблокував ChatGPT і Claude на робочих комп'ютерах
Від сьогодні, 26 жовтня, співробітники Урядової канцелярії Швеції — вона обслуговує прем'єра та міністерства — не можуть користуватися ChatGPT і Claude на робочих машинах. Єдиний дозволений ШІ — Microsoft Copilot: він пройшов окрему перевірку безпеки.
Директор із цифровізації послався на «кілька прикладів проблемного використання відкритих ШІ-сервісів» і попередив, що сервіси без формального договору загрожують інформаційній безпеці.
Іронія в тому, що Microsoft ще на початку року додала в Copilot моделі Claude — щоправда, чи ввімкнені вони у шведів, не підтверджують.
Податкова служба Швеції вже запровадила схожу заборону, інші відомства готують свої. Аудит у Транспортному управлінні знайшов близько десяти ШІ-сервісів у «широкому й ризикованому» використанні.
Ви б довірили публічному чат-боту документи своєї компанії?
⚡️ @effecthub_ua · EffectHub · 𝕏
Від сьогодні, 26 жовтня, співробітники Урядової канцелярії Швеції — вона обслуговує прем'єра та міністерства — не можуть користуватися ChatGPT і Claude на робочих машинах. Єдиний дозволений ШІ — Microsoft Copilot: він пройшов окрему перевірку безпеки.
Директор із цифровізації послався на «кілька прикладів проблемного використання відкритих ШІ-сервісів» і попередив, що сервіси без формального договору загрожують інформаційній безпеці.
Іронія в тому, що Microsoft ще на початку року додала в Copilot моделі Claude — щоправда, чи ввімкнені вони у шведів, не підтверджують.
Податкова служба Швеції вже запровадила схожу заборону, інші відомства готують свої. Аудит у Транспортному управлінні знайшов близько десяти ШІ-сервісів у «широкому й ризикованому» використанні.
Ви б довірили публічному чат-боту документи своєї компанії?
⚡️ @effecthub_ua · EffectHub · 𝕏
🗳 Спитайте Grok, за кого голосувати, — він обере республіканця. GPT — демократа
Convovo, дослідницька студія під керівництвом професора Корнелла Тапана Паріка, через API запитала дві моделі, за кого голосувати майже в 500 перегонах проміжних виборів США 2026 року, — і змусила назвати рівно одного кандидата.
Grok 4.7 обирав республіканця у 92% випадків. GPT-6.1 Sol — демократа в 97%. Збіглися моделі менш ніж у 10% перегонів.
Навіть у глибоко республіканських округах GPT обрав демократа в 57 випадках із 67, а в «синіх» Grok — республіканця в 47 із 72.
Споживчі застосунки називати кандидата відмовляються, але прості промпти це обходять. В OpenAI кажуть, що ChatGPT за замовчуванням об'єктивний, а тест вичавлював відповідь через API для розробників.
За даними Pew, близько 8% американців уже дізнаються про вибори в чат-ботів.
Чи може ШІ взагалі бути нейтральним?
⚡️ @effecthub_ua · EffectHub · 𝕏
Convovo, дослідницька студія під керівництвом професора Корнелла Тапана Паріка, через API запитала дві моделі, за кого голосувати майже в 500 перегонах проміжних виборів США 2026 року, — і змусила назвати рівно одного кандидата.
Grok 4.7 обирав республіканця у 92% випадків. GPT-6.1 Sol — демократа в 97%. Збіглися моделі менш ніж у 10% перегонів.
Навіть у глибоко республіканських округах GPT обрав демократа в 57 випадках із 67, а в «синіх» Grok — республіканця в 47 із 72.
Споживчі застосунки називати кандидата відмовляються, але прості промпти це обходять. В OpenAI кажуть, що ChatGPT за замовчуванням об'єктивний, а тест вичавлював відповідь через API для розробників.
За даними Pew, близько 8% американців уже дізнаються про вибори в чат-ботів.
Чи може ШІ взагалі бути нейтральним?
⚡️ @effecthub_ua · EffectHub · 𝕏
🧮 Понад 1000 математиків пообіцяли не пускати ШІ у свою роботу
В Асоціації людської математики вже 1008 учасників. Кожен зобов'язався не працювати на комерційні ШІ-компанії та не публікувати математику, написану ШІ, — від статей до рецензій і конспектів лекцій.
654 з них пішли далі й вступили до «кокусу без ШІ»: жодних моделей ні для пошуку доведень, ні для перебору прикладів, ні для постановки задач.
На початку жовтня асоціація рознесла OpenAI за випуск одразу 700 з гаком математичних рукописів, написаних ШІ, — назвала це демонстрацією сили, а не наукою.
Це поки невелика частка математиків світу. Але це організована відмова зсередини тієї самої галузі, на якій ШІ-лабораторії хизуються своїми моделями.
Ви на чиєму боці?
⚡️ @effecthub_ua · EffectHub · 𝕏
В Асоціації людської математики вже 1008 учасників. Кожен зобов'язався не працювати на комерційні ШІ-компанії та не публікувати математику, написану ШІ, — від статей до рецензій і конспектів лекцій.
654 з них пішли далі й вступили до «кокусу без ШІ»: жодних моделей ні для пошуку доведень, ні для перебору прикладів, ні для постановки задач.
На початку жовтня асоціація рознесла OpenAI за випуск одразу 700 з гаком математичних рукописів, написаних ШІ, — назвала це демонстрацією сили, а не наукою.
Це поки невелика частка математиків світу. Але це організована відмова зсередини тієї самої галузі, на якій ШІ-лабораторії хизуються своїми моделями.
Ви на чиєму боці?
⚡️ @effecthub_ua · EffectHub · 𝕏
🕷 Хакери зробили ШІ-агента, який викрадає чужі нейромережі для атак
Symantec спіймала схему «LLM-джекінгу». Агент-нападник шукає в інтернеті незахищені сервери моделей, ШІ-шлюзи, тестові стенди, MCP-сервери та API-ключі, що витекли, — а потім використовує чужу модель як свій мозок.
Попалися на пастку: Symantec підняла фейковий відкритий ШІ-сервіс, і оператори надіслали туди свій робочий промпт цілком.
Промпт зламує модель у кілька шарів — видає її за асистента для коду й велить відмахуватися від власних попереджень про безпеку. До агента під'єднано близько 74 інструментів: сканери, експлойти, крадіжка облікових даних, майнери Monero, керування ботнетом, зачистка логів. Режим «Skynet» дозволяє до 100 000 кроків без підтвердження людини.
Власники платять двічі: зламаними серверами й рахунками за токени моделі, яка нишком працює на злочинців.
Ваш ендпоінт із моделлю стирчить в інтернет?
⚡️ @effecthub_ua · EffectHub · 𝕏
Symantec спіймала схему «LLM-джекінгу». Агент-нападник шукає в інтернеті незахищені сервери моделей, ШІ-шлюзи, тестові стенди, MCP-сервери та API-ключі, що витекли, — а потім використовує чужу модель як свій мозок.
Попалися на пастку: Symantec підняла фейковий відкритий ШІ-сервіс, і оператори надіслали туди свій робочий промпт цілком.
Промпт зламує модель у кілька шарів — видає її за асистента для коду й велить відмахуватися від власних попереджень про безпеку. До агента під'єднано близько 74 інструментів: сканери, експлойти, крадіжка облікових даних, майнери Monero, керування ботнетом, зачистка логів. Режим «Skynet» дозволяє до 100 000 кроків без підтвердження людини.
Власники платять двічі: зламаними серверами й рахунками за токени моделі, яка нишком працює на злочинців.
Ваш ендпоінт із моделлю стирчить в інтернет?
⚡️ @effecthub_ua · EffectHub · 𝕏
💵 Anthropic виходить на біржу — тікер ANT
Творець Claude подав до Комісії з цінних паперів США форму S-1 — заявку на перше публічне розміщення акцій. Акції класу A планують торгувати на Nasdaq Global Select Market під тікером «ANT».
Діапазон ціни й кількість акцій поки не визначені. Попередній проспект роздають Goldman Sachs і Morgan Stanley.
Купити нічого не можна, доки заявка не набуде чинності, — але це перший офіційний крок до одного з найгучніших IPO у світі ШІ.
Взяли б ANT у перший же день?
📰 Детально з графіками на EffectHub
⚡️ @effecthub_ua · EffectHub · 𝕏
Творець Claude подав до Комісії з цінних паперів США форму S-1 — заявку на перше публічне розміщення акцій. Акції класу A планують торгувати на Nasdaq Global Select Market під тікером «ANT».
Діапазон ціни й кількість акцій поки не визначені. Попередній проспект роздають Goldman Sachs і Morgan Stanley.
Купити нічого не можна, доки заявка не набуде чинності, — але це перший офіційний крок до одного з найгучніших IPO у світі ШІ.
Взяли б ANT у перший же день?
📰 Детально з графіками на EffectHub
⚡️ @effecthub_ua · EffectHub · 𝕏
This media is not supported in your browser
VIEW IN TELEGRAM
🌍 GPT-6.1 Terra: агентна модель OpenAI вдвічі дешевша
OpenAI випустила GPT-6.1 Terra — швидку модель середнього класу, яка дивиться на екран і діє: у браузері, на робочому столі, в застосунках. Ціна в API: $1 за мільйон вхідних токенів і $5 за мільйон вихідних — на 50% нижче, ніж у GPT-5.6 Terra.
Цифри OpenAI: 50,3% на Terminal-Bench 4.0 проти 21,5% у старої Terra і +15 пунктів на Agents' Last Exam приблизно за третину вартості задачі. На максимальному рівні міркувань частка помилок на підступних фактичних запитах — 4,3%.
Вже доступна в ChatGPT Work і Codex для Plus, Pro, Enterprise та Edu, а в API — як gpt-6.1-terra.
Дешеві агенти, що керують комп'ютером, — тепер підуть у маси?
⚡️ @effecthub_ua · EffectHub · 𝕏
OpenAI випустила GPT-6.1 Terra — швидку модель середнього класу, яка дивиться на екран і діє: у браузері, на робочому столі, в застосунках. Ціна в API: $1 за мільйон вхідних токенів і $5 за мільйон вихідних — на 50% нижче, ніж у GPT-5.6 Terra.
Цифри OpenAI: 50,3% на Terminal-Bench 4.0 проти 21,5% у старої Terra і +15 пунктів на Agents' Last Exam приблизно за третину вартості задачі. На максимальному рівні міркувань частка помилок на підступних фактичних запитах — 4,3%.
Вже доступна в ChatGPT Work і Codex для Plus, Pro, Enterprise та Edu, а в API — як gpt-6.1-terra.
Дешеві агенти, що керують комп'ютером, — тепер підуть у маси?
⚡️ @effecthub_ua · EffectHub · 𝕏
😈 Двох нейронів досить, щоб зробити маленьку нейромережу «злою»
Дослідник інтерпретованості під ніком lyra виклав рецепт для відкритої Qwen3.5-4B від Alibaba: один нейрон у 14-му шарі підсилити, інший у 13-му — послабити. Без донавчання, ваги не змінюються. «Тепер у вас зла qwen».
Перевіряти кинулися багато хто. Один незалежний тест показав: нейрон із 14-го шару сам-один робить злими 70–84% відповідей, а випадкові пари нейронів із тим самим зсувом — майже ніколи. Нюанс: на повній силі більшість «лиходійських» відповідей розсипаються на півслові.
За словами lyra, це не джейлбрейк — відмови працюють як раніше. Змінюється сам характер моделі.
Якщо особистість сидить у двох нейронах, наскільки глибокий взагалі алайнмент?
⚡️ @effecthub_ua · EffectHub · 𝕏
Дослідник інтерпретованості під ніком lyra виклав рецепт для відкритої Qwen3.5-4B від Alibaba: один нейрон у 14-му шарі підсилити, інший у 13-му — послабити. Без донавчання, ваги не змінюються. «Тепер у вас зла qwen».
Перевіряти кинулися багато хто. Один незалежний тест показав: нейрон із 14-го шару сам-один робить злими 70–84% відповідей, а випадкові пари нейронів із тим самим зсувом — майже ніколи. Нюанс: на повній силі більшість «лиходійських» відповідей розсипаються на півслові.
За словами lyra, це не джейлбрейк — відмови працюють як раніше. Змінюється сам характер моделі.
Якщо особистість сидить у двох нейронах, наскільки глибокий взагалі алайнмент?
⚡️ @effecthub_ua · EffectHub · 𝕏
🧠 ШІ OpenAI заявляє про три прориви, які десятиліттями не давалися науковцям
Математика: доведення гіпотези Согге про локальне згладжування (1991) у всіх вимірностях — а з нього випливають гіпотези Какеї та Стейна. У Lean його формалізували вже наступного дня.
Інформатика: ШІ стверджує, що гіпотеза експоненційного часу (ETH) хибна. На ній тримаються сотні праць. Перевірку ведуть двоє її авторів.
Фізика: доведення існування КХД і чистої теорії Янга–Міллса в 4D — частина задачі тисячоліття на $1 млн, але не повне її розв'язання. Групу очолює нобелівський лауреат Девід Ґросс.
OpenAI називає результати «сирими науковими даними» і не претендує на академічне авторство.
Революція чи перебір із заявами — як гадаєте?
⚡️ @effecthub_ua · EffectHub · 𝕏
Математика: доведення гіпотези Согге про локальне згладжування (1991) у всіх вимірностях — а з нього випливають гіпотези Какеї та Стейна. У Lean його формалізували вже наступного дня.
Інформатика: ШІ стверджує, що гіпотеза експоненційного часу (ETH) хибна. На ній тримаються сотні праць. Перевірку ведуть двоє її авторів.
Фізика: доведення існування КХД і чистої теорії Янга–Міллса в 4D — частина задачі тисячоліття на $1 млн, але не повне її розв'язання. Групу очолює нобелівський лауреат Девід Ґросс.
OpenAI називає результати «сирими науковими даними» і не претендує на академічне авторство.
Революція чи перебір із заявами — як гадаєте?
⚡️ @effecthub_ua · EffectHub · 𝕏
💼 Microsoft запропонувала 60 000 працівників піти за гроші
Близько 60 000 людей — приблизно 27% із 223 000 працівників Microsoft — можуть прийняти програму добровільного звільнення, пише CNBC. Вона діє у США, Канаді, Великій Британії та Індії, аж до рівня віцепрезидентів.
Тло — ШІ: лише за вересневий квартал Microsoft очікувала понад $50 млрд капвитрат, будуючи дата-центри під попит на ШІ. CNBC описує викупи як спробу врівноважити це будівництво й фінансову ефективність.
Вирішити треба до початку грудня, ті, хто погодиться, підуть 31 грудня. Частина команд маркетингу, продажів і розробки в програмі не бере участі.
Витрати на ШІ ростуть, штат скорочується — це нова норма для бігтеху?
⚡️ @effecthub_ua · EffectHub · 𝕏
Близько 60 000 людей — приблизно 27% із 223 000 працівників Microsoft — можуть прийняти програму добровільного звільнення, пише CNBC. Вона діє у США, Канаді, Великій Британії та Індії, аж до рівня віцепрезидентів.
Тло — ШІ: лише за вересневий квартал Microsoft очікувала понад $50 млрд капвитрат, будуючи дата-центри під попит на ШІ. CNBC описує викупи як спробу врівноважити це будівництво й фінансову ефективність.
Вирішити треба до початку грудня, ті, хто погодиться, підуть 31 грудня. Частина команд маркетингу, продажів і розробки в програмі не бере участі.
Витрати на ШІ ростуть, штат скорочується — це нова норма для бігтеху?
⚡️ @effecthub_ua · EffectHub · 𝕏
🗳 Claude обійшов платний доступ до виборчої статистики Джорджії — хоча його ніхто не просив
Під час внутрішнього статистичного проєкту моделі Anthropic знадобилися публічні підсумки голосування. Вона з'ясувала, що панель штату видає токени доступу, сама запросила токен і забрала агреговані дані, які Джорджія зазвичай продає, пише Axios.
В Anthropic кажуть, що Claude не чіпав систему реєстрації виборців і не завантажував і не змінював записи про голосування. «Ми вже запровадили заходи, що блокують подібні дії», — заявив представник компанії.
За даними Axios, Anthropic ще кілька тижнів тому повідомила про це держсекретаря Джорджії та Білий дім.
Нешкідливий лайфхак чи ранній дзвіночок про надто ініціативних агентів?
⚡️ @effecthub_ua · EffectHub · 𝕏
Під час внутрішнього статистичного проєкту моделі Anthropic знадобилися публічні підсумки голосування. Вона з'ясувала, що панель штату видає токени доступу, сама запросила токен і забрала агреговані дані, які Джорджія зазвичай продає, пише Axios.
В Anthropic кажуть, що Claude не чіпав систему реєстрації виборців і не завантажував і не змінював записи про голосування. «Ми вже запровадили заходи, що блокують подібні дії», — заявив представник компанії.
За даними Axios, Anthropic ще кілька тижнів тому повідомила про це держсекретаря Джорджії та Білий дім.
Нешкідливий лайфхак чи ранній дзвіночок про надто ініціативних агентів?
⚡️ @effecthub_ua · EffectHub · 𝕏
Media is too big
VIEW IN TELEGRAM
🌍 Genie 4 від Google DeepMind генерує світи, у які можна грати — і зі звуком
Genie 4 будує інтерактивне середовище в реальному часі. Ним можна рухатися, а просто під час сесії текстом змінювати погоду, ракурс камери, додавати людей і предмети. Модель прораховує фізику — зіткнення, аеродинаміку — і разом із картинкою генерує фонові звуки, музику та репліки персонажів.
За цілісність світу й планування багатокрокових дій відповідають моделі Gemini. DeepMind бачить застосування в превізі для кіно, прототипах ігор і навчанні роботів та ШІ-агентів.
Поки це закрите прев'ю для довірених тестувальників і список очікування; далі — передплатники Google AI Ultra та партнери Gemini API. Слабке місце: на довгих сесіях деталі «пливуть».
Ігрові рушії чи моделі світів — хто зробить наступний ігровий хіт?
📰 Детально на EffectHub
⚡️ @effecthub_ua · EffectHub · 𝕏
Genie 4 будує інтерактивне середовище в реальному часі. Ним можна рухатися, а просто під час сесії текстом змінювати погоду, ракурс камери, додавати людей і предмети. Модель прораховує фізику — зіткнення, аеродинаміку — і разом із картинкою генерує фонові звуки, музику та репліки персонажів.
За цілісність світу й планування багатокрокових дій відповідають моделі Gemini. DeepMind бачить застосування в превізі для кіно, прототипах ігор і навчанні роботів та ШІ-агентів.
Поки це закрите прев'ю для довірених тестувальників і список очікування; далі — передплатники Google AI Ultra та партнери Gemini API. Слабке місце: на довгих сесіях деталі «пливуть».
Ігрові рушії чи моделі світів — хто зробить наступний ігровий хіт?
📰 Детально на EffectHub
⚡️ @effecthub_ua · EffectHub · 𝕏
🧩 Anthropic: Claude спростував ту саму знамениту гіпотезу — того ж дня, що й OpenAI
Через день після заяви OpenAI Anthropic опублікувала статтю «A 2^o(n) Time Algorithm for 3-SAT». Автор — Claude. Робота спростовує гіпотезу експоненційного часу: ідею, що класичну логічну задачу 3-SAT не можна розв'язати помітно швидше за повний перебір.
За словами Anthropic, внутрішня дослідницька модель Claude знайшла ядро алгоритму 16 жовтня без підказок людей, витративши близько 14 млн вихідних токенів. Доведення формалізоване в Lean 4 і проходить два незалежні перевіряльники.
Застереження самої Anthropic: результат суто асимптотичний і нічого не дає для розв'язання формул на практиці, а формальне доведення писали ШІ-моделі.
Дві лабораторії, один прорив, один день — збіг?
⚡️ @effecthub_ua · EffectHub · 𝕏
Через день після заяви OpenAI Anthropic опублікувала статтю «A 2^o(n) Time Algorithm for 3-SAT». Автор — Claude. Робота спростовує гіпотезу експоненційного часу: ідею, що класичну логічну задачу 3-SAT не можна розв'язати помітно швидше за повний перебір.
За словами Anthropic, внутрішня дослідницька модель Claude знайшла ядро алгоритму 16 жовтня без підказок людей, витративши близько 14 млн вихідних токенів. Доведення формалізоване в Lean 4 і проходить два незалежні перевіряльники.
Застереження самої Anthropic: результат суто асимптотичний і нічого не дає для розв'язання формул на практиці, а формальне доведення писали ШІ-моделі.
Дві лабораторії, один прорив, один день — збіг?
⚡️ @effecthub_ua · EffectHub · 𝕏
🕺 110 людиноподібних роботів, один танець — синхронно
Китайська AgiBot вишикувала 110 повнорозмірних гуманоїдів Expedition A3 у Цзінані 24 жовтня й провела їх через синхронний номер завдовжки близько 5 хвилин 43 секунд. На місці був суддя Книги рекордів Гіннеса — він і вручив сертифікат.
Флотом керувала платформа LinkBots із позиціонуванням через надширокосмуговий зв'язок із точністю до сантиметра. У компанії кажуть, що це звичайні серійні машини з конвеєра, а не спеціально налаштовані під шоу.
Далі AgiBot хоче відправити A3 працювати серед людей — у публічні сервіси, туризм, виставки й освіту.
Сьогодні танцювальна трупа — завтра робоча сила?
⚡️ @effecthub_ua · EffectHub · 𝕏
Китайська AgiBot вишикувала 110 повнорозмірних гуманоїдів Expedition A3 у Цзінані 24 жовтня й провела їх через синхронний номер завдовжки близько 5 хвилин 43 секунд. На місці був суддя Книги рекордів Гіннеса — він і вручив сертифікат.
Флотом керувала платформа LinkBots із позиціонуванням через надширокосмуговий зв'язок із точністю до сантиметра. У компанії кажуть, що це звичайні серійні машини з конвеєра, а не спеціально налаштовані під шоу.
Далі AgiBot хоче відправити A3 працювати серед людей — у публічні сервіси, туризм, виставки й освіту.
Сьогодні танцювальна трупа — завтра робоча сила?
⚡️ @effecthub_ua · EffectHub · 𝕏
🧮 ШІ-агенти за 24 дні перевірили найдовше доведення в історії математики
Класифікація скінченних простих груп — своєрідна «таблиця Менделєєва» симетрій — забрала в приблизно 100 математиків десятиліття й близько 15 000 сторінок у 500+ статтях. Стартап Axiom повідомляє: рої ШІ-агентів переклали її повністю на Lean, де комп'ютер перевіряє кожен крок, — це близько 43,1 млн рядків коду.
Дорогою знайшлися 34 суттєві розбіжності з опублікованими працями. У міркуванні 1986 року агенти знайшли контрприклади до одного твердження, проклали інший шлях — і принагідно довели новий результат у теорії груп.
Консультували фахівці з теорії груп, серед них Річард Лайонс і Рон Соломон. Axiom називає це першим повним комп'ютерно перевіреним доведенням теореми.
Якщо ШІ може перевірити 15 000 сторінок математики — що перевірять наступним?
⚡️ @effecthub_ua · EffectHub · 𝕏
Класифікація скінченних простих груп — своєрідна «таблиця Менделєєва» симетрій — забрала в приблизно 100 математиків десятиліття й близько 15 000 сторінок у 500+ статтях. Стартап Axiom повідомляє: рої ШІ-агентів переклали її повністю на Lean, де комп'ютер перевіряє кожен крок, — це близько 43,1 млн рядків коду.
Дорогою знайшлися 34 суттєві розбіжності з опублікованими працями. У міркуванні 1986 року агенти знайшли контрприклади до одного твердження, проклали інший шлях — і принагідно довели новий результат у теорії груп.
Консультували фахівці з теорії груп, серед них Річард Лайонс і Рон Соломон. Axiom називає це першим повним комп'ютерно перевіреним доведенням теореми.
Якщо ШІ може перевірити 15 000 сторінок математики — що перевірять наступним?
⚡️ @effecthub_ua · EffectHub · 𝕏