Обучаем Камни

🤔

ждем попуса сегодня 🙂

>huggingface были хакнуты через аи >ничего не смогли сделать пук-среньк >это был гпт >он это сделал фор фан во время евала https://openai.com/index/hugging-face-model-evaluation-security-incident/ https://huggingface.co/blog/security-incident-july-2026

Неплохое высокоуровневое введение в тритон. https://hiraditya.github.io/posts/triton-compiler-deep-dive/

Опенкод попущен https://wren.wtf/shower-thoughts/stop-using-opencode/

Claude Fable построил контрпример к гипотезе о якобиане. Напомню, что гипотеза о якобиане утверждает следующее. Пусть дано полиномиальное отображение ℂ^n → ℂ^n, определитель матрицы Якоби которого является ненулевой константой. Тогда это отображение должно иметь полиномиальное обратное отображение. https://en.wikipedia.org/wiki/Jacobian_conjecture Впервые эта гипотеза была сформулирована для случая двух переменных Людвигом Краусом в 1884 году, а затем в полной общности — Отто-Генрихом Келлером в 1939 году. Гипотеза о якобиане занимает 16-е место в списке «Математические задачи следующего столетия», составленном Стивеном Смейлом в 1998 году. Левент Альпёге — американо-турецкий математик, специалист по теории чисел, диофантовой геометрии и арифметической статистике. Ранее он был Junior Fellow в Harvard Society of Fellows, а затем оставил стандартную академическую карьеру и перешёл в Anthropic, где занимается искусственным интеллектом. https://alpo.ge/ 20 июля Альпёге опубликовал в социальной сети X явный контрпример к гипотезе, который был найден при помощи Claude Fable: https://x.com/__alpoge__/status/2079028340955197566 Контрпример построен в размерности n=3 и задаётся полиномиальным отображением: ( (1+xy)^3 z + y^2 (1+xy) (4+3xy) , y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy) , 2 x - 3 x^2 y - x^3 z ) Определитель матрицы Якоби этого отображения равен −2. Однако отображение не является инъективным, поскольку его значения совпадают на следующих трёх точках: (0, 0, -1/4), (1, -3/2, 13/2), (-1, 3/2, 13/2).

🙈

изи 💃

Перекатываемся https://www.kimi.com/es-419/blog/kimi-k3

Не нравится АИ в коде линука? Fork off! Очень правильная и здоровая позиция в отличие от некоторых проектов.

Grok Build выложили 🤩 https://github.com/xai-org/grok-build

💃

Реверс инстракшен пайплайна b200. Микробенчмарки, где железо в тихую игнорирует расписание, а где превентивно выкидывает аборт. Где инструкции на самом деле быстрее, а где тормозят. Интересное чтиво. https://hiraditya.github.io/posts/hardware-hazards-b200/