Нейрохирург доказал гипотезу, над которой математики бились 22 года. Ему помог 16-часовой ран GPT-5.6

[maxnoosphere]

круто. а что за гипотеза - можете назвать ее?

[Balling]

https://en.wikipedia.org/wiki/Crouzeix's_conjecture

[cinme]

16-часовой ран

Кто?

[koreec]

Ран. Форест Ран.

[arthuru1]

Реббит в пальто)

[ovalsky]

конечно рябит, лето же, сними

[mambet]

Академик, ран!

[NickN12]

Читаю новости от науки и все больше похож на умную собаку: ничего не понимаю и могу только радостно повилять хвостом.

[chnav]

Напомнило, как мой коллега говаривал про своё знание английского языка: "Я как собака - на слух всё понимаю, но говорить не умею."

[uranik]

мимо

[Fox_Alex]

Иногда лучше не понимать. Слишком глубокое погружение в математику в принципе опасно для неподготовленного рассудка)

[uranik]

А прикинь какие у них собеседования на хедхантере, наверное вообще мозг выносят.

[maxscitech]

А где линк на препринт на рецензируемом https://arxiv.org/ ?

[alexandr93]

del

[WhiteBarsik]

Очень раз за математиков. Однако осознал для себя, что читать новости вроде "ученые доказали теорему-гипотезу Шмиткера-Фильгенштраузе-Оргунмаштера" совершенно бесполезно. Когда начинаешь продираться через " норма применения функции (или полинома/рациональной функции) от оператора или матрицы ограничена супремумом модуля этой функции на числовом образе (весовом поле) оператора, умноженным ровно на константу 2" становится крайне грустно.

[Aldrog]

Проблема в том, что на хабр такие новости переводят либо люди не разбирающиеся в теме, либо ллм. В результате смысла никакого и не остаётся, только нагромождение языковых конструктов.

[vaslobas]

Честно говоря, сколько я не читал объяснение про гипотезу пуанкаре, но яснее не стало. Ты или в теме или это все равно звучит как тарабарщина.

[theindiefly]

Да ладно Вам?

Всё, что трехмерное, без дырки и можно положить в коробку - это шарик.

[vaslobas]

Яснее от этого не стало)

[kay_kay]

Куб это шарик

[DerTosser]

В майнкрафте - да, и то иногда.

[chebo]

Ждем ответного прорыва математиков в нейрохирургии!

[Dhwtj]

Я прооперировал мозг. Мне помог топор. Я им дрова рубил.

[cupespresso]

Ломтики на бутерброды готовил?

[event1]

Читаю "нейрохирург", думаю, что за нейросеть новая такая.

[al-chemist]

это похоже на начало золотого века прикладной математики

Как именно прикладная математика от этого выигрывает? Модель не может и никогда не сможет поставить задачу, а примат — буквально насквозь весь про постановку, а не про доказательства.

[DerTosser]

Модель не может и никогда не сможет поставить задачу, а примат — буквально насквозь весь про постановку, а не про доказательства.

А вы примат или модель? Чем докажете?

[Innesiya]

История сильна не моделью, а полной открытостью: промпт, версии рукописи, Lean-формализация, аудит аксиом — можно пройти всю цепочку от запроса до теоремы. Я бы не спешила называть это «нейросеть доказала теорему», скорее воспроизводимый результат с машинной проверкой. Вот что не дает покоя: раз доказательство формализовано на Lean, чем классическое рецензирование тут принципиально надежнее — что оно ловит, чего не ловит формализация?