Comments 28
круто. а что за гипотеза - можете назвать ее?
16-часовой ран
Кто?
Читаю новости от науки и все больше похож на умную собаку: ничего не понимаю и могу только радостно повилять хвостом.
Напомнило, как мой коллега говаривал про своё знание английского языка: "Я как собака - на слух всё понимаю, но говорить не умею."
Иногда лучше не понимать. Слишком глубокое погружение в математику в принципе опасно для неподготовленного рассудка)
А прикинь какие у них собеседования на хедхантере, наверное вообще мозг выносят.
А где линк на препринт на рецензируемом https://arxiv.org/ ?
del
Очень раз за математиков. Однако осознал для себя, что читать новости вроде "ученые доказали теорему-гипотезу Шмиткера-Фильгенштраузе-Оргунмаштера" совершенно бесполезно. Когда начинаешь продираться через " норма применения функции (или полинома/рациональной функции) от оператора или матрицы ограничена супремумом модуля этой функции на числовом образе (весовом поле) оператора, умноженным ровно на константу 2" становится крайне грустно.
Ждем ответного прорыва математиков в нейрохирургии!
Я прооперировал мозг. Мне помог топор. Я им дрова рубил.
Читаю "нейрохирург", думаю, что за нейросеть новая такая.
это похоже на начало золотого века прикладной математики
Как именно прикладная математика от этого выигрывает? Модель не может и никогда не сможет поставить задачу, а примат — буквально насквозь весь про постановку, а не про доказательства.
История сильна не моделью, а полной открытостью: промпт, версии рукописи, Lean-формализация, аудит аксиом — можно пройти всю цепочку от запроса до теоремы. Я бы не спешила называть это «нейросеть доказала теорему», скорее воспроизводимый результат с машинной проверкой. Вот что не дает покоя: раз доказательство формализовано на Lean, чем классическое рецензирование тут принципиально надежнее — что оно ловит, чего не ловит формализация?
Нейрохирург доказал гипотезу, над которой математики бились 22 года. Ему помог 16-часовой ран GPT-5.6