Bitduke

7,500 сторінок математики -> 16 МІЛЬЙОНІВ рядків коду Lean Axiom щойно випустила формалізацію всього Stacks Project, одного з фундаментів сучасної алгебраїчної геометрії, створену за допомогою роїв агентів ШІ особливо вражає те, що їм вдалося зберегти зв’язки між

Настрої зараз явно дуже негативні щодо дата-центрів, але подивімося, чи виллється це насправді в якісь конкретні дії найближчим часом.

Понад 300 000 подань ядер, а Open Kernel Challenge від Muse Spark, організований Paradigm, щойно дав вам ще одну причину повторно запустити код перед фінальним спринтом із ядрами — організатори уточнили (послабили вимоги?), що наближену математику з точністю bf16, часткові суми bf16/fp16 та накопичення fp16 у

Чудова ініціатива, особливо з огляду на те, за чим командам безпеки зараз доводиться стежити (Mythos!)

ти більше не перевіряєш код свого ШІ — таке застереження зі статті Адді Османі в X. Він працює над Claude Code і тепер непокоїться, що інженери втрачають критичне мислення. ШІ став настільки хорошим (і це правда), що його робота перестає здаватися неправильною, тож ти перестаєш її перевіряти. спершу ти

SemiAnalysis випустила бенчмарк gdpx, у якому навіть найкраща модель ШІ набрала лише близько 12%. Незалежна дослідницька компанія, що спеціалізується на напівпровідниках і ШІ, побудувала його навколо одного запитання: наскільки добре передові моделі можуть самостійно виконувати складну, економічно цінну роботу, коли вони мають

Питання в тому, чи накриє ця «блакитна хвиля» всю Америку, вдарить по дата-центрах, наче цунамі, і все зупинить, чи зрештою забезпечить їх енергією?

Чи можете пояснити, що саме востаннє випустив ваш ШІ без запиту до нього?

вже не просто RPC-провайдер, тепер пропонує й інференс (щоправда, поки що лише за списком очікування), обіцяючи низьку затримку інференсу для Kimi, DeepSeek і GLM через API, сумісний з OpenAI. SDK і GPU не потрібні

по суті, парадокс Джевонса в дії (і досі)

Французький банк із активами на суму $235B нібито втратив криптовалюту на суму понад $133M , а ончейн-розслідувач ZachXBT підозрює спробу приховати інцидент. Після того як він спершу повідомив про ймовірну крадіжку на суму понад $106M+ з рахунків неназваної структури з ЄС на кількох централізованих біржах, ZachXBT тепер називає Crédit

THORChain робить те, що вміє найкраще.

А що, як моделі почнуть змінювати ваги інших моделей так, як ми й не задумували (ось тоді почнеться справжня розвага)

Спочатку холодильники по всій Європі, а тепер банки крові? Хакери віддалено підвищують температуру, де заманеться, і це стає досить тривожною тенденцією кібератак. За даними Le Canard Enchaîné, банки крові могли стати мішенню подібної атаки, можливо, через використання застарілих...

Так, дослідження простору ваг зараз, мабуть, на тому самому етапі, на якому були LLM кілька років тому, коли вони ще не справлялися з математикою початкової школи. Можна лише уявити, куди все дійде за пару років (а може, навіть місяців).

отже, робочий процес загалом такий * Opus 5.5 із середнім рівнем зусиль * просто спілкуватися з Claude і дозволити йому виконати роботу * надати йому сервер і сказати захистити, розгорнути й оптимізувати все зрозуміло!

за даними CrowdStrike, зловмисник, пов’язаний зі зламами південнокорейських банків, попросив Claude допомогти знайти покупців для викрадених даних і перетворити атаки на матеріал для резюме — просто смішно! У липні стався інцидент із Hugging Face, і того ж місяця ФБР та EPA попередили, що хакери

доволі шалено. просто самі порівняйте всі ці відео зі штучним інтелектом про велосипеди й пеліканів — кожне згенероване за один запит! без додаткових запитів чи кроків