Обучаем Камни
Відкрити в Telegram
AI, ML, CS, красноглазие, фотокарточки, и все околоайтишное к чему мы не имеем отношения и прочитали в интернете. Автор ныне Staff Machine Learning Engineer & Lead и занимается ML компиляторами.
Показати більше741
Підписники
-124 години
+17 днів
+330 день
Архів дописів
>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/
Repost from Математическая свалка Сепы
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).
+1
Не нравится АИ в коде линука? Fork off!
Очень правильная и здоровая позиция в отличие от некоторых проектов.
Реверс инстракшен пайплайна b200.
Микробенчмарки, где железо в тихую игнорирует расписание, а где превентивно выкидывает аборт. Где инструкции на самом деле быстрее, а где тормозят. Интересное чтиво.
https://hiraditya.github.io/posts/hardware-hazards-b200/
