комментарии в эйай ньюз

«Первая модель, которая пройдёт госодобрение на релиз» это звоночек громче, чем сами теоремы Момент, когда AI-релизы начинают согласовывать как лекарства или оружие, войдёт в учебники, а мы его листаем между постами

Согласовывать по-твоему не нужно? )

А доказательства выложили? А то будет как в анекдоте про дедушку.

Что вы делаете в этом чате?

Просто вижу кучу доказательств с помощью чат гпт, но последствий от этого не вижу

А результат доказательства теории Шеннона тоже сейчас не видите?

А почему бы ей не найти ошибки в этих своих доказательствах, а затем ошибки в поиске ошибок и т. д. Пока не зависнет на контексте или пока деньги не кончатся. первое более вероятно. Заодно и протестят свой RSI

Баг в кернеле Lean -> доказательство False -> доказательство любого утверждения. Причем баг на нескольких бэкендах. Было страшно, но пофиксили быстро. Но сколько ещё таких осталось неизвестно. Надеемся, что 0

Зря математику учу что-ли?))

А точно ли кто-то пытался их решить?

А если их сразу на Lean и обучать? Пусть даже на синтетике.

ну типа эмпирические науки потихоньку уходят на второй план , уже совсем скоро видимо развязка человечества будет

Либо она всё выдумала 😁 Интересно, кто и как проверял решение?

нет, промптить-проверять будешь

чтобы понимать последствия, надо не только быть хорошим математиком, но еще и неплохо понимать прикладные области. Вот например, наша цивилизация уже почти столетие доедает результаты уравнений модели Эберса-Молла, а много ли кто это понимает?

я вообще не знаю, что это

лет через пять Нобелевская премия будет как турнир по шахматам, соревнования продолжатся, но все будут знать кто реальный чемпион с которым уже никто не будет соревноваться

Не будет, потому что low-hanging fruits соберут, IPO сделают, а для реального прорыва нужен будет человек который *поверит*, что нужно копать вот в этом направлении, несмотря на траты и кажущуюся бесперспективность.