М.Двач / Математика

43 Кб, 800x502
Роботы-математики 6 фев 2022, 19:29 93525 В конец треда | Веб

Ну что, аноны? Конец математики для человеков. Первые звоночки были еще в 18, но меня тогда все засмеяли. Теперь пришло мое время смеяться.

https://neurohive.io/ru/papers/v-openai-obuchili-model-dokazyvat-teoremy/

Ответы93567935749357893579936039361393649942969454297439113984114040115022115133

2 7 фев 2022, 11:23 2 93567

>>93525 (OP)
какую-то хуйню про треугольники доказывают?
ну, смейся

3 7 фев 2022, 14:24 3 93574

>>93525 (OP)
Вот это, кстати, вполне реальная задача в отличии от автоматизации программирования.

4 7 фев 2022, 15:30 4 93578

>>93525 (OP)
>Теперь пришло мое время смеяться.
Если ты действительно можешь написать эту нейросетку самостоятельно, то даю тебе право смеяться.
В противном случае узбагойзя, потому что сам ты ничего не умеешь.

5 7 фев 2022, 15:59 5 93579

>>93525 (OP)
Если ИИ сможет заменить математиков, то тебя и подавно. Смотри штаны от смеха не обосри.

6 7 фев 2022, 22:27 6 93603

>>93525 (OP)
Я был бы не против чтобы матику нейронками наебнули, рад что что-то получатся начало, надеюсь доживу до чего-то более осмысленного

3,6 Мб, 2500x3500
7 8 фев 2022, 11:09 7 93613

>>93525 (OP)
не обращайте внимание, у меня под рукой нет файлообменика

Ответы93660

8 8 фев 2022, 20:28 8 93649

>>93525 (OP)
Ну допустим у тебя есть чудо-магическая-програмка, доказывающая любую теорему. Допустим более она выдает понятное тебе короткое док-во, она же чудо-магическая.
Но тебе перед этим теорему нужно сформулировать. Возьми задачу с твоего пика, как ты думаешь, каким образом кто-то нашёл это неравенство?

9 9 фев 2022, 00:12 9 93660

>>93613
Ты же понимаешь, что спровоцируешь здешних шизов, которые везде видят шизов и "тараканов", а себя считают Математиками?

Ответы9368193694

10 9 фев 2022, 16:52 10 93681

>>93660
0.(9) шиз, ты?

Ответы93690

11 9 фев 2022, 21:38 11 93690

>>93681
ЧТД.

Ответы93691

12 9 фев 2022, 22:18 12 93691

>>93690
так бы сразу и сказал
ещё про математиков-сектантов что-нибудь наверни

Ответы93692

13 9 фев 2022, 22:36 13 93692

>>93691
Вот это пламя. Что-то не так, первокур?

Ответы93694

14 9 фев 2022, 22:52 14 93694

>>93692
По-моему, пламя разве что здесь>>93660

Ответы93695

15 9 фев 2022, 23:57 15 93695

>>93694
Стрелочка не поворачивается, дружок. Тебе остаётся только признать что ты шизик, раз спровоцировался тем сообщением.

Ответы93696

16 10 фев 2022, 00:36 16 93696

>>93695
>ты шизик, раз спровоцировался тем сообщением.
занимательная логика

Ответы93697

17 10 фев 2022, 00:50 17 93697

>>93696
>спровоцируешь здешних шизов, которые везде видят шизов
>0.(9) шиз, ты?
Более чем. Настоящее следствие.

Ответы93701

18 10 фев 2022, 11:21 18 93701

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

Ответы93706937669377495074

19 10 фев 2022, 13:34 19 93706

>>93701
>это натуральная логическая ошибка
>твой комент должен провоцировать шизов
>это не значит, что он будет провоцировать только их
Сейчас у ТЕБЯ логическая ошибка, первокур. Ты пытаешься сконцентрироваться на частном, избегая общего.
>спровоцируешь здешних шизов, которые везде видят шизов
>0.(9) шиз, ты?
ЧТД, первокур. Это тебе не про гомологии рассуждать.

Ответы9370895074

20 10 фев 2022, 13:48 20 93708

>>93706
>Сейчас у ТЕБЯ логическая ошибка
Поясни, где?

Ответы93713

21 10 фев 2022, 14:30 21 93713

>>93708
Зачем мне это нужно, если ты не видишь очевидного?

Ответы93721

22 10 фев 2022, 15:43 22 93721

>>93713
не знаю, что тебе нужно
но когда что-то утверждаешь, хорошо бы уметь это пояснить.
вот, например, я: увидел у тебя ошибку и явно на неё указал
возразить есть что?
>ой, всё
ну ок

Ответы93722113981

23 10 фев 2022, 15:56 23 93722

>>93721
>увидел у тебя "ошибку"
Ты забыл кавычки, но я прощаю тебя.
>ой, всё
А вот попытка обставить ветку в свою пользу слабоватая.
>но когда что-то утверждаешь, хорошо бы уметь это пояснить.
>твой комент должен провоцировать шизов, это не значит, что он будет провоцировать только их
Как удобно, что ты становишься на свои же "грабли".

Ответы93724

24 10 фев 2022, 16:30 24 93724

>>93722
ты сказал, что у меня есть ошибка, но указать на неё явно ты не можешь (ради бога, не хочешь - разницы никакой), вместо этого несёшь какую-то пустопорожнюю чушь

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

Ответы93726

25 10 фев 2022, 16:52 25 93726

>>93724
>но указать на неё явно ты не можешь
Не не могу, а не хочу. Не путай. "Если надо объяснять, то не надо объяснять".
>несёшь какую-то пустопорожнюю чушь
>но когда что-то утверждаешь, хорошо бы уметь это пояснить.
Любишь повторяться даже в несоблюдении собственных правил.
>может быть, это заставляет тебя чувствовать самого себя лучше, тут уж тогда к психиатру
Заставляет? Ты даже согласовать слова не можешь в предложении?
>если что-нибудь конструктивное будет
Ты писал общими фразами, а теперь посягаешь на конструктив, первокур.
Какие же ироничные выходят сообщения у тебя.

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

Ответы93733

26 10 фев 2022, 18:36 26 93733

>>93726
>Не не могу, а не хочу.
никакой совершенно разницы
разница только в твоей голове, а что там творится, уже и так понятно

Ответы93734

27 10 фев 2022, 18:41 27 93734

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

Ответы93736

28 10 фев 2022, 19:44 28 93736

>>93734
ты дальше второй строчки не сумел прочитать?
нет никакого противоречия

Ответы93742

29 10 фев 2022, 21:52 29 93742

>>93736
Противоречие есть, но ты не видишь очевидного. Повторно.

Ответы93757

30 11 фев 2022, 00:10 30 93757

>>93742
>Противоречие есть
ну и где?

>не видишь очевидного
"очевидного" тебе
при этом ты сам это "очевидное" объяснить не можешь не хочешь, разницы никакой, в результате получается бред

в общем, подозреваю, что 0.(9)-шиз и ты - это одно лицо
очень похожи во всяком случае

если сумеешь, попробуй объяснить, где я не прав,
без оскорблений, инсинуаций и прочей дряни обрати внимание, я сам выше ни разу этого не допустил. а ясно и формально.
интересно, получится ли у тебя конечно, нет

Ответы937589376093784

31 11 фев 2022, 00:12 31 93758

>>93757
>обрати внимание, я сам выше ни разу этого не допустил
ладно, чуть-чуть позволил
прости меня

32 11 фев 2022, 04:46 32 93760

>>93757
>ну и где?
Ну смотри.
>никакой совершенно разницы
>разница только в твоей голове
Если даже считать второе предложение пояснением первого, то, тем не менее, оно является другим утверждением, нежели само - первое, а потому само же нуждается, по твоему же правилу, в пояснении. Таким образом тебя можно свести к бесконечным пояснениям или же тупой тавтологии. Во всех смыслах это будет глупо и смешно, а всё благодаря твоему максималистскому правилу. Нечто схожее касается и самого первого твоего противоречия.
>обрати внимание, я сам выше ни разу этого не допустил
>подозреваю, что 0.(9)-шиз и ты - это одно лицо
Настоящее лицемерие. И никакого противоречия, снова?
Если я начну подозревать в тебе кого угодно, то ты воспримешь это как оскорбление?
>прости меня
Нет.

Ответы93766

33 11 фев 2022, 11:00 33 93766

>>93760
ты мне заявил, у меня здесь>>93701 есть логическая ошибка
где она? в чём я не прав?
ты перепутал там достаточные и необходимые условия.

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

Ответы93771

34 11 фев 2022, 12:03 34 93771

>>93766
>где она? в чём я не прав?
>Нечто схожее касается и самого первого твоего противоречия.
Ты дальше второй строчки не сумел прочитать?
А ещё ранее:
>"Если надо объяснять, то не надо объяснять".
У тебя память как у рыбы. Как относишься к рыбам, кстати?
Вообще, относишься к ним, Ихтиандр? Заметь, отнёс теперь к конкретному, литературному персонажу. Он был положительным, в общем представлении.

Ответы93774

35 11 фев 2022, 12:58 35 93774

>>93771
>Нечто схожее касается и самого первого твоего противоречия.
это пустопорожняя фраза, в которой нет никакого смысла (как и большая часть всего, что ты пишешь). Нечто схожее - это что такое вообще

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

ещё раз: где в >>93701 находится логическая ошибка?

Ответы93781

36 11 фев 2022, 15:08 36 93781

>>93774
Не помню уже, какой раз отвечаю:
>"Если надо объяснять, то не надо объяснять".

Ответы93784

37 11 фев 2022, 16:18 37 93784

>>93781
это, ясно, не ответ, а всё та же попытка от него уйти
непонятно, ради чего ты мне вообще отвечаешь, собственно

то, что ответа не будет, я спрогнозировал здесь>>93757, так что полностью удовлетворён. ты оправдал всё, что я от тебя ожидал

Ответы93787

38 11 фев 2022, 17:20 38 93787

>>93784
>это, ясно, не ответ
Вполне себе.
>ты оправдал всё, что я от тебя ожидал
Взаимно. Особенно доволен тем, что не видишь очевидного.
Жду на себя целое досье. Не забудь сохранить всю переписку без искажений.

Ответы93788

39 11 фев 2022, 17:53 39 93788

>>93787
>укажи, где
>не хочу!! не видишь очевидного!! #@M()A-^#)_@Б!! я не должен объяснять!!

точно, вполне себе

Ответы93789

40 11 фев 2022, 18:37 40 93789

>>93788
Не обижайся. Тебе не дано.

41 11 фев 2022, 18:51 41 93790

Как же вы заебали со своим унылым срачем. Как петухи на бойцовской арене.

Ответы93791

42 11 фев 2022, 18:59 42 93791

>>93790
не переживай, уже всё: он слился да, да, шиз, я про тебя, давай ,налетай, хаха

да и в треде вроде этого можно

43 11 фев 2022, 22:14 43 93804

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

Ответы94297

44 11 фев 2022, 22:48 44 93805

Здешние шизы, которые везде видят шизов не меняются.

45 23 фев 2022, 23:05 45 94296

>>93525 (OP)
Websites prove their identity via certificates, which are valid for a set time period. The certificate for neurohive.io expired on 22/02/2022.

46 23 фев 2022, 23:05 46 94297

>>93804
Не твоим куриным мозгам судить, ебать.

Ответы94315

47 25 фев 2022, 00:45 47 94315

>>94297
подрыв таракана итт

48 19 мар 2022, 09:51 48 94538

"Если говорить о некоей перспективе, то мне кажется, что через двадцать лет произойдет более значимое событие, чем появление машин-математиков — произойдет определенное соединение математики, структурализма и искусства, к которому давно уже все идет. И когда компьютеры научатся качественной оригинальной живописи, когда они будут не просто косить под стиль какого-то художника, а находить новое прочтение окружающей и внутренней природы, то тогда будут возможны и машины-математики, которые будут выдавать красивые непротиворечивые теории."

Роман Михайлов

1,3 Мб, 1280x899
49 19 мар 2022, 13:29 49 94542

>>93525 (OP)
Ну и что? Если ты создашь робота такого же как человек, почему я не могу называть этого робота человек из стали? Так говорят "о боже! роботы теперь могут в математику!!". Это всё равно что "О боже пориджи научились открывать консервы открывашкой!!". Как будто бы люди раньше не были зависимы от технологий. Как будто бы люди могут остановить технический прогресс. Для меня первые звоночки были когда обезъяна взала палку-копалку в руки.

50 12 апр 2022, 01:34 50 95074

>>93706
>>93701
Теорема о неполноте Геделя гласит, что вы оба идете нахуй

Ответы95075

51 12 апр 2022, 07:57 51 95075

>>95074
Теорема о неполноте Геделя гласит что ты долбоеб и этого нельзя опровергнуть посредством первоначальных тезисов.

52 9 мая 2022, 12:58 52 95718

пп

Ответы95719

53 9 мая 2022, 12:58 53 95719

>>95718
ппп

Ответы97276

54 25 июля 2022, 09:21 54 97276

>>95719
[math]/!)-&~n/{"isRoot":false,"isTextMode":false,"isTabularCellsSelected":false,"isPureText":false,"insideInlineMath":false,"lines":[{"blocks":[{"text":"a"},{"text":"\\power-index","type":"composite","elements":{"powerValue":{"lines":[{"blocks":[{"text":"2"}]}]},"indexValue":{"lines":[{"blocks":[{"text":"n"}]}]}}},{"text":"="},{"text":"\\frac","type":"composite","elements":{"value":{"lines":[{"blocks":[{"text":"x"},{"text":"\\power","type":"composite","elements":{"powerValue":{"lines":[{"blocks":[{"text":"2"}]}]}}}]}]},"sub1":{"lines":[{"blocks":[{"text":"y"},{"text":"\\power","type":"composite","elements":{"powerValue":{"lines":[{"blocks":[{"text":"2"}]}]}}},{"text":"+"},{"text":"\\sum","type":"composite","elements":{"from":{"lines":[{"blocks":[{"text":"n-1"}]}]},"to":{"lines":[{"blocks":[{"text":"1"}]}]}}},{"text":"a"},{"text":"\\power-index","type":"composite","elements":{"powerValue":{"lines":[{"blocks":[{"text":"2"}]}]},"indexValue":{"lines":[{"blocks":[{"text":"i"}]}]}}}]}]}}}]}],"rootEditorId":"321241621323","inlineMathDisplayStyle":null}[/math]

55 30 июля 2022, 13:55 55 97439

>>93525 (OP)
Проблемы Гильберта и задачи тысячелетия кончились что ли? Иллюстрировать надо чем-то таким. Теоремой Поста и т.п. уже скоро век, как пугают.

56 27 мар 2024, 04:47 56 113981

>>93721
противоречие есть, но меня здесь есть логическая ошибка>твой комент должен объяснять!!точно, вполне реальная задача в 1 строчку вызывать тактику из написанной людьми библиотеки lean, решая при этом задачу из написанной

57 27 мар 2024, 13:03 57 113984

>>93525 (OP)
>но меня тогда все засмеяли.
И правильно сделали. Ты не математик, и это видно сразу. Парадоксально, но главная задача математического доказательства для математика - не собственно доказать, а понять. Здесь по определению твои тараканьи потуги имеют ничтожную пользу.
Но для обывателя - включая погромистов, которые математику не осилили, и всё хотят её "решить" алгоритмически - выглядит, конечно, очень убедительно.

Ответы113993

58 27 мар 2024, 21:10 58 113993

>>113984
Ах этот решатель Гильберт с его разрешимостью!

59 30 мар 2024, 21:09 59 114040

>>93525 (OP)
Забавно, но на самом деле, по крайней мере я лично жду не дождусь когда жепети и ее друзей доведут до нормальной кондиции и вот тогда можно будет реально браться изучать математику (и все остальное). Это будет топовый учитель мирового уровня, которому можно задать ЛЮБОЙ вопрос и он гарантированно не станет говниться а максимально подробно тебе разжует ответ.
Наверное у кого то припечет кто собирался доказать гипотезу Римана а комп вдруг возьмет да и докажет вместо него, мне как то вообще похуй.

Ответы114060

60 1 апр 2024, 14:12 60 114060

>>114040
>доведут до нормальной кондиции
Ты ебобо просто, и не разбираешься ни в математике, ни в LLM. ML вероятностно на фундаментальном уровне. Такие модели невозможно "довести до нормальной кондиции" в контексте преподавания. Неучи-зумеры, которые в чатжпт видят magic 8-ball, это просто верх невежественного долбоебизма.

Ответы114062114063114777

61 1 апр 2024, 16:39 61 114062

>>114060
>Ты ебобо просто
Лучше своему отцу это скажи
>Такие модели невозможно "довести до нормальной кондиции"
Иди скорее расскажи это главам корпораций и инвесторам. Жалко только что на мнение анонимной безмозглой хуйлуши с двачей всем похуй.

62 1 апр 2024, 19:45 62 114063

>>114060
> Ты ебобо просто, и не разбираешься ни в математике, ни в LLM.
Ты что ли разбираешься, N опущ? В треде оснований обоссали за непонимание простейших вещей типа определения абстракции, сюда срать пришел? Ну хорошо, давай тебя и здесь обоссым, вообще не вопрос, подставляй ротешник.
> ML вероятностно на фундаментальном уровне.
Как и вербальное поведение вообще, частью которого является математика. Как и вербальные операнты, элементы вербального поведения. Скиннер все это описал ещё в 50х годах, были бы у тебя мозги, можно было б посоветовать прочитать его verbal behavior, но у тебя их нет, читай дальше Успенского. Вербальные операнты в LLM можно даже напрямую визуализировать, для чего существуют инструменты типа bertviz или inseq. Что прямо доказывает не только правоту Скиннера, но и тот факт, что вербальное поведение LLM не имеет существенных отличий от такового же у человека. Но у тебя не хватит ума понять даже то, что тут написано, так что ты и дальше хуй соси и губой тряси, чучело.

63 8 мая 2024, 02:00 63 114777

>>114060
Человек математик тоже зачастую ошибается в рассуждениях, потом он перепроверяет себя и выдаёт на новой итерации что-то верное. Если подкрутить к вероятностному, но очень мощному LLM работу с пруфером, чтобы он ответы сверял с ним, то будет ли так уж велика разница?
Пока что наибольшой проблемой для LLM является то, что не существует корпусов текстов по математике, на которых его можно было бы эффективно обучать работать как математик.

Ответы114785

64 8 мая 2024, 20:01 64 114785

>>114777
>Пока что наибольшой проблемой для LLM является то, что не существует корпусов текстов по математике, на которых его можно было бы эффективно обучать работать как математик.
Основываясь на чем ты пишешь этот бред? На на чем. Текстов хоть жопой жуй, а если все равно мало - генерируй. Только это похоже на смешную историю как конструктивный петух лет десять назад мне доказывал что word2vec - это уже полноценный ИИ - надо только больше текстов ему скормить. И ничего что с тех пор несколько десятков хитрожопых архитектур придумали пока одна не выстрелила. Ну как выстрелила - может генерировать бредо-текст без малейшего намека на его понимание. И нет никаких предпосылок к тому чтобы это понимание зародилось, т.е. хуй знает как отучить нейронку галлюцинировать например - и это не мое личное мнение, а индустрии.

Ответы114788114789

65 9 мая 2024, 02:56 65 114788

>>114785
Продвинутые тексты по математике почти всегда весьма обскурные, не говоря уже о статьях, в которых почти никогда не содержится полного формального доказательства, а скорее наброски, тем более там почти никогда нет отметок того, как математик пришёл к такому доказательству.
Даже если это не единственная проблема, то одна из основных. А вот в вероятностной природе LLM по написанному мной выше я приниципальной проблемы как раз не вижу.
В споры с местными шизами меня впутывать не нужно.

Ответы114793114794

66 9 мая 2024, 06:14 66 114789

>>114785
> word2vec - это уже полноценный ИИ - надо только больше текстов ему скормить.
Word2vec не может в контекстное кодирование одного и того же слова, это фатальный недостаток. Например, слово "хуй" всегда будет кодироваться одним вектором, безотносительно разных значений (например, хуй как то что ты сосешь, и как желаемое направление для тебя и всей твоей семьи).
> без малейшего намека на его понимание
Петушара, определяй "понимание", раз кукарекнул.

Ответы114793

67 9 мая 2024, 12:12 67 114793

>>114788
>Продвинутые тексты по математике почти всегда весьма обскурные
Ты можешь написать: один плюс один равно два, один плюс два равно три ... и сгенерировать хоть терабайты такого текста. Так никто не делает потому что это очевидный тупик. А если нейронка у тебя не может даже в арифметику нахуя тогда ее мучить "высокими материями"?
>как раз не вижу
Железный епта аргумент. Ну очки тогда подбери получше у окулиста.
>>114789
>не может в контекстное кодирование
Кек я как раз хотел у петуха узнать как этот алгоритм отличит один "лук" от другого "лука". Ох какие были кукареки сочные что это ж ебать какой алгоритм и там все автоматически в многомерных пространствах рассчитывается надо только больше примеров накидывать.
Проблема кстати так и не решена до сих пор. Только теперь ты будешь пытаться кукарекать про контекст повторяя за умными людьми то чего не понимаешь и махать крылышками. Времена идут а ебанашки не меняются.
>определяй "понимание"
Попробуй предложение до конца дочитать, я специально для умственно неполноценных вроде тебя расписал что конкретно требуется как минимум.

Ответы114794114843

68 9 мая 2024, 13:19 68 114794

>>114788
> Даже если это не единственная проблема, то одна из основных
Это вообще не проблема. Главная проблема в том, что LLM путают с канкуляторами.
>>114793
> Попробуй предложение до конца дочитать, я специально для умственно неполноценных вроде тебя расписал что конкретно требуется как минимум.
Не, петух, так не пойдет. Определяй, что такое "понимание", раз используешь этот термин в аргумениации, либо не разбрасывайся словами, смысла которых не знаешь. Видели уже одного дегенерата, 9 лет срал, пока не выяснили, что это чудо просто не в курсе что такое абстракция.

Ответы114796114799

69 9 мая 2024, 14:06 69 114796

>>114794
Конструшок, это ты? Понял что такой УМТ наконец, или все еще школьную программу не осилишь никак?

Ответы114797

386 Кб, mp4,
764x720, 0:03
70 9 мая 2024, 14:34 70 114797

>>114796
Ясно, очередная даунша слилась. Терпи, что тебе ещё посоветовать.

Ответы114798

71 9 мая 2024, 14:38 71 114798

>>114797
Ару, похоже попадание. Нахуй ты делаешь вид что не про тебя написано и не ты дрочил на word2vec как на второй приход Христа?

Ответы114799

72 9 мая 2024, 14:50 72 114799

>>114798
Ты на вопрос не ответил >>114794
> . Определяй, что такое "понимание", раз используешь этот термин в аргумениации,

Ответы114800114812114841114842114849114873

73 9 мая 2024, 14:52 73 114800

>>114799
Читать что тебе пишут не пробовал, дебушка? Хотя другого от конструктивного петуха сложно ожидать.

Ответы114812

74 10 мая 2024, 15:25 74 114812

>>114800
Ты пишешь хуйню, просто ради того чтобы последним написать. Типичная школьная попытка самоутверждения. И я напомню, >>114799 давай определение "понимания", или терпи как N петух с абстракцией. Кукареканьем не отделаешься, петушь.

Ответы114813

75 10 мая 2024, 15:37 75 114813

>>114812
Я тебе явно дал понять что ни хуя больше про "понимание" я расписывать не собираюсь потому что написанного уже болеее чем достаточно. И да не пытайся реверсить конструктивное чмо, самы главный петух раздела тут только ты. Как тебе вообще хватает наглости резевать свою пасть когда тебя уже столько раз ловили измазанного говном с головы до ног, одна только история с word2vec достаточна для нормального человека (т.е. не безмозглого петуха вроде тебя) чтобы под землю провалиться от стыда.

Ответы114814

76 10 мая 2024, 15:53 76 114814

>>114813
> Я тебе явно дал понять что ни хуя больше про "понимание" я расписывать не собираюсь потому что написанного уже болеее чем достаточно.
Дятел, ты никакого определения понимания не давал никогда. Конечно, ты не собираешься этого делать, потому что не знаешь. Просто так кукарекнул в надежде сойти за умного, но ожидаемо сошел за малолетнего петуха без мозгов, коим по факту и являешься. Все эти твои оправдания "а вот ты, а вот тебе, а вот word2vec кукареку" итд только ещё раз подчёркивают твой дебилизм.

Ответы114815

77 10 мая 2024, 16:58 77 114815

>>114814
Какой же потешный тупой конструктивный петух. Почему чмориджей не постишь, из моды вышли?

Ответы114816

78 10 мая 2024, 17:15 78 114816

>>114815
> пок пок
Что, простите? На вопрос отвечай, поридж.

Ответы114817

79 10 мая 2024, 17:49 79 114817

>>114816
Зачем тебе?

Ответы114820

80 10 мая 2024, 18:10 80 114820

>>114817
Что "зачем"? Какой же ты тупой.

Ответы114830

81 10 мая 2024, 19:12 81 114830

>>114820
Лучше бы попросил чтобы я тебе объяснил чем универсальная машина Тьюринга отличается от МТ вообще и какое понятие является более общим, перестал бы позориться не пониманием школьной программы, петух.

Ответы114833114896

82 10 мая 2024, 19:35 82 114833

>>114830
Даунша, я тебе на это не только отвечал, но и ссылки приносил. А вот ты на вопрос ответить не в состоянии. Чё ж ты такой тупой-то. Ну ок, давай ещё раз, для закрепления твоего статуса опуща:
https://ru.m.wikipedia.org/wiki/%D0%A3%D0%BD%D0%B8%D0%B2%D0%B5%D1%80%D1%81%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D0%BC%D0%B0%D1%88%D0%B8%D0%BD%D0%B0_%D0%A2%D1%8C%D1%8E%D1%80%D0%B8%D0%BD%D0%B3%D0%B0#:~:text=%D0%A3%D0%BD%D0%B8%D0%B2%D0%B5%D1%80%D1%81%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B9%20%D0%BC%D0%B0%D1%88%D0%B8%D0%BD%D0%BE%D0%B9%20%D0%A2%D1%8C%D1%8E%CC%81%D1%80%D0%B8%D0%BD%D0%B3%D0%B0%20%D0%BD%D0%B0%D0%B7%D1%8B%D0%B2%D0%B0%D1%8E%D1%82%20%D0%BC%D0%B0%D1%88%D0%B8%D0%BD%D1%83,%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B0%20%D0%B1%D1%8B%D0%BB%D0%B0%20%D0%B4%D0%B0%D0%BD%D0%B0%20%D0%BD%D0%B0%20%D0%B2%D1%85%D0%BE%D0%B4.
> Универсальной машиной Тью́ринга называют машину Тьюринга, которая может заменить собой любую машину Тьюринга. Получив на вход программу и входные данные, она вычисляет ответ, который вычислила бы по входным данным машина Тьюринга, чья программа была дана на вход.
Отсюда, универсальная машина Тьюринга - более общее понятие, так как она может заменить любой частный случай машины Тьюринга. Теперь ты отвечай, долбаебша.

Ответы114834

83 10 мая 2024, 21:20 83 114834

>>114833
Петух, мы же это уже с тобой проходили, совсем твои птичьи мозгульки уже ничего не держат? Тебе было домашнее задание как следует подумать и ответить на вопрос:
какое понятие более общее - "автомобиль" или "зеленый автомобиль"
Ты так ничего и не ответил.

Ответы114841

84 10 мая 2024, 22:27 84 114835

82 Кб, 721x60537 Кб, 723x333

Смотри, петушок, какую мякотку я отрыл. Твои вскукареки?
https://2ch.hk/sci/arch/2019-01-21/res/430355.html (М)

Жалко разрабы из гуглов не знали как петух без мозгов что достаточно побольше данных в word2vec запихивать и зачем то разрабатывали gpt.

Ответы114842114846

11 Кб, 724x151
85 10 мая 2024, 22:50 85 114836

Какая же охуенная орная экспертиза. Петух, давай честно - твое?

Ответы114842

86 11 мая 2024, 05:07 86 114841

>>114834
> какое понятие более общее - "автомобиль" или "зеленый автомобиль"
Автомобиль более общее. Теперь ты давай, петушь.
> Ты так ничего и не ответил.
Будешь одним и тем же детским вопросом перемагивать вместо ответа на заданный тебе вопрос? >>114799 Да ты ещё тупее, чем я думал.

Ответы114847

87 11 мая 2024, 08:04 87 114842

>>114835
>>114836
Не-не, пердёж, давай без уведения разговора в сторону абсолютно не относящимися к теме постами 6-летней давности, которые ты судорожно ищешь с дымящейся жопой. Ты чуть выше написал полный бред про "понимание", вот это и разберем. Не нужно перемагивать левыми вопросами про машины Тьюринга, про word2vec, в которых ты все равно ничего не понимаешь. Или отвечай на >>114799 или объявляй себя опущенным.

Ответы114848

88 11 мая 2024, 08:52 88 114843

>>114793
>один плюс один равно два, один плюс два равно три ... и сгенерировать хоть терабайты такого текста
Забавно, это фраза относится к теме вот вообще никак.
>Железный епта аргумент
Я специально написал "по написанному выше", т.к. какие-то аргументы приводил до этого. Ты решил не их почему-то "уничтожить", а прост пукнуть.
И я, видимо, пропустил, где до этого ты приводишь аргументы в пользу своего тезиса.

Ответы114845114848

89 11 мая 2024, 11:25 89 114845

>>114843
>Забавно, это фраза относится к теме вот вообще никак.
У тебя нейронки уже нормально считать научились? Или арифметика не математика? Ты ебанашка?
>пропустил
То что ты слепашарая ебанашка мы уже становили, продолжаем наблюдения.

Ответы114846

133 Кб, 919x750
90 11 мая 2024, 11:32 90 114846

>>114845
> продолжаем наблюдения.
Срать себе в штаны у вас, пердежей, теперь называется "наблюдение"?
>>114835
> гугл
> GPT
Даунша, гпт не в Гугле разработали. И вот такая хуета, которая даже не в курсе, чем гпт от гугловского берта отличается, будет тут что-то квакать про LLM. Уроки иди делай, пер деж

Ответы114848

91 11 мая 2024, 11:37 91 114847

>>114841
>Автомобиль более общее.
Молодец, делаешь успехи, петушок.
>детским вопросом
В прошлом треде категорщику для решения данной задачи понадобилась категория всех понятий на свете и без предъявления оной задача была для него не посильна. Так что есть даже существа тупее конструктивного петуха, удивительно.

Теперь давай возьмем похитрее - "универсальный клей" и просто "клей". Смогешь?

Ответы114849114873

92 11 мая 2024, 11:44 92 114848

>>114842
>>114843
>>114846
Петушок, ты подтверждаешь что это все твои высеры? Охуеть. Даже "экспертиза" про не нужность диплернинга в нлп, ведь word2vec все смогет. И тебе при этом не хочется провалиться сквозь землю?

Ты хотя бы сейчас можешь признать что писал полнейшую хуйню что в word2vec есть какие то там контексты и он все могет различать или еще крутанешь хвостиком?

Ответы114850114933

93 11 мая 2024, 11:44 93 114849

>>114847
Ты дебил, это очевидно. Давай лучше вспомним, что ты не осилил понять того, что универсальная машина Тьюринга потому и универсальная, что это более общий случай. А после того, как я тебе принес определение, вместо того чтобы признать свою неправоту, начал кукарекать, что успешно и делаешь до сих пор. Хочешь и дальше быть клоуном, дело твое. Но ты забыл кое-что, а именно, данный вопрос >>114799 и теперь свой обсер пытаешься закукарекать левыми постами. Но что-то не выходит пока, пичалька, да, чморидж?

Ответы114851

94 11 мая 2024, 11:46 94 114850

>>114848
> контексты
Заодно, давай определение контекста, посмотрим, как ты ещё раз обкукарекаешься.

Ответы114852114873

95 11 мая 2024, 11:49 95 114851

>>114849
Определения еще понять надо, правильно. А это весьма непростая задачка когда ты тупой конструктивный петух без мозгов. Тебе новая задачка ждет. Или тебе нужен еще год на подумать как с предыдущей? Понимаю, с петушиными мозгами не разгуляешься.

Ответы114855

96 11 мая 2024, 11:51 96 114852

>>114850
Может ли может word2vec различать значения слов? Ты признаешь что ты петух в говне или будешь продолжать копротивляться в бессильной злобе?

Ответы114855

97 11 мая 2024, 12:22 97 114855

>>114851
> Определения еще понять надо, правильно.
Но ты-то, пердикс, все понимаешь, правда же? Поэтому пиши, не стесняйся.
>>114852
> Может ли может word2vec различать значения слов?
> может ли может
Не трясись только, ребенок.

Ответы114857

98 11 мая 2024, 12:29 98 114856

всякая ли машина Тьюринга универсальная?

Ответы114858

99 11 мая 2024, 13:01 99 114857

>>114855
Ясн, петуху еще нужен год на подумать.

Ответы114868

100 11 мая 2024, 13:04 100 114858

>>114856
Попробуй учебник информатики полистать. Если ты не конструктивный петух. Для него это слишком сложновато.

Ответы114859

101 11 мая 2024, 13:24 101 114859

>>114858
я-то листал, но интересно всё же мнение конструктивного петуха уважаемого конструктивиста

178 Кб, 900x900
102 11 мая 2024, 17:19 102 114868

>>114857
С тобой давно все ясно. Пишешь хуйню, а при любой попытке уточнить, что имелось в виду, сразу закукарекивание машиной Тьюринга. Типичный НПС пердёж для накрутки постинга в общем.

Ответы114869

103 11 мая 2024, 18:07 103 114869

>>114868
Петух, ты обучаться и отвечать на неудобные вопросики собираешься или окончательно перешел в режим шитпостинга боевыми чмориджами?

Ответы114873

104 12 мая 2024, 01:54 104 114873

>>114869
Я уж понял, что ты петух, мог бы не представляться. Насчёт неудобных вопросиков, они тебя ждут: >>114850
>>114799 и ты правда настолько дединсайд, что считаешь вопросами одно и то же, с изменением в одно слово? >>114847 в коррекционной школе учишься, да?

Ответы114875114876114884114889114895114897114912114921114925

105 12 мая 2024, 12:05 105 114875

>>114873
>Ты пишешь хуйню, просто ради того чтобы последним написать.

>настолько дединсайд
Оставь мемы молодым, ты в них не можешь. В pr вычислили что ты должно быть подпивас лет 45, т.к. зумер не смог бы уже лет десять срать во всех разделах.

>Теперь давай возьмем похитрее - "универсальный клей" и просто "клей". Смогешь?
Давай, напрягай куриные извилины.

Ответы114876114877

106 12 мая 2024, 12:13 106 114876

>>114875
> Теперь давай возьмем похитрее - "универсальный клей" и просто "клей". Смогешь?
Да ты и правда тупой. В чем смысл перемагивать одними и теми же вопросами, в которых одно слово заменили? Скрыть свой обсер так не выйдет, плохо оправдываешься. Ну и стандартно напомню: >>114873 отвечай, если мозгов хватит. Но у тебя не хватит.

Ответы114879

82 Кб, 592x604
107 12 мая 2024, 12:15 107 114877

>>114875
> Оставь мемы молодым, ты в них не можешь.

Ответы114879

108 12 мая 2024, 13:23 108 114879

>>114876
>>114877
Смешной боевой петушок.

Ответы114880

109 12 мая 2024, 13:57 109 114880

>>114879
Ну так ты решил как обычно, все закукарекать, типа ничего не было? Ожидаемо, что взять с пердежа.

Ответы114881

110 12 мая 2024, 14:22 110 114881

>>114880
>Отсюда, универсальная машина Тьюринга - более общее понятие, так как она может заменить любой частный случай машины Тьюринга.
Какая же ты тупая долбоебина, конструктивный петух. Вот тебе даже другой анон подсказывает
>всякая ли машина Тьюринга универсальная?

Ответы114882

111 12 мая 2024, 14:50 111 114882

>>114881
> пердёж пердежирует
Я тебя услышал. За тебя ещё раз погуглить, чтобы ты и дальше продолжил оправдываться и закукарекивать?

Ответы114883

112 12 мая 2024, 15:28 112 114883

>>114882
Я хочу чтобы ты попытался включить свой крошечный петушиный мозг, хотя это и очень не легко.

Ответы114884

113 12 мая 2024, 15:36 113 114884

>>114883
> Я хочу
Закукарекать левыми вопросами свой обсер >>114873 Не выйдет.

Ответы114886

114 12 мая 2024, 15:44 114 114886

>>114884
Если я обосрался, то почему ты весь в говне тогда? Что то тут не сходится.

Ответы114889

115 12 мая 2024, 16:30 115 114889

>>114886
> я обосрался,
Разумеется: >>114873

Ответы114892

116 12 мая 2024, 17:12 116 114892

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

Вот еще один петушиный прикол: можно ли формализовать понятие алгоритма?
Ответ здорового человека: конечно, машина Тьюринга - пример такой формализации.
Ответ конструктивного петуха без мозгов: нет потому что кококококо конструктивизм Гильберт Брауер проблема останова кококококо.

Ответы114895114905

117 12 мая 2024, 17:50 117 114895

>>114892
> пок пок
Плохо оправдываешься. Отвечать-то >>114873 будешь?

Ответы114896

118 12 мая 2024, 17:56 118 114896

>>114895
>>114830

Ответы114897

119 12 мая 2024, 18:02 119 114897

>>114896
Название треда прочитай, дебилок. Причем тут твое непонимание машины Тьюринга? Давай лучше обсудим твое непонимание вот этого >>114873 что хотя бы релевантно этому треду. Универсальные вычислители сложнее, чем может осилить пердёж вроде тебя.

Ответы114898

120 12 мая 2024, 18:11 120 114898

>>114897
>непонимание машины Тьюринга
>Отсюда, универсальная машина Тьюринга - более общее понятие, так как она может заменить любой частный случай машины Тьюринга.
Такой смешной петух.
Ты кстати все еще уверен в невозможности формализации понятия алгоритма? Так, уточню на всякий случай.

Ответы114905

121 12 мая 2024, 19:51 121 114905

>>114898
>>114892
> можно ли формализовать понятие алгоритма?
> Ответ здорового человека: конечно, машина Тьюринга - пример такой формализации.
То есть ты даже статью в Википедии не осилил. Это неудивительно, ведь мозгов у тебя нет. Ну ок, давай вместе почитаем:
https://ru.m.wikipedia.org/wiki/%D0%90%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC
> На основе исследования этих машин был выдвинут тезис Тьюринга (основная гипотеза алгоритмов):

> Некоторый алгоритм для нахождения значений функции, заданной в некотором алфавите, существует тогда и только тогда, когда функция исчисляется по Тьюрингу, то есть когда её можно вычислить на машине Тьюринга.

> Этот тезис является аксиомой, постулатом, и не может быть доказан математическими методами, поскольку алгоритм не является точным математическим понятием.

> Создатель теории нормальных алгоритмов А. А. Марков выдвинул гипотезу, которая получила название принцип нормализации Маркова:

> Для нахождения значений функции, заданной в некотором алфавите, тогда и только тогда существует некоторый алгоритм, когда функция нормально исчисляемая.

> Подобно тезисам Тьюринга и Черча, принцип нормализации Маркова не может быть доказан математическими средствами.
Прочитай всю эту статью, если и после этого не поймёшь, почему формализация понятия алгоритма как явления, а не отдельных классов алгоритмов, неизбежно должна решать проблему разрешимости Гильберта, что невозможно, то поздравляю, ты официально тупень.

122 12 мая 2024, 20:20 122 114907

Мышление конструктивного петуха очень похоже на "мышление" нейронки. Он так же надергивает разных интересных слов без их понимания и складывает из них какую то невнятную шизу в своем шизо-мирке.

Ответы114912

123 13 мая 2024, 00:28 123 114911

Ну чё кострукт-лахта, как сосётся?

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

Тотальный отсос Максима Мудак-Тонпы (тупорылого быдлокодера не закрывшего ни одного проекта и автора самого порашного веб-сервера) и толпы его фанатов быдлокодеров, вообразивших себя математиками. Хочу посмотреть на его тупорылое фричерского свиное ебало, крабом не подавись, буддист ебаный. Ты нем матлогик и не матиматик, а хуёвенькая кодомакака застрявшая в 2009 и журнале fprog навечно.

Ответы114912114914

67 Кб, 990x662
124 13 мая 2024, 00:36 124 114912

>>114907
Ну так что, возражения будут? Ты даже до Википедии не дорос, первая же ссылка оттуда обнуляет все твои кукареканья по поводу машины Тьюринга. Т.к с этим разобрались, может быть за свое петушиное кукареканье >>114873 ответишь?
>>114911
У тебя мозгов нет, так что что бы там не выдумывал Пенроуз, к тебе это отношения не имеет, увы.

Ответы114913

125 13 мая 2024, 01:01 125 114913

>>114912
>среди таких формализаций — рекурсивные функции...
Лол, петушок совсем одибилел.
Давай возьмем твое толстенькое зелененькое
>поскольку алгоритм не является точным математическим понятием
Теперь изложи своими словами каким образом из этого тезиса - ведь он тебе очень понравился - следует что формализация понятия алгоритма невозможна. Поржу еще над безмозглыми кукареками. Хинт - не следует, ведь формализация это и есть превращение не строгих понятий в строгие.

Ответы114915

126 13 мая 2024, 01:07 126 114914

>>114911
>Оказалось, что Пенроуз был прав
Что случилось собственно?

Ответы114916115154

127 13 мая 2024, 01:15 127 114915

>>114913
Я излагал, ты не понял и закукарекал, потому что дебил. Я тебе принес цитаты, но ты продолжаешь что-то квакать. Там есть ответ на твой вопрос. Не понял - перечитай. Купи мозги в крайнем случае, что тут ещё сказать.

Ответы114917114918

128 13 мая 2024, 01:16 128 114916

>>114914
> Что случилось собственно?
Ничего не случилось. Очередной пердикс уверовал в очередной худлит.

129 13 мая 2024, 01:25 129 114917

>>114915
Дебил, я же тебе даже подсказочку дал. Может все таки перестанешь дристать под себя?

Ответы114919

130 13 мая 2024, 01:41 130 114918

18 Кб, 936x20422 Кб, 759x378

>>114915
>Я излагал, ты не понял
классика

Ответы114919

131 13 мая 2024, 01:54 131 114919

>>114917
>>114918
То есть, я виноват, что ты читать не умеешь? Так учись, я тут причём.

Ответы114920

132 13 мая 2024, 01:59 132 114920

>>114919
В статье нет того бреда который тебе мерещится в твоем шизоидном мирке.

Ответы114921

133 13 мая 2024, 02:34 133 114921

>>114920
> В статье нет того бреда который тебе мерещится в твоем шизоидном мирке.
Я принес конкретные цитаты, подтверждающие ранее сказанное мной и опровергающие твой манямир о том, что машина Тьюринга якобы является формализацией понятия алгоритма. Там прямо написано, почему не является. Если ты не в состоянии это понять, проблема в тебе, а не во мне или статье. Терпи. Ну и заодно, ответь за своё кукареканье >>114873

Ответы114922114923

134 13 мая 2024, 02:42 134 114922

>>114921
Пиздец ты дебил. Я написал почему твоя цитата нихуя не подтверждает.
>поскольку алгоритм не является точным математическим понятием
следовательно понятие алгоритма невозможно формализовать - так? Пиздец, дебил.

Ответы114925

135 13 мая 2024, 02:49 135 114923

>>114921
>среди таких формализаций — ... и машина Тьюринга.
>манямир о том, что машина Тьюринга якобы является формализацией понятия алгоритма
Петух, почему ты такой ебанутый?

Ответы114925

136 13 мая 2024, 05:46 136 114925

>>114922
>>114923
Плохо оправдываешься, петушь. Я совершенно не намерен объяснять что-то дебилу, не понимаешь даже статью в Википедии - терпи, это твоя проблема, не моя. Я просто ещё раз напомню, что твоя очередная попытка закукарекать отсутствие ответов >>114873 бесполезна и ни к чему не приведет.

Ответы114941

3 Кб, 157x90
137 13 мая 2024, 14:13 137 114933

>>114848
Сколько же шизов в разделе.

Ответы114935

138 13 мая 2024, 15:10 138 114935

>>114933
Collateral damage. Ты считаешь что можно натаскать нейронку сочинять истории о топосах Гротендика раньше чем она научится складывать числа? И ты не шиз. Ясно.

Ответы114936114938

139 13 мая 2024, 17:39 139 114936

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

Ответы114942

140 13 мая 2024, 17:43 140 114938

>>114935
AI геометрические задачи из ммо уже решают на уровне медалистов, если их на них натренировать. Проблема ошибки, вероятность которой всегда есть, решается дополнительным уровнем проверки, инструменты для этого существуют. Галлюцинации просто не пройдут через этот фильтр.
Так что то, что
>ML вероятностно на фундаментальном уровне
непреодолимым препятствием не является, это вопрос времени и средств.

Ответы114942

141 13 мая 2024, 18:36 141 114941

>>114925
>Ты петух, я не петух, кококо
Петух тупой, ну сколько можно трясти гребешком. Лучше скажи от чего ты стал на столько необучаемым, это у тебя возрастное или ты сразу родился таким ущербным?
А что такое "понимание" это очень просто вообще то - это то чего у конструктивного петуха никогда не будет. Вот тебя так и раскочегарило, неполноценный.

Ответы114943

142 13 мая 2024, 18:46 142 114942

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

>>114938
Это не я писал про "фундаментальную вероятностность". Я тебя спросил с каких хуев ты решил что надо больше текстов и что это "главная проблема". Можешь сказать сколько именно текстов нужно тогда? Нет не можешь ведь этот бред еще конструктивный петух высирал про то что надо просто больше текста скормить word2vec, хотя очевидно блядь что он просто петух без мозгов и кукарекает случайные слова из своего клюва.

Ответы114946

143 13 мая 2024, 18:59 143 114943

>>114941
В общем, как я вижу, возражений по существу нет, одни попытки закукарекивания неудобных вопросиков смелого только в интернете потомственного опущенца. Ничего нового, одним словом.

Ответы114944

144 13 мая 2024, 19:01 144 114944

>>114943
>кококо ко ко
Не понимаю на петушином, извини.

145 13 мая 2024, 20:06 145 114946

>>114942
Чел, ты когда в последний раз статью математическую открывал?

Ответы114947114949

146 13 мая 2024, 20:51 146 114947

>>114946
ML считается? Чего спросить то хотел, говори прямо.

113 Кб, 487x449
147 14 мая 2024, 08:07 147 114949

>>114946
> Чел, ты когда в последний раз статью математическую открывал?
> статью математическую
У тебя в слове тиктак одни ошибки

Ответы114951

148 14 мая 2024, 13:18 148 114951

>>114949
Ну чтобы переплюнуть тупость конструшка который доказал невозможность формализации алгоритма принеся статью в которой перечисляются примеры таких формализаций - ему еще надо долго деградировать.

Ответы114959

149 14 мая 2024, 17:24 149 114959

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

Пер деж
е
р

д
е
ж

Ответы114961114962

150 14 мая 2024, 19:36 150 114961

>>114959
формализм крута кто против хуесос

151 14 мая 2024, 20:49 151 114962

>>114959
>оказался несостоятельным
Только в твоем манямирке, п е т у ш.

Ответы114963

152 14 мая 2024, 21:15 152 114963

>>114962
Я хз, о чём вы тут спорите, но я такую цитату от Беклемишева слышал.

Ответы114964

153 14 мая 2024, 21:37 153 114964

>>114963
Тоже тебя петухом называл? К его бате на лекции ходил.

123 Кб, 438x595
154 15 мая 2024, 04:17 154 114966

Короче, тут тоже выяснили суть петушества, пердёж(и) не понимают, почему формализация всей математики (как и достаточно общих математических методов типа алгоритма) принципиально невозможна. Про кризис оснований, проблемы разрешимости и останова пориджи слышали (наверное), но смысла не уловили.

Ответы114968114982

155 15 мая 2024, 04:26 155 114967

389 Кб, 1436x1218757 Кб, 1080x1080

Примерное сравнение IQ разных трансформеров. Видно, что даже самые дохлые модели все ещё намного умнее пориджей.

Ответы115039115042

156 15 мая 2024, 06:45 156 114968

>>114966
ты что ли думаешь, что формализм = формализация всей математики?

Ответы114969

157 15 мая 2024, 06:59 157 114969

>>114968
> ты что ли думаешь, что формализм = формализация всей математики?
Как подход к основаниям - да. Как что-то другое - зависит от контекста. Я к тому, что не всё возможно формализовать.

Ответы114970

158 15 мая 2024, 07:02 158 114970

>>114969
ну ты же в курсе, что формализм не предполагает наличие единой формальной системы, потому теоремы Гёделя тут ничему не мешают (ну а проблемы разрешимости и останова совсем), да?1

Ответы114973114982

159 15 мая 2024, 10:47 159 114973

>>114970
> ну ты же в курсе, что формализм не предполагает наличие единой формальной системы,
Смотря для чего, вопрос в том, что и зачем нужно формализовать.

Ответы114974

160 15 мая 2024, 10:59 160 114974

>>114973
что за хуйню ты пизданул, ты нейросеть?

Ответы114976

161 15 мая 2024, 11:36 161 114976

>>114974
Мозги купи, поридж.

Ответы114983

162 15 мая 2024, 12:13 162 114982

>>114970
>ну ты же в курсе
Ты переоцениваешь конструктивного петуха.
>>114966
>кризис оснований
Но начал ты с того что принес статью на вики про алгоритм.
>Прочитай всю эту статью, если и после этого не поймёшь, почему формализация понятия алгоритма как явления
В ней естественно ничего про твой выдуманный
>кризис оснований
нет и быть не может.
Ты как типичный ШИЗ видишь то что хочешь видеть там где ничего нет.

163 15 мая 2024, 12:51 163 114983

>>114976
как именно проблема разрешимости мешает формализму сможешь рассказать?

164 16 мая 2024, 12:14 164 114993

Лол, петух теперь на дно залег на несколько месяцев. Стандартная схема.

165 17 мая 2024, 17:10 165 115022

>>93525 (OP)
По-моему без прорыва в способности к доказательству ничего не получится. Нейросети сейчас не могут решить даже простые логические задачки, что уж говорить про доказательство каких-то сложных теорем? У них вообще большие проблемы с созданием чего-то нового, генерик квиксорт они, конечно, тебе напишут, а что-то, что было не в датасете - хуй. Я вот просил сверстать себе шаблон для сайта, ибо хтмл ненавижу, так я сколько не указывал на ошибки мне эта гпт выдавала тоже самое. Те же тесты на IQ не ультимативный показатель, но что-то они проходят чуть лучше чем если бы ответ выбирался случайно. Короче говоря, пока это хорошая штука чтоб делать рутину или отвечать на вопросы, возможно компилируя вместе что-то уже решённое, а вот делать что-то принципиально новое они не могут. Тем не менее, принципиальных ограничений нет, может что-то и выйдет потом. Надеюсь - нет.

Ответы115039115045

166 19 мая 2024, 03:59 166 115039

>>115022
>>114967

Так это, сначала нужен ИИ с iq 170+ желательно от DeepMind, но прикрученный к lean, тогда можно будет говорить о каких-то проблемах в "способности к доказательству"

Ответы115040115042

167 19 мая 2024, 04:02 167 115040

>>115039
Блин, осталось дождаться только iq 170, получается

168 19 мая 2024, 14:08 168 115042

>>115039
>нужен ИИ с iq 170+
Я вообще не уверен, что это возможно, учитывая, что модели учатся по общедоступному тексту, написанному, в среднем, людьми с внезапно средним IQ. Это своеобразная ловушка. Модель - не человек, у которого интеллект определяется врождёнными характеристиками помимо внешних, тут всё полностью зависит от того, что ты ей скормишь. Но откуда ты возьмёшь столько текста от крайне редко встречающихся групп людей? Вот и думайте.

Кстати тесты >>114967 отсюда это какой-то бред. Какой там айсикью 100, эти модели не могут даже в простейшую логику, если её нет в датасете. Куда ей до матана, если она не может хтмл сверстать нормально?

Ответы115046115087

169 19 мая 2024, 16:21 169 115045

>>115022
Я не понимаю, почему так важно доказательство теорем? И в каком виде ожидается доказательство?
Скажем взять скормить ей теорему Абеля. Что она высрет? Теорию Галуа с простыми и полезными определениями, или набор лог. символов? Или что-то покруче.
Дальше, чтобы формулировать теоремы нужно знать доказательство предыдущих. Скормили мы ей гипотезу Римана, она выдала, допустим, в удобном виде доказательства с новыми полезными простыми определениями... на страниц 800. Чтобы задать ей новый интересный вопрос придется это док-во изучить. И займет это так же кучу лет. Писанину Мочидзуки уже 12 лет изучают.
Короче думаю проблему такие гипотетические нейросети решат только одну. Это проверка человеческих статей на ошибки. В остальных случаях это какое-то чересчур фантастическое да и ненужное нечто.

Ответы115050115053115086

170 19 мая 2024, 16:23 170 115046

>>115042
>Куда ей до матана, если она не может хтмл сверстать нормально?
Местные мамкины математики тоже нихуя не сверстают только надрищут бреда про "тараканов".

Ответы115088

171 19 мая 2024, 18:28 171 115050

>>115045
>Я не понимаю, почему так важно доказательство теорем?
Если теорема доказана, ей можно пользоваться. Конечно, хорошее доказательство важно, но и плохое необязательно бесполезно

>Писанину Мочидзуки уже 12 лет изучают.
Нахуй никому не нужна. Он заебал всем хамить уже

Ответы115054

172 19 мая 2024, 20:55 172 115053

>>115045
Так болтологические сетки как раз и имеют (очень сильно в будущем) потенциал научиться человеческим языком доказывать.

Ответы115054

173 19 мая 2024, 21:32 173 115054

>>115050
> Он заебал всем хамить уже
Я бы на его месте не только хамил, но еще и чапалахов бы надавал ебланам, которые нихуя не осилили, но "мнение" "свое", разумеется, имеют.
>>115053
Примерно почувствовал?

Ответы115055115087

174 19 мая 2024, 22:06 174 115055

>>115054
Но ты на своём месте сидишь в проперженном треде на говноборде.

175 21 мая 2024, 14:34 175 115086

>>115045
>Я не понимаю, почему так важно доказательство теорем
В данном контексте речь шла не совсем про математическое доказательство, а про reasoning - что-то между рассуждением и доказательством, при обсуждении нейросетей используют как показатель их способности давать адекватный, логически последовательный ответ (и потом аргументировать его). Ну, грубо говоря, их способность в логику.

В контексте математики они важны потому что это влияет на способность использовать формулы/теоремы на практике, и что важнее - в других доказательствах. Но опять таки, я тут не про это.
Вообще, что ещё кроме доказательств можно в математике автоматизировать? Интегралы и производные по-моему вольфрам альфа ищет прекрасно.

176 21 мая 2024, 14:46 176 115087

>>115054
>Примерно почувствовал?
Ну, можно экстраполировать тенденцию в усилении логических способностей. Но, тут важно то, о чём я говорил тут >>115042 . Никакого бесконечного роста интеллекта у них скорее всего не будет, потому что для того, чтоб создать сверхинтеллект нужны очень качественные данные, коих нет в нужном объёме в природе. Для того, чтоб увеличивать его выше среднего, уже нужны какие-то нестандартные способы обучения, типа самообучения или каким-то образом отделения логического аппарата от словестного (Это вообще возможно?). Ну, пока, думаю, математикам бояться нечего. А вот программистам потенциально они могут создать проблемы - кода в интернете много, и он часто очень похож друг на друга. Это идеальная цель для обучения модели. Да и логики там не требуется особой, если требуемый код пишется не для оллимпиады.

Ответы115105

177 21 мая 2024, 14:55 177 115088

>>115046
>Местные мамкины математики тоже нихуя не сверстают только надрищут бреда про "тараканов".

Пара часов чтения манов и всё сверстается, пусть и криво. На себе проверено.

178 21 мая 2024, 22:39 178 115103

Я покормил чатгпт несколькими задачками, результат забавный. Стандартные теоремы, даже сложные, доказательств которых полно и на стакэксченджах и в книжках, "доказывает" относительно нормально, с пробелами в рассуждениях, но "идея" на месте. Но любое конкретное вычисление или задача на поиск контрпримера очель легко ломает.

179 22 мая 2024, 00:01 179 115105

>>115087
> отделения логического аппарата от словестного (Это вообще возможно?).
Ты не понимаешь, о чем пишешь вообще. Логика - такое же вербальное поведение, как и любое другое. Есть некоторые особенности, о которых здесь говорить смысла нет, но сути это не меняет. С точки зрения LLM вербальное поведение это распределение вероятностей над последовательностями токенов (практически прямая цитата из статьи о первой LLaMA).

Ответы115107

180 22 мая 2024, 02:26 180 115107

>>115105
Петух, ты опять вылез потрясти гребешком?
>практически прямая цитата из статьи о первой LLaMA
опять ты шизоцинируешь, прямо как твои любимые сеточки.

Ответы115109

1,3 Мб, mp4,
640x1136, 0:05
181 22 мая 2024, 05:47 181 115109

>>115107
Нахуй пшел, чушка.

Ответы115125

182 23 мая 2024, 02:15 182 115125

>>115109
Отвечай на вопросы, раз уж высунул свой клюв.

183 23 мая 2024, 14:42 183 115133

>>93525 (OP)
А теорему Ферма скармливали ИИ?
Жалкие никчемные людишки, кстати, не смогли ее доказать сами без сложных компьютерных расчетов.
Было бы мегалулзово, если бы машина нашла простое доказательство.

Ответы115134

184 23 мая 2024, 15:00 184 115134

>>115133
>не смогли ее доказать сами без сложных компьютерных расчетов.
Че ты несешь?

Ответы115136115146

185 23 мая 2024, 15:15 185 115136

>>115134
блистает знаниями

Ответы115146

186 23 мая 2024, 20:35 186 115146

>>115134
>>115136
Все, что нужно знать о местных мамкиных мяняматиках. Теорема Ферма была доказана в 1995 году.

>Пока в печати продолжалась шумиха, началась серьёзная работа по проверке доказательства. Каждый фрагмент доказательства должен быть тщательно изучен прежде, чем доказательство может быть признано строгим и точным. Уайлс провёл беспокойное лето в ожидании отзывов рецензентов, надеясь, что ему удастся получить их одобрение. В конце августа эксперты нашли недостаточно обоснованное суждение.

>Оказалось, что данное решение содержит грубую ошибку, хотя в целом и верно. Уайлс не сдался, призвал на помощь известного специалиста в теории чисел Ричарда Тейлора, и уже в 1994 году они опубликовали исправленное и дополненное доказательство теоремы. Самое удивительное, что эта работа заняла целых 130 (!) полос в математическом журнале «Annals of Mathematics». Но и на этом история не закончилась — последняя точка была поставлена только в следующем, 1995 году, когда в свет вышел окончательный и «идеальный», с математической точки зрения, вариант доказательства.

Ответы115147

187 23 мая 2024, 21:46 187 115147

>>115146
Прикольно, а где "сложные компьютерные расчеты", без которых теорему Ферма не смогли доказать?

188 23 мая 2024, 23:55 188 115154

>>114914
https://pubs.acs.org/doi/10.1021/acs.jpcb.3c07936

Обновить тред
« /math/В начало тредаВеб-версияНастройки/a//b//mu//s//vg/Все доски

Скачать тред только с превьюс превью и прикрепленными файлами

Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах.Подробнее

Пользуетесь скринридером — пишите, что можно улучшить.
Host-Food.ru — надёжный хостинг от 12 руб/мес | Free DNS
Зеркала М.Двача: m2ch.hk, m2ch.lib, m2chfapiswfw2wcakptqp4o6ltgchvjuxfab7urxlduraomtlnhw5xad.onion