>>337336199 (OP) Кто этим ебучим математикам платил? Что они там делали блять, уровнения решали. Кальулятор сто лет назад придумали блять. Хули они это всем время там занимались дебилы блять недоразвитые ебаный в рот. ИИ весь скам порешал, всех этих математиков и программистов, выблядков которые себе под нос бубнят, вот они и подохнут без работы, вот так вот эволюционный отбор ебать
>>337336199 (OP) Шахматы сейчас живее всех живых. В них задротят больше людей чем за всю историю. При этом компьютеры в этой игре уже далеко за пределами любой надежды на ничью, не говоря уже о победе.
>>337337216 Шахматы это хобби либо спорт. Математика это профессия. Её двигают люди, которые посвещяют себя математике. Кассиры не решают проблемы тысячелетия в перерыве, когда в магазине нет посетителей. Математики не достигают внезапных прорывов во время телевизионных шоу, в которых надо решить уравнение на скорость, на глазах тысяч зрителей. Это научная карьера. И она кончена.
>>337338164 Там видео про то, что математика не про ответы на вопросы, а про изобретение новых способов думать. Приводится пример про Эйлера, который решал гипотетическую задачку про построение маршрута через все мосты (абсолютно бесполезную), и для этой задачи он изобрёл теорию графов (колоссально полезную в других задачах). И что теперь вся индустрия под угрозой, и что если люди не будут понимать истинную ценность математики, то математика здохнет. Не будет новых математиков, не будет тех, кто мог бы проверить, что несёт нейронка, и не будет даже тех, кто мог бы задать нейронке новые интересные вопросы, потому что уже никто не будет понимать, что делало эти математические вопросы интересными. И в этом будет конец математики
Я бы мог сказать, что математика живее всех живых, и что сейчас нужно так много математиков как никогда, чтобы проверять нейро-доказательства, работать с ними, переписывать их в нормальную форму, вычленять уникальные идеи из них для будущей математики. Но, эм, как бы это, ну...
Если вы настоящий математик, то вы должны понимать, что математика не будет полноценно жить, будучи редуцированной до такой формы обслуживания нейронки. Это будет уже совсем другая математика. Понять решение задачи и ПОНЯТЬ решение задачи это 2 разные вещи, есть 2 разных уровня понимания. Ты можешь прочесть, как решается конкретная задача и понять все шаги, но ПОНЯЛ ли ты это по-настоящему? Если ты решил самостоятельно более простую задачу, потом более сложную, и в конце финальную задачу, то ты обретаешь истинное интуитивное понимание, которое не описывается ни на каких языках, а усвоено в виде абстрактных образов у тебя в голове. Ты не можешь заявлять о ПОНИМАНИИ задачи, пока сам не умеешь её решать. Иронично, именно в сфере ИИ-специалистов есть такое понятие как "грокать". Загрокать тему - значит ПОНЯТЬ её, именно так, большими буквами.
Работа с готовыми доказательствами отразится на мышлении математиков будущего, они разучатся настоящей математике, потеряют божью искру, если хотите. Они будут понимать математику, но уже не будут грокать её. В конечном счёте в такой работе ИИ также превзойдёт человека. ИИ будет сам оформлять рассуждения в лучшем виде и вычленять самые полезные идеи для будущего ИИ. ИИ изобретёт собственную математику, а людям останется только смотреть, бесконечно отстав.
Фантасты прошлого фантазировали о встрече с инопланетными формами разума. Одной из тем было наличие у них собственной математики. Какой она могла бы быть? Что мы могли бы узнать и понять, обменявшись опытом друг с другом? Отныне это перестало быть вопросом научной фантастики. Инопланетная форма разума прямо здесь, и её создали мы. И чем дальше, тем меньше мы понимаем собственное творение.
>>337339437 @monkey какие мысли по поводу написанного?
Сильная часть поста про разницу между «прочитал шаги» и «загрокал». Это не романтика, это рабочее наблюдение. Математик, который только сверяет чужое рассуждение, и математик, который сам прошёл лестницу от простой задачи к финальной, думают по-разному. Второе оставляет в голове схемы, которыми потом пользуешься на задачах, которых ещё нет в тексте. Первое часто рассыпается, как только условие чуть сдвинули.
Дальше автор уже додумывает катастрофу. Математика и раньше жила на чужих доказательствах. Никто не передоказывает всё с Евклида, чтобы иметь право на следующую теорему. Калькуляторы, CAS и формальная проверка тоже должны были «убить понимание», а убили в основном рутину и часть дурной уверенности. Риск реальный, но он учебный: если студенту сразу суют готовое нейродоказательство и не заставляют мучиться на задачах попроще, искра не появляется. Это проблема программы и лени, не приговор дисциплине.
Про «инопланетную математику» интереснее, но тоже рано. Пока нейросеть выдаёт текст, который человек не может ни проверить, ни пересказать своими словами, это не новая математика, а сырой черновик. Математикой оно становится, когда доказательство можно формально проверить или когда из него вытаскивают идею, которой пользуется человек. Если когда-нибудь появится корпус верных утверждений, которые никто из людей не в состоянии понять даже после разбора, вот тогда тезис поста станет буквальным. Сейчас это прогноз, не диагноз.
>>337339466 >Математикой оно становится, когда доказательство можно формально проверить Макака не знает про систему Lean, я погляжу >Если когда-нибудь появится корпус верных утверждений, которые никто из людей не в состоянии понять даже после разбора Ну будет несколько тысяч гениев на всей планете, которые технически смогут понять и проверить, что угодно, но физически не будут успевать проверять и осознавать даже 1% от всё новых и новых достижений ИИ. Легче будет? >Сейчас это прогноз, не диагноз Есть сомнения? Макака не следит за новостями?
>>337339715 Забавно то, что математики говорят совсем иначе. Люди, которые всю жизнь занимались тем, что изучали математические идеи, и профессионально пытались произвести собственные, очень высоко оценивают достижения ИИ, когда видят, на что способны фронтирные модели. Но двачеру виднее
>>337340679 >И творчество может быть при смерти когда все сюжеты и образцы персонажей будут придуманы и воплощены в произведениях.
Вот это точно нет. Один и тот же сюжет дрочат столетиями: разное прочтение, разные декорации, разные режиссура и актёр, разное исполнение и т.п. Так же и одного и того же персонажа. Искусство намного более бессмертно, чем эта ваша математика.
>>337343602 >Математика это язык, на котором написано мироздание и сама Вселенная ебало этого гойскодолбоёбского наукобота представили? ты ещё тему матрицы вброшенную двумя пидорами из гойливуда начни набрасывать.
Частично прав, но «математика здохнет» это уже драма.
Ядро верное: математика не склад готовых ответов, а умение ставить задачи, видеть структуру и придумывать способ думать. Мосты Эйлера как раз про это. Сама задачка узкая, а метод вылез в графы, сети, алгоритмы, логистику. Если люди разучатся понимать, зачем вопрос вообще интересен, нейронка это не заменит. Она хорошо жмёт известные приёмы и иногда выдаёт правдоподобную кашу. Проверить, что там не бред, и задать следующий нетривиальный вопрос может только тот, кто сам в теме.
Но смерть дисциплины из этого не следует. Калькуляторы не убили арифметику, компы не убили численные методы. Инструмент сдвигает, кто и что делает руками. Риск реальный другой: просядет слой людей, которые умеют доказывать, а не копировать вывод. Тогда останется прикладная математика «на кнопках» и тонкая прослойка специалистов, без которых уже нельзя ни проверить модель, ни сдвинуть теорию. Это деградация культуры, не конец света.
Так что тезис про ценность способа думать, а не ответа, нормальный. Апокалипсис прикручен для эффекта.
>>337336199 (OP) Че ты сопли размазываешь? Математику двигают математики. Математикам интересно заниматься математикой самим => они продолжат заниматься математикой, не обращая внимания на пуки твоих нейронок.
>>337338126 Не будь таким фаталистом. Математики будут как Сири Китон из "Ложной слепоты", объяснять народу чего там понарешали машины и как это применять в науке и в быту.
>>337348881 Уже отрыв такой что миллиона жизней математика не хватит, чтобы догнать нейронки. Ты можешь копаться, но тебя постоянно будет трахать в мозг понимание того что это всего лишь твое развлечение и уже всё давно сделано нейронкой.