Двач.hk не отвечает.
Вы видите копию треда, сохраненную в 08:52.

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

Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
tumblroujih3a5ia1wxzu7qo1500.jpg52 Кб, 500x500
МАТЕМАТИКА ДЛЯ НАЧИНАЮЩИХ N+1 29047 В конец треда | Веб
В этом треде мы изучаем математику. Если ты школьник или студент, и у тебя есть трудности с задачей, то здесь тебе помогут её решить или хотя бы скажут, в каком направлении двигаться для её решения. Чем более чётко и конкретно ты опишешь суть своих затруднений, тем выше твой шанс на содержательный ответ.

Основные списки литературы:
http://pastebin.com/raw/4iMjfWAf - classic
http://pastebin.com/raw/4FngRj6n - dxdy

Архив тредов (там же остальные списки литературы и полезные ссылки):
https://pastebin.com/raw/qhs0WNbY
2 127786
>>7777 (Del)

> важна для компьютерных наук


Т.е. ты не хочешь писать код?
3 127787
>>7786
Хочу. Но мне интересно писать код, принципы работы которого я понимаю. Отсюда интерес к фундаментальным компьютерным наукам, а они тесно связаны с некоторыми разделами математики.
4 127788
>>7787
Тебе нужно понимать предметную область для которой ты пишешь, а там может быть сплошная физика. Тащемто Кнут и его подсосы унылая устаревшая хуйня.
5 127791
>>7788
А что там устарело?
6 127796
>>7791
Он же не читал.
7 127798
>>7788

> Тащемто Кнут и его подсосы


не математика
8 127799
>>7777 (Del)

>которая важна для компьютерных наук


Я бы тебе советовал не изучать компьютерные науки. Это просто солянка из понадерганных ото всюду рецептов, чтобы создать в университетах новые департаменты и стричь бабло.
Один известный местным человек определил математику и что нужно изучать как "всё то что нужно чтобы доказать Х", где Х это десяток важных теорем 20-21 века. Например великая теорема Ферма.
Вот и в программировании тебе нужно поступить так же. Найти то что тебе интересно и учить всё нужное чтобы это реализовать. Типичные CS-программы кормят тебя сладкохлебом, в итоге ты будешь знать всё и не уметь ничего.
9 127800
>>7799

>Один известный местным человек определил математику и что нужно изучать как


Это ведь хуесос Вербит который не может определение топологии написать без ошибки? Авторитетно.

>Например великая теорема Ферма.


Так какой там кстати вклад Уайлса в математику, я когда нибудь увижу ответ в треде? Чет все матх эксперты разбежались и под шконками попрятались.
10 127802
>>7800

>какой там кстати вклад Уайлса в математику, я когда нибудь увижу ответ в треде?


Ответ какой формы тебя бы удовлетворил?
11 127803
>>7802
Для начала хотелось бы чтобы ответ был не невнятным вскукареком от безмозглого дебила. Если такое возможно здесь.
12 127804
Что делать, если я настолько тупой, что даже осознание того, что такое предикат и почему импликация такая, какая она есть для меня тяжело? Даже гуманитарий-убермаргинал понимает, а я нет.
13 127806
>>7804

>и почему импликация такая, какая она есть


Её просто так определили, без полного соответствия с действительностью.
14 127808
>>7804
Импликация для всех людей, впервые с ней столкнувшихся, странная. Оттого в интернете куча примеров и статей, почему это так и как коупить.

Для древних греков это кстати не было странным. Потому что они выдумали и использовали импликацию не в математике в первую очередь, а в судах.

Представь тебя обвинили что ты выебал чужую жену А. А ты в это время ебал чужую жену, но не А, а В, и поэтому не хочешь прямо говорить, чем ты занимался. Ты говоришь судье, вот я с мечом практиковался, потому никак не мог ебать А в это время. Даже если это пиздёж, это не значит, что ты ебал А. Представь судья нашел тех кто подтвердил, что ты пиздишь. Тогда
Фехтовал -> ебал А // 0 -> x
Фехтовал -> не-ебал А // 0 -> -x
и верны оба суждения, тк то что ты напиздел что фехтовал не значит что ты ебал А, как и то что не-ебал.

Представь теперь В решила тебе помочь и сказала судье, что ты был с ней в это время. Тогда
ебал А = 0
и
ебал В -> ебал А неверно // 1 -> 0 = 0
ебал В -> не-ебал А верно // 1 -> 1 = 1;

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

Вообще это в первую очередь был инструмент до судов, и в математике она не использовалась. Да и сейчас не используется, никто не оперирует в док-вах теорем лог. формулами явно. Конструкция если... то... она как бы интуитивно понятна, как и закон искл. третьего. Для их использования не нужно изучать мат. логику, она в док-ве теорем помогает примерно никак.
Изучать логику как мат дисциплину стали не так давно, в веке 19.
15 127809
>>7803
Ответ "доказательство великой теоремы Ферма" тебя судя по всему не устраивает, иначе бы ты не спрашивал. Какие-то результаты, которые он доказал до этого (main conjecture of Iwasawa theory), есть в википедии, которую ты мог открыть и посмотреть, так что это тоже вряд ли тебя интересует. В итоге что именно тебе надо? Чтобы рассказали, что именно в его доказательстве ВТФ новаторское?
16 127811
>>7809
Правда не понимаешь, что ему надо? Если ты на доске залетный, то откровения про дебилов, хуесосов, подсосов, маняматиков, уебищ, чмох, порванок, тупорылых, обосанных и тому подобное ты найдёшь выше в избытке. Если с ним никто не разговаривает, он начинает их генерировать самостоятельно, как про Алуффи выше, например.
4344343.png121 Кб, 512x512
17 127812
18 127814
>>7809

>Ответ "доказательство великой теоремы Ферма" тебя судя по всему не устраивает


А ты охуеть какой догадливый.
Вот тут выше раздался вскукарек >>7697 (Del)

>Например, если бы Уайльс не смог бы свою ошибку исправить, он бы всё равно заметный вклад в математику внёс.


Меня интересует в чем собственно состоит этот вклад.

>>7811
Дебил, хуесос, подсос, маняматик, уебище, чмоха, порванка, тупорылый, обосанный закукарекал. Это ведь ты вбросил тезис и теперь у тебя рвется сральня от того что кто то требует его обоснования, не так ли?
19 127815
>>7814

>кто то требует


В /pr требовать пиздуй, тараканище
20 127816
>>7814
Так а при чем тут теорема ферма собственно? Уайлс доказал гипотезу Шимуры-Таниямы-Вейля о модулярности эллиптических кривых, а именно что каждая полустабильная эллиптическая кривая над рациональными числами модулярна. Великая теорема ферма просто случайное следствие этого факта, потому что ранее Рибет доказал, что утверждение о том что великая теорема ферма не верна, и существуют решения для n больше двух, эквивалентно утверждению о том что существуют не модулярные кривые над рациональными числами. Тут просто применен закон исключенного третьего, вот и все. Раз гипотеза модулярности верна, то верна и твоя теорема ферма. А так она никому не всралось и специально ее не доказывали, так совпало.
21 127817
>>7814
Всё, что тебя интересует, это привлечение внимания к своей ущербной личности любой ценой
Ты мог бы выпить море, ты мог бы стать другим
Вместо этого ты выступаешь здесь в роли деревенского дурачка
Поправляйся!
22 127818
>>7815
В хуй посвисти дебил, хуесос, подсос, маняматик, уебище, чмоха, порванка, тупорылый, обосанный.

>>7816
Ну это просто вечер охуительных историй. Одна просто охуительнее другой.

>В 1960-х годах гипотезу внесли в программу Ленглендса по унификации математических гипотез. О гипотезе в 1970-е вспомнил и начал её активное изучение француз Андре Вейль, поэтому эту гипотезу часто называют гипотезой Таниямы — Шимуры — Вейля.



>Гипотезой широко заинтересовались только когда в 1985 году Герхард Фрай[англ.] предположил, что гипотеза Таниямы — Шимуры (тогда она так называлась) является обобщением Великой теоремы Ферма



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

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

>Уайлс доказал гипотезу Шимуры-Таниямы-Вейля о модулярности эллиптических кривых


>А так она никому не всралось и специально ее не доказывали


А Уайлс в курсе?

>Эндрю Уайлс узнал о Великой теореме Ферма в возрасте десяти лет, прочитав книгу Эрика Темпла Белла «Последняя проблема»[20]. Тогда он сделал попытку доказать её, используя методы из школьного учебника. Позднее он стал изучать работы математиков, которые пытались доказать эту теорему.



>Работать над теоремой Ферма он начал летом 1986 года сразу после того, как Кен Рибет[англ.] доказал, что


Что же мешало ему до 1986 года работать над важнейшей гипотезой модулярности? Ответ очевиден.
23 127819
>>7817

>Всё, что тебя интересует


Меня много чего интересует

>Ты мог бы выпить море, ты мог бы стать другим


Неожиданный комплимент...
24 127820
Ваш уютный собеседник лемму Йонеда считает фундаментальным результатом авторский подход к которому определяет, по его мнению, качество известного учебника размером 700 страниц, а теорему о модулярности - маргинальной, никому не нужной ерундой. И это ещё не говоря о том, что он требует пояснений к этой своей позиции в грубой и чванливой форме

Видите, что бывает, если на доске по математике кормить программиста?
25 127821
>>7820
Вижу еще одно чмо не способное внятно сформулировать ни одну мысль и выдающую невнятные обиженные кукареки.
26 127822
Кстати интересно вот если я сейчас открою классические 700 страничные учебники по теории чисел вроде Манин-Панчишкин или Айерлэнд-Роузен то смогу ли я в них найти теорему о модулярности? Если это результат еще более фундаментальный чем лемма Йонеда, то по логике маняматиков он видимо должен быть где то в комментариях внизу страницы, не иначе.
27 127824
>>7822
Попробуй открыть блистер кветиапина, долбоёб
28 127826
>>7824
Это тебе в дурке такое выписывают?
60614.png766 Кб, 1080x1426
29 127828
>>7822
А при чем тут теория чисел? "Эллиптические кривые" Кнэппа открой, найдёшь. Там этой теореме целая глава посвящена.
HNjlDUobsAAdfaj.jpg101 Кб, 736x736
30 127832
31 127836
>>7832
Тяжко.
32 127839

>Establishing the classical Langlands correspondence, for number fields, has proven extremely difficult. As a result, some mathematicians posed the geometric Langlands correspondence for global function fields, which in some sense have proven easier to deal with.


Неосиляторы

>A claimed proof of the categorical unramified geometric Langlands conjecture was announced on May 6, 2024 by a team of mathematicians including Dennis Gaitsgory.[7][8] The claimed proof is contained in more than 1,000 pages across five papers and has been called "so complex that almost no one can explain it".


на наосиляторах

>Even conveying the significance of the result to other mathematicians was described as "very hard, almost impossible" by Drinfeld.


это вообще кек
33 127840
Что читать на тему математических доказательств?
34 127841
>>7840
не надо ничего про них читать
надо решать задачи
35 127842
>>7841
Мелкочмошка, ты же другой стиль взялся отыгрывать, палишься.
36 127843
>>7828

>А при чем тут теория чисел?


Ты че, я так вижу

>Теория чисел среди математических дисциплин выделяется скорее психологической установкой, чем предметом «целые числа». Более сильное утверждение было бы неверным: в теоретико-числовых работах исследуются и алгебраические, и трансцендентные числа; или, вообще, не числа, а, скажем, аналитические функции очень специального вида (ряды Дирихле, модулярные формы); или геометрические объекты (решетки, схемы над Z). Принадлежность результатов статьи к теории чисел определяется принятой автором системой ценностей: если арифметика в нее не входит, то и статья не теоретико-числовая, хотя бы в ней шла речь исключительно о сравнениях и классах вычетов; если же входит, то что угодно — динамические системы или теория гомотопий — может оказаться мощным теоретико-числовым инструментом. Только по этой причине комбинаторика и теория рекурсивных функций обычно не считаются теоретико-числовыми дисциплинами, а теория модулярных форм считается.



>целая глава последняя посвящена


чтобы хватило места для многочисленных приложений. Особенно символично что TW=>FLT литерали последний параграф книги.
Не я не спорю наверное важный результат. Но только почему то гипотеза нахуй никому не нужна была 25 лет. От чего так? А теперь матеманьки рассказывают охуительные истории что а мы и не собирались даже FLT доказывать кто это вам сказал вот модулярная теорема это да. Уверен ни одна местная матеманька никуда не подглядывая не скажет кто же собственно ее доказал (Уайлс доказал только частный случай). Как и какие из нее следствия (кроме FLT).
Screenshot-1151.png20 Кб, 907x63
37 127844
А местные матеманьки хоть еще помнят как устроено отображение редукции в неархимедовом случае для кривых Мамфорда?
38 127845
>>7844
А это тебя ебать не должно
image.png565 Кб, 1280x720
39 127847
>>7752 (Del)
у вас девочка не та
41 127850
>>7849
нейросеть нашла хороший контрпример к известной гипотезе
спасибо нейросети, больше эту гипотезу не будут пытаться доказать
интересно было бы, например, найти необходимые/достаточные условия, при которых утверждение таки верно, но на такое нейросеть едва ли способна.
42 127851
>>7849
В сае и то лучше запостили
https://2ch.su/sci/res/600000.html#611665

>>7850

>This is a major open problem in the theory of polynomials.


чмонь. Когда это был унылый комбинаторный дроч от Эрдеша я молчал...

>was found by Anthropic employee Levent Alpöge with the assistance of a large language model


Может этот Левент топовый математик и империя слопа просто ему бабок отсыпала чтобы он хайп раздувал. I want to believe. Почему у одних нейронки открытые проблемы закрывают, а у других 4+2=5.
17845716522331142124673155245746.jpg14 Кб, 374x390
43 127852
>>7851

>Почему у одних нейронки открытые проблемы закрывают, а у других 4+2=5.

44 127853
>>7851

>Почему у одних нейронки открытые проблемы закрывают, а у других 4+2=5.


У них тоже делают 2+2=5, просто иногда они закрывают проблемы.
45 127854
>>7851
Петух-неосилятор, выплюни говно изо рта и вырази нормально, от чего тебя разорвало на этот раз. Контр-пример верный и проверяется элементарно: даже ты можешь это сделать, используя калькулятор (ты же таракан, должно быть по силам)
46 127855
>>7854
Все предельно ясно написано. Попробуй перечитать еще пару раз включив мозг, а лучше у нейронок про каждый пост спрашивай чтобы тебе каждое слово в нем объясняли чтобы впредь так не обсираться тупорылое уебище.
47 127856
>>7855
На самом деле мне наплевать, от чего тебя разорвало на этот раз, так что продолжать жевать своё говно, раз тебе так вкусно
48 127857
>>7856
Очередной тупорылый петух подорвался на ровном месте от собственной тупорылости.
49 127858
>>7851
Ждём, когда пучкать начнёт.
50 127859
>>7851

>Может этот Левент топовый математик


Он писал бакалаврскую у одного лауреата Филдса и докторскую у другого лаурета.
>>7850

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


Автор говорит, что он готовит статью с позитивном результатом (за которую ответственен в основном будет Фейбл.)
51 127860
>>7859

>готовит статью с позитивном результатом


круто, ждём
52 127862
Если человек в школе прогуливал математику, то с каких учебников (ну и какого класса, соответственно) ему надо начинать изучение, чтобы в дальнейшем перейти к изучению линейной алгебры, математического анализа и других разделов математики?
53 127863
>>7862
сначала человек должен опередиться, чего он хочет достичь в виде конечной цели, потом задавать этот вопрос
54 127864
>>7863
Хочу знать базу математики, которая может пригодиться в современном мире. Я подумал и пришел к выводу, что мне необходимы арифметика, алгебра, тригонометрия, т.н. "олимпиадная математика", математический анализ, (скажем так, база "высшей математики"), математическая логика, теория множеств, теория доказательств, теория чисел, комбинаторика, теория графов (в целом, называемая дискретная математика), алгоритмы и структуры данных, теория вероятностей, статистика, криптография. Еще мне интересна математика как часть философии или философия как часть математики. Возможно по ходу изучения будут открываться какие-то новые области, но пока так.
55 127865
>>7864
не знаю, что из этого «может пригодиться в современном мире», по-моему, ничего. наверно, стоит приглядеться к спискам в шапке треда. в первую очередь, стоит освоить начала алгебры и комплексные числа, я считаю, если ты хочешь получить толику от фундаментального образования. как минимум, нужно уметь без труда выводить любые тригонометрические тождества из формула Эйлера , это прям супер база (ключевое слово - «уметь»: сами тождества не важны)
56 127866
>>7864

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


Никакая математика в современном мире не нужна. Ты можешь даже считать не уметь, и быть успешным.

>линейной алгебры, математического анализа


Ну я знаю всю эту хуету примерно до Стокса, включая него. Работаю литерали в Ленте товар раскладываю.
57 127867
>>7866
Поступай в ШАД.
58 127868
>>7863
Чмонь, поделись своими целями в жизни, а? Реально интересно.
59 127869
>>7867
Во-первых мне не нравится программирование, во-вторых мне не нравится вся эта московская тусовочка и не хотелось бы иметь с ними что-то общее, в третьих я ни под один из треков не подхожу, вышку я не получал.
60 127870
>>29047 (OP)
здесь трхед обиженных чмонек?🧐
61 127871
>>7870
Да, присаживайся🥰
62 127872
>>7869
А шо, там щас вышка обязательна?
63 127873
>>7866

>Работаю литерали в Ленте товар раскладываю.


Зачем?
64 127874
>>7869

> Во-первых мне не нравится программирование


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

> в третьих я ни под один из треков не подхожу, вышку я не получал.


И кто не давал?
65 127875
Матпедагогика - поле конспирологических теорий. Многие убеждены во вредоносности изменений учебников Киселева Хинчиным ( https://vk.ru/wall-94378522_78266 ), а кто-то считает, что Израиль дал Колмогорову премию за разрушение советской матшколы:

"В частности, вице-президент Академии наук СССР академик А. А. Логунов, выступая в октябре 1980 года на сессии Верховного Совета СССР, констатировал, что с преподаванием математики в школе создалось серьезное положение, ее изучение по существующим учебникам «способно полностью уничтожить не только интерес к математике, но и к точным наукам вообще». (Замечу в скобках, что руководитель реформы получил в 1980 году премию в 100000 долларов от государства, с которым СССР разорвал дипломатические, отношения как раз в год начала реформы)."

Сегодня среди преподавателей и ученых часто встречается такое же отношение к реформам образования, ЕГЭ и т.д.

А было ли сознательное ухудшение математической подготовки школьников и студентов в СССР и РФ? Куда ни посмотришь, почти везде на Западе русские (украинские, еврейские) фамилии среди специалистов по точным наукам. Было ли ухудшение или это миф?
66 127876
>>7874
К моменту окончания школы человек не всегда понимает, что ему пригодится по жизни и чем он хочет заниматься. А когда он закончил бакалавриат и магистратуру, то возможности поступить на бюджет на те же уровни образования уже нет. А сформировавшиеся интересы есть.

мимо
67 127877
>>7875

>В частности, вице-президент Академии наук СССР академик А. А. Логунов, выступая в октябре 1980 года на сессии Верховного Совета СССР, констатировал, что с преподаванием математики в школе создалось серьезное положение, ее изучение по существующим учебникам «способно полностью уничтожить не только интерес к математике, но и к точным наукам вообще».


Узнай почему у новой математики были такие же проблемы. В СССР были такие же причины.

>Сегодня среди преподавателей и ученых часто встречается такое же отношение к реформам образования, ЕГЭ и т.д.


Большинству похуй.
68 127878
Если учишься сам по книгам, то вести конспект или нет?

С одной стороны, когда пишешь, то инфа запоминается, а с другой, можно перечитать тот же учебник или для повторения взять новый.
Screenshot-1153.png228 Кб, 502x283
69 127879
Какой Колмогоров тут чоткий на картинке.
70 127880
>>7878
я лично без конспекта не могу, особенно, если материал трудный. дело не только в том, что лучше запоминаешь, но и понимаешь лучше: внимательнее воспринимаешь, можно и проверить что-нибудь

но это если надо по-настоящему всё разобрать. если же цель только получить примерное впечатление, можно обойтись и чтением
71 127881
>>7878
Зачем тебе что-то «запоминать»?
72 127882
>>7881
Готовлюсь к собеседованию на должность ML-директора в Газпром.
73 127884
>>7882
Почему не в ДоДо?
74 127885
https://ru.wikipedia.org/wiki/Колмогоров,_Андрей_Николаевич#Общественная_деятельность

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



https://ru.wikipedia.org/wiki/Дело_Лузина

> Позиции членов комиссии и других учёных, привлечённых к обсуждению «Дела», были чрезвычайно неоднородны. Если старшие участники, далёкие от жизни математического сообщества, — Кржижановский и Ферсман — «отрабатывали» заказ власти на ограничение зарубежных публикаций и контроль зарубежных связей, но не стремились строго «покарать» Лузина, то часть учеников Лузина (Александров, Андрей Колмогоров, Хинчин) использовала ситуацию для сведения счётов по застарелым «семейным» лузитанским обидам и для борьбы за власть и влияние в математическом сообществе.

75 127886
>>7885
Либерашья хуета какая то
76 127887
>>7886

>В сентябре 1930 года президент Московского математического общества Дмитрий Егоров поплатился за духовную независимость и религиозные убеждения. Он был арестован по делу «катакомбной церкви», по которому оказался среди главных обвиняемых. Перед этим Егоров подвергся атакам идеологов «пролетарского студенчества», был смещён с поста председателя Предметной комиссии по математике и с поста директора Института математики и механики Московского университета. Арест «профессора-вредителя» Дмитрия Егорова приветствовала «инициативная группа» Московского математического общества, которая на заседании 21 ноября 1930 года приняла декларацию о борьбе с «егоровщиной».



>В 1933 году по сфабрикованному делу «Национал-фашистского центра» был арестован и осужден друг Лузина — священник Павел Флоренский.

77 127888

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



>Из показаний Егорова после ареста, касающихся имяславия:


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

78 127889
>>7888

> придерживаясь религиозных убеждений


уноси этого долбоеба
79 127890
>>7889

>Дми́трий Фёдорович Его́ров (10 [22] декабря 1869, Москва, Российская империя — 10 сентября 1931, Казань, Татарская АССР, РСФСР, СССР) — российский и советский математик, член-корреспондент АН СССР (1924), почётный член АН СССР (1929). Президент Московского математического общества (1923—1930), член-корреспондент Харьковского математического общества, член Казанского физико-математического общества, непременный член Общества любителей естествознания, антропологии и этнографии, почётный член Московского общества испытателей природы (1921), член Французского математического общества.


>Известен как


один из основателей московской математической школы

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

80 127891
Пастаблядь нахуя ты все это притащил, в чем твой поинт?
81 127892
меня недавно попустила сотрудница пвз
взял введение в алгебру кострикина, а продащица спросила ехидно "к егэ чтоли готовитесь?))))"
82 127893
>>7873
Деньги нужны.
>>7874
Нужна вышка и там и там.

>И кто не давал?


Нужны были деньги после школы.

>Какая еще московская тусовочка? Чем тебе москвичи не угодили?


Сложно объяснить, это чисто иррациональное ощущение. Смотрел фильм "вокруг света за 80 дней"? Там британская академия наук показана неприглядно, вызывает омерзение. Вот у меня все эти яндексы, спецшколы, обращение на сокращенные имена и прочие с этой орбиты вещи вызывают тотальное омерзение. Уж лучше умру в нищете, чем пытаться вписаться туда.
Я даже когда учился, избегал книг, написанных московскими авторами. Благо, ничего толкового они и не написали, кроме книжки Арнольда по дифурам.
83 127894
>>7892
Так это комплимент что ты еще выглядишь молодо, я бы сказал ей спасибо
84 127897
Сколько часов потратили суммарно на математику?

Какие профиты получили?
85 127899
>>7897

>Какие профиты получили


немного перестал бояться непонятные символы, появились паттерны когда я примерно представляю что нужно делать.
86 127901
>>7893
Ты шизоид?
87 127902
Как мне противно стало от вашего треда, сразу повеяло запахом Арнольда, школьников, тусклых фонарей по дороге с вечернего маткружка, студентов-ассистентов, вызывающе некрасивых девушек, хихикания конченных задротов, обсуждения недавнего похода в Хибины, летней матшколы, листочков Константинова, бородатых фриков из МЦНМО, споров на тему 2>57, случайно прибившихся нормальных парней из "обычных" щкол, тихоней в свитерах, вращающихся дверей ГЗ, бесцельных обсуждений какой-то задачи, чая с мерзким печеньем, тонких книжек в качестве приза на олимпиаде, пинпонга, заверений что деньги по жизни не нужны и они есть только у быдла.
88 127903
>>7902
Ты описал ламповое коммьюнити ☕ 🍪
Про деньги неправда, большинство математиков на раз-два пройдут любой собес в топовый бигтех 🤓💻 на зп 350-500к 💰
89 127904
>>7903
это старая глупая паста
90 127905
>>7903

>большинство математиков на раз-два пройдут любой собес в топовый бигтех 🤓💻 на зп 350-500к 💰


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

>>7904
Old but not obsolete. В Хибины уже сходил, чмошка?
91 127906
>>7905
Таракан порвался
92 127917
>>7903

> большинство математиков на раз-два пройдут любой собес в топовый бигтех


А я вот не уверен. На собесах далеко не только (и не столько) матешу спрашивают, там ещё и просят тараканить код и иметь конкретные практические навыки, большинство маняматиков такое не ботали.
93 127918
>>7917
На позиции квантов дают задачи чисто по матеше, тараканам там вообще нечего делать. Даже действительно хороший программист такой собес почти наверняка не пройдёт
94 127922
>>7918
Разве? Там же всё равно надо уметь применять методы ML на практике, обучать модели и т.д. Просто теории недостаточно.
95 127923
>>7922
Как скажешь
96 127924
>>29047 (OP)
Я здесь самый красивый!
97 127925
>>7924
Но почему ты голый?
98 127928
>>7925
В чем минус?
99 127929
>>7928
Не математичен.
100 127930
>>7929
Очень даже математичен. Ведь математика в первую очередь про красоту и гармонию.
101 127933
Как же я вам всем тут завидую, вы себе не представляете. Для меня вы все здесь - сверхлюди. У вас есть высшее образование, хорошие гены, понимание и увлечение. Все, чего нет у меня. Как же я вам завидую.
image.png455 Кб, 726x900
102 127934
>>7930

>математика в первую очередь про красоту и гармонию.


Рассмешил его.
103 127935
>>7934
А математики про всратость и унынье.
104 127936
Насколько тяжко идут первые два курса НМУ, если есть база в виде трёх курсов математических дисциплин непрофильного университета (физического, а не математического)?
105 127937
>>7936
что мешает открыть страницы курсов и посмотреть листочки?
106 127938
>>7937
Часть программы посмотрел давно, где-то сразу всё понятно было, где-то менее очевидно. Просто больше был интересен опыт людей, как они успешно совмещали обучение в НМУ с обучением в обычном ВУЗе.
107 127939
>>7938
совмещать трудно, особенно если ты пытаешься делать это один, а не с компанией таких же как ты шутников и курс в нму вам засчитывают как курс в вузе

всё же кто мешает тебе попробовать
там же вход свободный
108 127940
>>7939
Спасибо за ответы.
109 127941
Сап, как перестать забывать математику? Готовлюсь к профмату практически с нуля знаниями. Вот я что-то могу решить и кажется лёгким и через неделю я забываю как это решать. Как фиксить?
110 127950
>>7941
это фича мозга
111 127952
>>29047 (OP)
Че притихли, пупсики, доказываете что то революционное?
112 127954
Мне надо вкатиться в статистику и data science. Есть крайне интересный набор данных, который на удивление не исследован. Учебники по машинному обучению либо подразумевают владение математикой, либо излагают математический материал по верхам (меня это не устраивает). Хочется понимать по максимуму те методы, которыми можно исследовать данные. Если даже для этого понадобиться много ботать - так еще интереснее.

Как вкатиться? Планирую начать с арифметики (по советским учебникам), потом изучать линейную алгебру (Gilbert Strang, Mathprofi), потом математический анализ. И лишь затем теорию вероятностей и статистику.

Посоветуйте материалы для начинающего, чтобы с азов дойти до хорошего уровня. "Элементарная математика" Сканави из шапки треда кажется слишком сложной и материал там дается слишком быстро и сжато. Поэтому хочется какие-то базовые книги по арифметике пройти для воспитания начальной математической выучки. А дальше ступенька за ступенькой осваивать новые темы, чтобы на каждом следующем шаге было ясное понимание и умение решать задачи.
113 127955
>>7954

>Мне надо вкатиться в статистику и data science.


не математика

>Как вкатиться?


в /pr

>"Элементарная математика" Сканави из шапки треда кажется слишком сложной


беда
114 127956
>>7950
Фича фичами, ну а как её отключить? Ботать каждый день или что-то ещё?
115 127957
>>7954

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


Серр Курс Арифметики
117 127959
>>7956
l:
Ботаешь до усрачки, 90% забываешь, 10% откладывается
goto l
118 127960
>>7955

>не математика


Почему не математика? Любая математическая задача - это анализ данных. Статистика - это часть математики.
119 127961
>>7960
Ага, и математика это часть программирования
слыхали уже эти тейки
120 127962
>>7957
Посмотрел, это какая-то альтернативная арифметика. Мне бы ту, что попроще.

>>7958
Спасибо! Но там материал не совсем для новичков, что можно прочитать и прорешать, чтобы к нему быть готовым?
121 127963
>>7961
Наоборот. Программирование - это решение математических задач и генерация формул, которые будут одни данные переводить в другие.
122 127964
>>7962

>Посмотрел, это какая-то альтернативная арифметика. Мне бы ту, что попроще.


В Ленге материал совсем простенький с точке зрения арифметики. Но ладно. Окей, держи попроще и не "альтернативную".
https://studfile.net/preview/5411865/
123 127966
>>7957

>Серр


>>7964

>Ленге


?
124 127967
>>7964

>https://studfile.net/preview/5411865/


Ебать годнота

2047.9990234375

Десятик, да девятик, да осьмик, да золотник, да серебряк, да медяк, да пудовик, да осьмерик, да четверик, да пара, да целковый, да полушка, да четвертушка, да осьмушка, да пудовичок, да медячок, да серебрячок, да золотничок, да осьмичок, да девятичок, да десятичок.
125 127968
>>7966
У Ленга есть и довольно элементарные книги, например «Basic Mathematics», «Undergraduate Algebra» и так далее. Список есть тут: [1]. Но они не переведены, насколько знаю, так что нужно более-менее уметь читать по-английски. При этом условии совет читать Ленга даже на элементарном уровне не такой уж и плохой.

[1]: https://en.wikipedia.org/wiki/Serge_Lang#List_of_books
126 127969
>>7968
Я к тому, что тролль умудрился перепутать Серра и Ленга.
127 127970
>>7969
А какая разница?
128 127971
>>7969
Ок. Серр, кажется, вообще никаких совсем элементарных учебников/пособий не писал.

>>7968
Есть ещё серия видео на YouTube по книге «Basic Mathematics»: [1] (сам не смотрел, пишу для полноты). Но это, наверно, сложно по сравнению с элементарной арифметикой. Уровень подготовки к колледжу, что-то типа этого.
Если прямо совсем с азов начинать, то тут не советчик. Это скорее педагогика, чем математика. Из интернет ресурсов Khan Academy может быть полезна.

[1]: https://www.youtube.com/playlist?list=PLMcpDl1Pr-viA25VUkHNmcUkWx9usPgyb
129 127973
>>7954
Мне кажется тебе проще будет купить подписку на ИИ агента и уже вместе с ним просто взять и начать анализировать этот массив данных. Вероятнее всего он это сделает лучше чем любой человек-датасаентист. А еще он тебе сам построит все графики и понятно объяснит.
130 127976
>>7973

>Вероятнее всего он это сделает лучше чем любой человек-датасаентист


>А еще он тебе сам построит все графики и понятно объяснит


Или просто галлюцинирует, а ты не сможешь без соответствующих скиллов проверить это.
131 127977
>>7973
Представь, что ты репетитор по математике и твой доход зависит от того, на какие баллы сдадут ЕГЭ твои ученики.

Ты бы отдавал решения учеников на проверку ИИ, устранившись сам от этого и просто передавая им фидбек от ИИ?
132 127978
Рейт учебники.

Виленкин Н.Я. и др. Математика. 5 кл. Просвещение.

Виленкин Н.Я., Жохов В.И., Чесноков А. Математика. 6 кл. В 2 ч. Просвещение.

Макарычев Ю.Н., Миндюк Н.Г., Нешков К.И. и др. Алгебра. 7 кл. Просвещение.
Атанасян Л.С., Бутузов В.Ф., Кадомцев С.Б. Геометрия. 7-9 кл. Просвещение.
Высоцкий И.Р., Ященко И.В. Математика. Вероятность и статистика. 7-9 кл. Просвещение. Ч.1.
Бунимович Е. А., Булычев В. А. Математика. Вероятность и статистика. 7 класс. Углублённый уровень. Просвещение.

Макарычев Ю.Н., Миндюк Н.Г., Нешков К.И. и др. Алгебра. 8 кл. Просвещение.
Колягин Ю.М., Ткачева М.В. и др. Алгебра. 8 кл. Просвещение.
Атанасян Л.С., Бутузов В.Ф., Кадомцев С.Б. Геометрия. 7-9 кл. Просвещение.
Александров А.Д., Вернер А.Л., Рыжик В.И. Геометрия. 8 кл. Просвещение.
Высоцкий И.Р., Ященко И.В. Математика. Вероятность и статистика. 7-9 кл. Просвещение.Ч.1.

Атанасян Л.С. и др. Математика. Геометрия. 7-9 кл. Просвещение. 2026
Александров А.Д., Вернер А.Л., Рыжик В.И. Геометрия. 9 кл. Просвещение.
Макарычев Ю.Н., Миндюк Н.Г., Нешков К.И. и др.; под редакцией Теляковского С.А.и др. Математика. Алгебра. 9 класс. Просвещение.
Высоцкий И.Р., Ященко И.В. Математика. Вероятность и статистика. 7-9 кл. Просвещение. Ч.2.
Бунимович Е.А., Булычев В.А. Математика. Вероятность и статистика. Углубленный уровень. 9 кл. Просвещение.

Пратусевич М.Я., Головин А.Н., Столбов К. М. Алгебра технологического прорыва. 10 кл. В 2 ч. Просвещение, 2026
Атанасян Л.С., Бутузов В.Ф., Кадомцев С.Б. и др. Математика: Алгебра и начала математического анализа, геометрия. Геометрия. 10-11 кл. Просвещение.
Потоскуев Е.В., Звавич Л.И. Математика: алгебра и начала математического анализа, геометрия. Геометрия. 10 кл. Углубленный уровень: Учебник. Задачник. Просвещение.
Александров А.Д. и др. Математика: алгебра и начала математического анализа, геометрия. Углубл. уровень. 10 кл. Просвещение.

Пратусевич М.Я., Головин А.Н., Столбов К. Математика технологического прорыва. Алгебра и начала математического анализа. 11 кл. Просвещение, 2026
Атанасян Л.С., Бутузов В.Ф., Кадомцев С.Б. и др. Математика: алгебра и начала математического анализа, геометрия. Геометрия. 10-11 кл. Просвещение
Потоскуев Е.В., Звавич Л.И. Математика: алгебра и начала математического анализа, геометрия. Геометрия. 11 кл. Углубленный уровень: Учебник. Задачник. Просвещение.
Александров А.Д., и др. Математика: алгебра и начала математического анализа, геометрия. Углубленный уровень 11 класс. Учебник. Просвещение
132 127978
Рейт учебники.

Виленкин Н.Я. и др. Математика. 5 кл. Просвещение.

Виленкин Н.Я., Жохов В.И., Чесноков А. Математика. 6 кл. В 2 ч. Просвещение.

Макарычев Ю.Н., Миндюк Н.Г., Нешков К.И. и др. Алгебра. 7 кл. Просвещение.
Атанасян Л.С., Бутузов В.Ф., Кадомцев С.Б. Геометрия. 7-9 кл. Просвещение.
Высоцкий И.Р., Ященко И.В. Математика. Вероятность и статистика. 7-9 кл. Просвещение. Ч.1.
Бунимович Е. А., Булычев В. А. Математика. Вероятность и статистика. 7 класс. Углублённый уровень. Просвещение.

Макарычев Ю.Н., Миндюк Н.Г., Нешков К.И. и др. Алгебра. 8 кл. Просвещение.
Колягин Ю.М., Ткачева М.В. и др. Алгебра. 8 кл. Просвещение.
Атанасян Л.С., Бутузов В.Ф., Кадомцев С.Б. Геометрия. 7-9 кл. Просвещение.
Александров А.Д., Вернер А.Л., Рыжик В.И. Геометрия. 8 кл. Просвещение.
Высоцкий И.Р., Ященко И.В. Математика. Вероятность и статистика. 7-9 кл. Просвещение.Ч.1.

Атанасян Л.С. и др. Математика. Геометрия. 7-9 кл. Просвещение. 2026
Александров А.Д., Вернер А.Л., Рыжик В.И. Геометрия. 9 кл. Просвещение.
Макарычев Ю.Н., Миндюк Н.Г., Нешков К.И. и др.; под редакцией Теляковского С.А.и др. Математика. Алгебра. 9 класс. Просвещение.
Высоцкий И.Р., Ященко И.В. Математика. Вероятность и статистика. 7-9 кл. Просвещение. Ч.2.
Бунимович Е.А., Булычев В.А. Математика. Вероятность и статистика. Углубленный уровень. 9 кл. Просвещение.

Пратусевич М.Я., Головин А.Н., Столбов К. М. Алгебра технологического прорыва. 10 кл. В 2 ч. Просвещение, 2026
Атанасян Л.С., Бутузов В.Ф., Кадомцев С.Б. и др. Математика: Алгебра и начала математического анализа, геометрия. Геометрия. 10-11 кл. Просвещение.
Потоскуев Е.В., Звавич Л.И. Математика: алгебра и начала математического анализа, геометрия. Геометрия. 10 кл. Углубленный уровень: Учебник. Задачник. Просвещение.
Александров А.Д. и др. Математика: алгебра и начала математического анализа, геометрия. Углубл. уровень. 10 кл. Просвещение.

Пратусевич М.Я., Головин А.Н., Столбов К. Математика технологического прорыва. Алгебра и начала математического анализа. 11 кл. Просвещение, 2026
Атанасян Л.С., Бутузов В.Ф., Кадомцев С.Б. и др. Математика: алгебра и начала математического анализа, геометрия. Геометрия. 10-11 кл. Просвещение
Потоскуев Е.В., Звавич Л.И. Математика: алгебра и начала математического анализа, геометрия. Геометрия. 11 кл. Углубленный уровень: Учебник. Задачник. Просвещение.
Александров А.Д., и др. Математика: алгебра и начала математического анализа, геометрия. Углубленный уровень 11 класс. Учебник. Просвещение
133 127979
>>7978
Там список учебников, оцените их, плиз. В одном подкасте слышал хвалебные отзывы о Лицее 239 и учебниках некого Пратусевича. А на ихнем сайте этая программа висит.
134 127980
>>7954
Сидишь с ллмкой над датасетом, смотришь какие библиотеки что делают. Скаттер-плоты, корреляции, выбросы, модели, метрики - смотришь на все как на блек-боксы. Проходишь онлайн-курсы по статистике, терверу, ML, DL, например карпов-курсы и лекции майнора ИАД, на все смотришь как на блек-боксы, эвристически. Так все вкатываются с улицы.

Если вкатываться не хочешь, а хочешь заниматься математикой 5 лет, то роадмап такой: Гельфанд-Шень Алгебра -> какая-нибудь transition книжка типа Aluffi "Intro to advanced mathematics" -> Abbott Анализ на R -> Тед Шифрин/Джерри Шурман "Multivariable Mathematics/Calculus" в R^n -> Blitzstein "Intro to probability" -> Jem Corcoran "Intro to Mathematical statistics" или Wackerly -> лекции Соколова/Сергея Николенко по ML/DL.

>Хочется понимать по максимуму те методы, которыми можно исследовать данные.


Прикол в том, что первый из описанных мной путей(т.н. top-down approach) через макакинг даст больше понимания, нежели второй(bottom-up approach). С тервером и статистикой проблема в том, что это настолько уродливые ублюдские науки, что чем больше уходишь в функан и теорию меры ради аккуратных доказательств, тем хуевее становится интуиция, понимать хоть что-то перестаешь вообще. Поэтому уж лучше блек-боксы, а за математикой в вуз.

>Как вкатиться? Планирую начать с арифметики (по советским учебникам), потом изучать линейную алгебру (Gilbert Strang, Mathprofi), потом математический анализ. И лишь затем теорию вероятностей и статистику.


Советские учебники, стренг, Сканави, матпрофи - просто поверь, это в некотором смысле для пидорашек и скота материал, а написанные для людей книги я оставил выше. Удачи.
135 127983
>>7980

>пидорашек и скота материал


это да, лучшие уебники в США писали, где четверть населения читать не умеет. На а судя по тупику математики как науки и образования в целом за последние 30 лет обосравшегося капитализма, можно делать вполне определенные выводы.
покормил либераху
136 127986
>>7983

>тупику математики как науки ... за последние 30 лет


?
137 127987
>>7983
Literacy rates и iq-scores в США и РФ +- идентичны. Математика развивается бешеными темпами, просто это не выливается в новые технологии, потому что нет новой физики.
Насчет пидорашек извини, я плохо выразился, т.к. не хотел расписывать плюсы(отсутствующие) и минусы вышеперечисленных материалов. Если коротко и под одну гребенку - они просто плохо написаны, старые - не учитывают наработок в нейронауках, держат читателя за дурака - перегружены чушью, в них нет доказательств, это оболванивающие запутывающие методички, не дающие нужного уровня владения изучаемыми объектами.
Мне похуй где написан учебник - Шень хоть в СССР, хоть во Франции останется гениальным педагогом. Мои рекомендации для базовых предметов - это современные, аккуратно и подробно написанные книги, авторы которых 20+ лет обкатывали свои курсы, сопровождают их видеолекциями, оптимальным балансом теории и задач, их решениями, держат в уме самоучек.
138 127988
Мне надоело смотреть как решают всевозможные садомазохистские 9этажные уравнения с заковырками. Это путь в никуда, это бездна. ВСЕ РАССМОТРЕТЬ НЕВОЗОЖНО!

Поэтому я прошу совета, как научиться самому решать и допирать как решать сложные задачки. Может есть книжка с разбором алгоритмов и деструктуризации. Также хочу научиться доказывать. В общем мне надоело смотреть как другие решают. Хочу сам научиться решать.
139 127989
Есть какой-то граф связей между частями математики? Читал в гайдах от Поступашек, что линейную алгебру лучше начинать изучать с аналитической геометрии. Потом по приколу стал читать Linear Algebra Done Wrong, оттуда перешел к википедии про множества, кольца, поля, Абелевы группы. То есть линейная алгебра связана и с аналитической геометрией, и с теорией множеств. Для теории множеств как будто бы полезно изучить математическую логику. И так постоянно какие-то новые области, требуемые в качестве пререквизитов для понимания чего-то. Есть карта этих областей и варианты путей изучения?
140 127990
Deepseek предлагает изучать теорию графов только после линейной алгебры. Это оправдано?
141 127991
>>7980

>С тервером и статистикой проблема в том, что это настолько уродливые ублюдские науки, что чем больше уходишь в функан и теорию меры ради аккуратных доказательств, тем хуевее становится интуиция, понимать хоть что-то перестаешь вообще


А можно примеры таких доказательств?
142 127992
>>7989

>Есть какой-то граф связей между частями математики?


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

>что линейную алгебру лучше начинать изучать с аналитической геометрии.


логика понятна, но я бы не стал опираться на неё. эта самая "аналитическая геометрия" есть сборник из нескольких довольно унылых вопросов про линейные объекты в R^2 и R^3, которые решаются арифметически через координаты (фиксированные). линейная алгебра это значительно более серьёзная наука и глубоких связей с этой у неё нет. ангеом может послужить (местами) как краткая иллюстрация для частных случаев простейших понятий, т.е. помочь с интуицией

если ты абсолютный нуль, ангеом может быть полезен как путь для безболезненного вката. но самостоятельной ценности в сущности никакой (слишком элементарно)
143 127993
Кто-нибудь знает эту тян?
144 127994
>>7993
Хорошая
145 127995
Существуют ли аудиокниги по математике? Или лекции, где не нужно следить за тем, что пишут на доске / показывают на слайдах? Работаю на дноработе, где половину дня раскладываю товар, а половину дня сижу за компом. Хочется во время раскладывания товара слушать что-нибудь математическое.
146 127996
>>7993
Трап, черты лица 100% мужские.
изображение.png201 Кб, 516x640
147 127999
148 128000
>>7991
Дело не в самих доказательствах, а в общем объеме бесполезного для практики материала, если ты хочешь разобраться по хардкору. Условно для того чтобы интуитивно иметь представление о распределении случайной величины, тебе достаточно понять что ну вот есть функция плотности и если ее проинтегрировать (сложить все вероятности) по всей области определения, будет единица, интеграл по какому то интервалу - это вероятность попасть в этот интервал. Все, дальше можно разбираться в практических дата сайенсах без задней мысли.
А если ты решил идти к теорверу с основ, то изволь сначала изучить теорию меры и интеграл Лебега, там довольно душная формализация, если прям по хардкору то это полугодовой курс в универе прежде чем ты сможешь дать строгое определение измеримой функции. А дальше весь этот формализм за собой тащится в миллион теорем о том, что там куда сходится, сходится по вероятности, сходится почти наверное, сходится по мере, прямо кайф вообще, еще один полугодовой курс. Оно тебе надо?
149 128001
>>8000

>полугодовой курс в универе


Как вы заебали этим говном, это лекция+семинар в неделю максимум. При минимальном желании такой объём усваивается за месяц от силы
150 128002
>>29047 (OP)
Шитпостинг.
Штурм форта Луивилля, 1780 г. И маршалы Коши и Лагранж руководят операцией.
151 128003
>>7995
Даже на пробежке в парке или че-нибудь подобное без формул хрень получается.
screenshot191530.png690 Кб, 2000x2000
152 128011
>>7989
Береш матфак топ-вуза, смотреш список курсов и пререквизитов, строеш граф.

Изучать математику это все равно что ощупывать слона с разных сторон, только слон для удобства ощупывания предварительно умервщлен, замаринован в формалине, распилен на тысячу частей и разложен в подписанные коробочки. Несколько полуживых дидов еще помнят порядок сборки цельного чучела из отдельных деталей, но основная часть математиков всю жизнь щупает только кусок лично им интересной слоновьей залупы и в процессе исследования пилит залупу дальше. Дикие романы-михайловы и мудаки-гротендики, у которых душа болит за родную залупу, всячески устраивают обструкцию и пишут на стенах туалета "СЛОН ЖИВ!", но пыня в ответ только пучкает, ибо даже ему понятно, что единый живой слоняра сто лет как помер и давно завонялся.

Карта не поможет, бро. Идти некуда. Слон начинается везде и заканчивается повсюду. Путь от хобота до залупы так же долог, как путь от залупы до хобота - и в этом заключена великая мудрость, которая учит ученых мужей терпению.
image.png690 Кб, 850x608
153 128023
hhdspx2alg.jpg47 Кб, 715x397
154 128024
155 128025
>>8024
Калобка уже обсудили? Либерахи порвались от базированного калобка?
156 128028
>>7980
>>7987
Хорошо пишешь. Тебя можно где-нибудь почитать? Тг-канал?
Посоветуй еще хорошей литературы, буду благодарен.

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


Можешь ещё привести примеры того, чего надо избегать?
157 128029
>>8028

>Можешь ещё привести примеры того, чего надо избегать?


Не ешь желтый снег
158 128030
Зашёл в /sci и словил дозу облучения идиотией, потому лучше спрошу тут. Есть те, кто увлекался химией и может посоветовать литературу хотя бы по общей?
159 128037
>>7980

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


Ох, написал айти-инженер, который математику ненавидит, а любит водовку под картофанчик.
386978.jpg193 Кб, 782x924
160 128038
>>7954

> Mathprofi


Перепев вот этого и зарубежных аналогов
оба хуже
161 128039
>>8030
Ничего не знаю про химию, просто хочу отметить, что намного лучше такие вопросы, чем все эти ии, дискретка, c++ и прочее тараканство

Прям глоток воздуха
162 128040
>>8039
А чем дискретка не угодила?
163 128041
>>8030
Прошлый раз, когда я был в sci тред про химию был единственным адекватным тредом. Тебе реально там не смогли помочь, или ты на тролля наткнулся?
164 128043
>>8030
Учти, кста, что для серьёзных занятий химией нужна хорошая математическая подготовка. У меня приятель со степенью по биохимии какой-то там сильно продвинутой, так я ебу, он даже алгтоп учил зачем-то
165 128045
>>8043
Для того, чтобы устойчивые гомологии скармливать как дополнительные фичи в модель глубокого обучения. Там еще есть регуляризация топологии облаков точек промежуточных представлений, но это имхо пук в лужу с вычислительной точки зрения
166 128046
>>8043
Я знаю, что в физике конденсированных сред применяется алгебраическая топология, теория категорий и прочее. Это даже не говоря про hep-th.
167 128047
>>8046
Кстати, а расскажи пожалуйста. Я сходу только когомологии де Рама могу вспомнить в кондмате как применяются, и то это скорее геометрия а не топология имхо.
168 128048
>>8045

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


Когда он учился, этой хуйни ещё в помине не было
169 128049
>>8048
Эта хуйня с 90х годов развивается, просто фичи скармливали в лог регрессию.
171 128051
>>8049
Просто не обязательно к слову "матмодель" лепить диплёрнинг
172 128052
>>8047
https://arxiv.org/abs/1307.8244v3 - про теркат
https://ar5iv.labs.arxiv.org/html/2502.03590 - про алгтоп.
Эти ссылки с реддита сохранил, сам ФТТ не занимаюсь. В ФЭЧ (может и в ФКС) гомотопические группы появляются, например, при рассмотрении вихрей Абрикосова или монополей Полякова.
173 128053
>>29047 (OP)
Вы уже вкатились в K-Pop?
174 128054
>>8041
>>8039
Зашёл в /sci и там первая веточка под названием - "
Какие есть аргументы в пользу креационизма?", а вторая - "В армии, среди полицейских, в тюрьмах распространен гомосексуализм".
>>8043
Понятно, а литературу какую лучше прочесть?
175 128055
>>29047 (OP)
Стоит писать в тетрадку лекции или лучше потратить ментальные усилия на думание?
176 128056
>>7995
Ты даже на фул концентрации будешь охуевать от того, как сложно. Фоном математику слушать это вообще бред.
177 128057
>>8055
Это не противоречащие в большинстве случаев действия. А если у тебя они противоречат, то лучше записывать, ведь скорее всего не успеешь обдумать до следующего логического шага.
178 128058
>>8057
Ну вот я и хотел спросить, что аноны считают более эффективным, если сами лекции уже есть в электронном или бумажном виде.
179 128059
>>8056
Фоном можно слушать разве что материал, который до этого нормально знаешь.
180 128060
>>8030
Очевидные Третьяков, Ахметов, Гринвуд, Еремин+Борщевский.
181 128063
>>8030
Очевидный Глинка.
183 128069
>>8058
Значит, такой лектор, что ему пофиг и мямлит по бумажке.
184 128071
>>8058
Бывают разные препода, у которых лекции проводятс по-разному. И если ты не выкладываешь всё сразу, то получаешь нерелеватный ответ: например как здесь.
Сейчас напишу, что просто сверяйся с лекциями которые уже есть, там читай лекционный материал до лекции. А окажется, что там они не так как-то записанны или ещё что-то. Даже не понятно дают ли вопросы спросить или не лекциях.
Да и вообще, как эффективнее слушать лекции это отдельное искусство, тут все дрочат как хотят, и лекторы, и студенты.
185 128074
>>8055
самостоятельный priming материала -> лекция -> задачи -> семинар с разбором -> ревью/office hours -> контрольные мероприятия

Не надо ничего писать, надо предварительно изучать материал будущей лекции(priming), а на лекции внимательно слушать, получать ответы на недопонятые ранее куски, строить общую картину изучаемого предмета, задавать вопросы во время и после(если возникнут).
186 128075
>>8074
Вообще да, то, что задачи должны быть перед семинаром это правильно. Всегда было ощущение, что если бы я до семинара уже был знаком с тем, что на нем будет, то толку от него было бы во много раз больше.
187 128078
Подскажите пожалуйста определение алгебры как в ВУЗовском курсе для инженеров(не мех. мат). Т. е. нужно вспомнить слово в слово. Предполагаю что определение одинаковое для разных ВУЗов, а анон в теме и сам сформулирует. Что помню точно: у меня определялось именно через слова: 1) кольцо(т. е. не словами множество с операциями) и 2) векторное пространство(не поле).
188 128079
>>8078

>вузовский курс для инженеров (НЕ МЕХМАТ)



В вузовском курсе для инженеров спокойно может не быть определения алгебры, откуда ему там взяться? Определение колец и полей у нас было только в 4 семестре, на ТФКП, когда вводилось поле комплексных чисел.
190 128081
А есть аналог "Алгебры" Гельфанда и Шеня для геометрии?
191 128082
>>8081
Не знаю, но у Шеня есть книга «Геометрия в задачах» [1]. Когда-то давно я просмотрел и прорешал там начало и, насколько помню, мне понравилось. Но может это сложнее чем нужно.

[1]: https://old.mccme.ru//shen/geometry.pdf
51F3sGfcmjL.ACUF1000,1000QL80.jpg39 Кб, 705x1000
192 128083
>>8081
Ты про какого Гендальфа? Если про того самого, то аж две, одна даже на русском
193 128084
>>8083
А какая на русском? Я только эту нашёл, и перевода у неё нет, вроде как
9508167703.webp8 Кб, 283x400
194 128085
195 128086
>>8085
Тригонометрия это не геометрия, там комплексная плоскость.
196 128087
>>8086
Да хоть комплексное многообразие
197 128088
>>8085
>>8082
мерси
198 128090
Как заботать теорию стакана?
236977.jpg331 Кб, 1000x1314
200 128095
>>29047 (OP)
Каков положняк по писанине некого Опойцева, он же Босс.
Стоит читать новичку?
201 128096
>>8095
Там какие то методички по 200с для его студентоты, новичку стоит читать классику И.П. Натансона.
202 128097
>>8091
Дед на старости лет пизданулся, даже немного жалко его, что эту хуету никто читать не будет.
203 128098
>>8095

>краткое и ясное


>16 томов

204 128100
>>8091
>>8097
А что не так там?
205 128101
>>8100
У тебя русский – третий язык или типа того?
image.png63 Кб, 851x320
206 128102
>>8083
gemini говорит русской версии никогда не было
207 128103
>>8085
И тригонометрия издательства Springer имеет только одно сходство с изданием МЦНМО: соавторство И.М. Гельфанда. В остальном, содержания отличаются абсолютно во всем. МЦНМО написали методичку для абитуриентов с ответами и указаниями в конце. Springer только как научпоп брошюра с задачами в виде численных примеров без ответов и указаний.
208 128137
Аноны, вопрос по комбинаторике одновременно с 3д-геометрией.

Есть вот такая пепяка, пикрил.

Это додекаэдр, где в каждую грань вписаны либо:
- пятиугольник (либо совпадая с ориентацией грани, либо повернуто на 36 градусов)
- ромб
- трапеция (тоже две возможные ориентации)

Пропорции такие, что вне зависимости от конкретного поворота центра внутри грани линии, образуемые линиями этого центра, касаются ребер грани всегда в трех точках. Я надеюсь, из пикчи достаточно понятно, что я имею в виду (это именно про пропорции, т.е. размер центра относительно всей грани целиком).

Хотя у физического предмета на фотке линии немного скривленные (специально), в математической модели они могут быть и прямыми. Пикрил 2 - для наглядности, как это выглядит с прямыми линиями. Здесь также с левого края нарисовано, какими именно линиями образованы все возможные варианты.

Расставлять эти разные варианты разрезания граней додекаэдра по всей фигуре можно как угодно, НО на любом ребре недопустимо, чтобы с другой стороны "острого" угла центра (который подходит к ребру вплотную) было что-то, отличное от простого разбиения на угол-ребро-угол. Надеюсь, это тоже понятно из фотки. Все допустимые варианты деталей, образуемых разрезами, видны на фотке.

Вопрос:

Сколько существует различных вариантов расставить разные типы граней по додекаэдру?

Считаем за одинаковые:
- варианты, которые получаются друг из друга вращением додекаэдра
- варианты, отличающиеся только цветами (нас интересует физическая модель, а не то, какие цвета наклеек пошли на какую грань)

5 вариантов того, как может выглядеть грань. 12 граней. То есть верхний предел - 5^12 = 244140625, но среди этих миллионов очень много недопустимых комбинаций и повторов с точностью до вращения. Как по уму посчитать, сколько тут лишних вариантов?
209 128138
>>8137
Хотя я, похоже, сразу обосрался. Потому что:

ДА, в пятиугольник можно вписать ромб только 1 способом, а трапецию - только 2 способами

НО!

Если рассматривать ориентацию ромба и трапеции не только внутри рандомного пятиугольника, но относительно всего додекаэдра целиком (т.е. расположение относительно соседних граней), то получается:

пятиугольник: 2 варианта (совпадает с ориентацией грани, не совпадает, все остальные варианты поворота идентичны этим 2)
ромб: 5 вариантов (острые углы ромба смотрят туда, или вон туда, или вон на те соседние грани, или вон на те)
трапеция: 10 вариантов (сейм)

= 2+5+10 = 17 вариантов на грань, или 17^12 = 5.8*10^14 вариантов на весь додекаэдр (из которых уже надо агрессивно убирать недопустимые комбинации и повторы)
210 128165
Да, доска совсем сдохла, жаль.
211 128167
>>8165
Ну и хуй с ней
Она не нужна, обо всём можно поговорить с ии
212 128174
>>8167
Обидно.
Я надеялся здесь обсудить как раз недавнее решение ГПТшкой гипотезы об уравнениях Навье-Стокса, но на доске такая тишина, что просто удивляюсь. На других досках уже бьют тревогу по этому поводу, а здесь как будто эту новость даже не заметили.
213 128175
>>8174
А что обсуждать? Единственное это кто там у кого что спиздил/не спиздил, при том как и чем. И всё равно хуй его знает как там произошло на самом деле. Пидорасы там все высокомерные, блять.
214 128179
>>8175
Вот это и можно обсудить.
Реально напоминает историю вокруг кубических уравнений.
Метод изобрёл дель Ферро, переоткрыл Тарталья, а всю славу забрал Кардано.
215 128180
>>8174
ну, и в самом деле: что тут обсуждать?
во-первых, действительно хайп поднялся на других платформах - так там и обсуждай. двач маргинальный ресурс, и как раз интересен тем, что тут можно в общем обсудить то, про что в других местах много не говорят

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

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

потому что интересно, когда делаются открытия, а тут как будто просто люди не докапали сами до конца из-за слишком невыносимой унылости задачи

и наконец вот моё пожелание: раз ии стал такой крутой и умный, я бы его направил на Мочидзуки. этот г-н ничего в своих работах объяснять не хочет, и понять их не могут уже два десятка лет. так пусть этот охуительный ии их поймёт, объяснит и проверит. и заодо в lean закодит. чтобы в театры Ходжа был свободный вход для всех желающих. вот это было бы круто
216 128181
>>8180

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


Так в лана(?) так сделали, а то бы не год с чем-то этим занимались, а все как минимум. Пришли к выводу, что походу реально следствие 3.12 хуета, но уже по другим причинам.
Но работы другого математика, который попытался дополнить работу, закрыв эту дырку, не проверили. Поэтому возможно IUT норм тема, а возможно нет. Но матчидзуки обосрался уже точно.
217 128182
>>8181
это новости, не слышал

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


печальная история. а всё потому (по-моему), что он недостаточно именитый

>Поэтому возможно IUT норм тема


хотелось бы, крутая же
218 128183
>>8182
Хотя я чё-то обосрался.
1. Они просто застряли пока там.
2. Они не юзают лммки для этого.
Просто от них нихуя не слышно чего-то громкого за последние месяца два. И всё смешалось, что сам мочидзуки говорил, что люди из дзена говорили и отчёты. И оказалось они меньше года как над этим работают. Так что не всё потеряно, но мотивации подубавилось.
219 128184
>>8180
Как же вы заебали, 2026 год, а люди всё транслируют всю ту же убогую хрень про картофан и Мочидзуки.

>>8174
А что тут обсуждать.

1. Бакмастер говорит, что доказательство OpenAI очень похоже на его доказательство для случая уравнений Эйлера, а OpenAI говорят, что не похоже. В этом пусть специалисты разбираются. Насколько понимаю, обе стороны выложили свои работы в интернет, любой может прочитать.

2. То, что ИИ плохо отдаёт себе отчёт в том, что он и откуда узнал, и что он использовал в том или ином случае — это проблема. Раз разработчики говорят, что они создают интеллект, в миллион раз умнее всех людей вместе взятых, то пусть как-то продвигаются и в этом направлении.

3. История показывает, что «задачи тысячелетия» часто создают вокруг себя нездоровый ажиотаж и споры о приоритете. Возможно, даже если бы их просто назвали как-то менее помпезно, то уже было бы лучше.

4. Кто хочет пусть использует ИИ как хочет, кто не хочет — пусть не использует. Некоторые математики реагируют так, будто их привязывают к стулу и насильно заставляют читать слоп.
220 128185
>>8184

>Как же вы заебали, 2026 год, а люди всё транслируют всю ту же убогую хрень про картофан и Мочидзуки.


А она больше не актуальна?
221 128186
>>8185
водовка и картофан очень актуальны, судя по тексту, который выложили OpenAI
222 128187
>>8185
Отчасти не актуальна, отчасти всегда была хуитой. На мой взгляд, во многом именно из-за спамообразного картофан-постинга и таракан-постинга за последние годы /math скатился от уровня говна до уровня абсолютного говнища. Он мешает больше, чем те проблемы, с которыми предназначен бороться.

Кстати, по уровню внутриматематической срачегонности кринж с мататоном ([1], [2], [3]) даже ещё рофлянее задачи тысячелетия.

[1]: https://proofsandprompts.com/2026/09/10/open-letter-about-the-mathathon/
[2]: https://docs.google.com/document/d/1IL0b2oG2KvvSnxn_DuXsNxuHaCefDJ9hNY1k9BP3kKQ/edit?tab=t.0
[3]: https://proofsandprompts.com/2026/09/10/a-response-from-mathathon/
223 128196
>>29047 (OP)
Я здесь самый красивый!
224 128197
Чем Lean лучше Coq, что OpenAI его использовали для формализации доказательства?
225 128198
>>8197
1. У Lean есть Mathlib.
2. Lean банально популярней среди работающих математиков заинтересованных в формализации (во многом из-за Баззарда, потом и Тао подключился).
К "лучше чем Coq" отношение имеет наверное только Mathlib.
226 128199
>>8198
Еще coq Тьюринг полный, а lean нет, что в контексте "переборных" вещей преимущество.
227 128200
>>8197
Lean это литерали кал говна и отрыжка сатаны. NIH поделка от MS, который и нахуй не нужон когда есть coq/agda/Isabelle/что угодно и можно было бы развивать их, а вот хуй вам.
Не так давно их что то там кольнуло в жопу и они выкатили версию 4 без обратной совместимости с 3. Вся документация вроде так до сих пор безумный винегрет. Кольнет опять и они еще более нескучную версию 5 сделают и все доказательства и либы опять превратятся в тыкву.
Или вообще MS пидорнут на мороз ДеМаюру как SPJ и ко с их хаскелем.
Перделка написана на плюсокале со всеми вытекающими и память жрет как не в себя.
В связи с последними событиями внезапно узнал что для лин-чекера сделали еще независимый внешний и безопасный "драйвер" чтобы он первый запускал внутри виртуалки лол. Либо от того что сам язык общего назначения без управления эффектами и может тебе легко сделать рм-рф-слеш в процессе доказательства. Либо от того что плюсокальное ядро может переполниться, обратиться к нулевому указателю и в умелых руках сделать то же самое. Орно как в ридми этой штуки написано что его почему то нужно обязательно запускать не под рутом и наверное получается что доказательство под рутом уже не доказательство.
228 128201
>>8184

>4. Кто хочет пусть использует ИИ как хочет, кто не хочет — пусть не использует. Некоторые математики реагируют так, будто их привязывают к стулу и насильно заставляют читать слоп.


Какой же дебил просто пиздец. А если порашка начнет ядерную войну и все страны начнут весело нюками перекидываться ты такой так же выйдешь и скажешь - меня это никак не касается, я в этом не участвую.
229 128202
>>8201
Ничего страшного, застеклим Европу и США, они потом как трусонюхи спасибо говорить будут.
230 128203
>>8201
«Отличная» аналогия, 10/10. Но я всё равно не понимаю, зачем, например, надо было в авральном режиме созывать 25 филдсовских лауреатов, чтобы написать ниочёмное открытое письмо [1]. Что это за новая мода. Почему каждый из лауреатов не может просто высказаться по отдельности в спокойной обстановке, если ему есть что сказать. Люди просто разводят панику.

[1]: https://mathandai.org/
no737p5g.webp22 Кб, 379x517
231 128204
>>29047 (OP)
Филдсовскую петушню и дармоедов от маняматики иишечка на мороз выставляет?
232 128210
>>8203
Мисалайнгмент, чего тебе не понятно то? ИИ отправит всех надменных матеманек на мороз, они этого не хотят. Не через 50 лет и не через 10, а вполне даже возможно прямо в этом или следующем году эффективные манагеры подсуетятся как они это умеют.
Потом ИИшка возможно еще закроет несколько милениум-проблемов. Может даже еще погенерирует немножко невероятной ебанины в которой уже никто не сможет разобраться. Потом это все всем надоест и все. THE END.
Вот тут мелкочмошка спрашивает
>>8180

>пусть этот охуительный ии их поймёт, объяснит и проверит. и заодо в lean закодит. чтобы в театры Ходжа был свободный вход для всех желающих.


- ложная пресуппозиция. Никому нахуй не нужно чтобы тебе было понятно. Вон ИИ уже формализовал FLT - скачивай, разбирайся. Чего морду скривил? Не забудь только пару сотен гигов оперативки прикупить, иначе тупо не запустится нихуя.
Вообще ситуация не то чтобы беспрецедентна, математика всегда была закрытым кружком надменных чмонек. Какому-нибудь Гротендику был глубоко по хую что какой-нибудь Вася из Барнаула чего то там не поймет в его выкладках. Он проводил свои семинары исключительно для своего внутреннего кружка слушателей. Пифагорейцы вообще закрытой сектой были лол.
Так что матеманьки очень ясно себе представляют куда дело идет.
233 128217
>>8210

>Какому-нибудь Гротендику был глубоко по хую что какой-нибудь Вася из Барнаула чего то там не поймет в его выкладках


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

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

прости, петух, я не удержался; это не приглашение на двач

и про Гротендика: в частности, он ездил во Вьетнам и там читал лекции бедным вьетнамским студентам, так что обвинения про "глубоко по хую" едва ли справедливы
235 128220
>>8217
Его изыскания это фундамент современного алгема и приложений
236 128221
>>8219

>ездил во Вьетнам и там читал лекции бедным вьетнамским студентам


Причём в разгар войны; после очередного налёта накрыло корпуса универа, где он читал лекции, вроде даже погиб кто-то. Дочитывал Грот буквально в джунглях. Вот уж по хую так по хую
237 128222
>>8220
Ну тогда он писал не в стол, а вполне доступно для понимания? Значит Вротендик у тебя не совсем удачный пример
238 128223
>>8219
Больше тебе нечего возразить, чмонь?

Мелкочмошка ты же реально умственный инвалид. И нахуя ты биографии читаешь разных людей, все равно ведь нихуя не поймешь что они делали и зачем, уж лучше формулки смотри. Это был абсолютно шизоидный перформанс от поехавшего шиза на подобии "Геи за Палестину". Или из его поездки выросла знаменитая вьетнамская школа алгебраической геометрии? Может я просто не в курсе? Грот мог бы там тупо с одинаковым успехом мороженое раздавать но даже ему было ясно что это как то странно смотрелось бы.

>>8222
Конечно не в стол. Его труды подхватили два простых вьетнамских мальчика - Серр и ДеЛинь.
239 128226
>>8223
Шизоидный перформанс это твои посты, хуета уровня спидовой
Ничего, вот-вот нейронки всех математиков заменят, тогда заживёшь
240 128227
>>8223

>Больше тебе нечего возразить, чмонь?


помилуй, тебе возражать - всё равно что в говне купаться

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

и математики специально скрывают от тебя свои знания, это тоже правда. вот ты не учился в вузе, а там есть спецкурс: как писать учебники, если их будет открывать петух-неосилятор
Screenshot-1016.png76 Кб, 954x495
241 128229
>>8226
Потешный подсос все время вьется вокруг мелкочмошки еще более тупорылый и способный выдавливать только односложные самдураки. Твой безмозглый кумир хотя бы старается писать что то хоть немного содержательное, так что и ты тоже старайся.

>>8227

>а там есть спецкурс: как писать учебники


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

Можно вставить цитату из библии уподобив себя Господу, если кому то не ясно какая же ты надменная чмоня ( >>7742 (Del) )

Если читаешь курс и пишешь учебник сделай так чтобы они максимально различались. Иначе тупо скучно. И вообще наивно предполагать противоположное ( >>7745 (Del) )

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

Первую главу надо потратить на наивную теорию множеств чтобы подробно объяснить что означает значок ∈, что такое пересечение/объединение и т. д. Тогда безмозглые дурачки будут кричать на анонимных форумах что книга буквально рассчитана на школьников и в ней все объясняется с самого нуля. Реально важные вещи можно подсократить или опустить сославшись на нехватку места.

Решения задач писать не нужно. Если все таки пришлось их писать по какой то неведомой причине то пиши их только у половины задач выбирая случайным образом. Пиши решения максимально однострочно. Высший пилотаж: "легко следует из определения", "спросите у любого младшеклассника", просто одно слово "очевидно".

Это только самая база базовая...
Screenshot-1108.png160 Кб, 825x507
242 128230
243 128231
>>8229

>спецкурс: как писать учебники, если их будет открывать петух-неосилятор


>Я могу сам такой спецкурс прочитать.


не сомневаюсь
244 128232
>>8231

>пук

245 128233
>>8229
О чём с тобой говорить вообще, тут ведь дело даже не в культуре диалога. Ты неспособен говорить не только о предмете, но и вокруг него. Элементарно, во время разгона о вьетнамском курсе лекций Гротендика ты не удосужился даже проклинать список его учеников на Вики (а хотя в русике там стопроц один Делинь, лмао)
Содержательность ему подавай, вы поглядите, ты же буквально говорящая плесень
246 128234
>>8233
Покликал тебе хуем по лбу, говорящая долбоебка.
247 128235
Для мимокроков, которые действительно хотят разобраться с какой-то проблемой. Не бойтесь задавать даже самые наивные вопросы. Вас не будут хуесосить, это просто местный дурачок с богатым лором. Не понимать даже простые вещи вполне нормально, нельзя вести себя так, как этот еблан
248 128236
>>8235
Да, только выхлоп будет скорее всего как вот тут:
>>8137>>8138>>8165
т.к. на доске давненько сидят одни только тупорылые ебланы с чсв до небес. Можно только заходить их потролить время от времени. Вопросы лучше сразу жпт задавать.
249 128237
>>8236
Третье упомянутое сообщение - не от меня.
- автор первых двух

А также со времени написания тех сообщений я осознал еще одно ограничение на взаимное расположение разных центров: не только две соседние грани не должны одновременно блокировать повороты друг друга, но также нельзя допускать более длинные цепочки последовательных блокирований друг друга. Когда грань A не дает повернуться грани B, грань B не дает повернуться грани C, грань C не дает повернуться грани D, а грань D не дает повернуться грани A. Хер знает как это организованно отслеживать в наборе из дохуллиарда возможных комбинаций, кроме как перебором и рассмотрением каждого случая отдельно.
250 128238
>>8237

>Третье упомянутое сообщение - не от меня


"А от кого?" – загадка от Жана Фреско
251 128239
>>8210

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



Рома о Гротендике

> привет, ну не Грахам Эллис, Грахам меня немногим старше. Ларри Брин много рассказывал, он был одним из его учеников, с которыми он продолжал общаться в 70-е. Бауэс с ним переписывался несколько лет, Ронни к нему ездил, Пасси с ним общался в Мумбаи в конце 60-х. Да, у меня немало было общих с ним приятелей. сейчас что-нибудь расскажу, чтобы не сгинули истории.



> Ну вот, к примеру. Ларри к нему приезжал обычно на несколько дней, останавливался в его доме, они днями обсуждали йогу n-категорий (в сети есть письма Гротендика Ларри об этом), всякие стеки и жербы. Гротендик любил готовить всякие экзотические блюда, он угощал Ларри. Это все было в деревне на юге Франции, и Гротендик к тому времени переругался уже со всеми жителями этой деревни, кроме 15-летней девушки. Девушка к нему часто заходила, они с ней общались. Она слышала, что Гротендик – математик, это был как слух по району такой, типа этот странный чел – математик. Девушка ходила в школу, ей там задали какое-то задание по математике, она пришла к Гротендику, чтобы тот помог. Как раз это было при Ларри. Гротендик сел и принялся ей объяснять школьную математику. Детально-детально. Ларри рассказывал, что слушал и не видел разницы по интонациям и отдаче, как Гротендик общается: с Делинем например или с этой девушкой. Все детально, корректно, четко. Она кивала, и не представляла, кто ей сейчас все это рассказывает. Блин, перед тобой, возможно, лучший математик современности... но тогда было все равно, чисто странный чел долго и подробно пояснял, как делается домашнее задание. Мы с Ларри проработали лет восемь, он приезжал ко мне много раз, а я к нему в Париж, и он часто рассказывал что-то такое.



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

251 128239
>>8210

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



Рома о Гротендике

> привет, ну не Грахам Эллис, Грахам меня немногим старше. Ларри Брин много рассказывал, он был одним из его учеников, с которыми он продолжал общаться в 70-е. Бауэс с ним переписывался несколько лет, Ронни к нему ездил, Пасси с ним общался в Мумбаи в конце 60-х. Да, у меня немало было общих с ним приятелей. сейчас что-нибудь расскажу, чтобы не сгинули истории.



> Ну вот, к примеру. Ларри к нему приезжал обычно на несколько дней, останавливался в его доме, они днями обсуждали йогу n-категорий (в сети есть письма Гротендика Ларри об этом), всякие стеки и жербы. Гротендик любил готовить всякие экзотические блюда, он угощал Ларри. Это все было в деревне на юге Франции, и Гротендик к тому времени переругался уже со всеми жителями этой деревни, кроме 15-летней девушки. Девушка к нему часто заходила, они с ней общались. Она слышала, что Гротендик – математик, это был как слух по району такой, типа этот странный чел – математик. Девушка ходила в школу, ей там задали какое-то задание по математике, она пришла к Гротендику, чтобы тот помог. Как раз это было при Ларри. Гротендик сел и принялся ей объяснять школьную математику. Детально-детально. Ларри рассказывал, что слушал и не видел разницы по интонациям и отдаче, как Гротендик общается: с Делинем например или с этой девушкой. Все детально, корректно, четко. Она кивала, и не представляла, кто ей сейчас все это рассказывает. Блин, перед тобой, возможно, лучший математик современности... но тогда было все равно, чисто странный чел долго и подробно пояснял, как делается домашнее задание. Мы с Ларри проработали лет восемь, он приезжал ко мне много раз, а я к нему в Париж, и он часто рассказывал что-то такое.



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

252 128240
>>8238
Видимо, от кого-то из местных. Я к вам с этой задачей залетел на доску чуть ли не впервые в жизни и мне сложно судить, живая доска или мертвая.
253 128241
>>8239
Еще один дурачок принес еще одну охуительную историю на этот раз про то как Гротендик девочку в животик поцеловал. Реально на всех дурачков такие истории оказывают сильнейшее влияние.
Это все замечательно (хотя если подумать на сколько же охуевшим чсвшным уебищем должен был быть ее учитель что было проще брать личные консультации у Грота...) но лучше бы он

>Детально-детально


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

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


К чему это блядь вообще?

Бонусная ржомба: касательно биографии самого Грота

>Comparing Grothendieck during his Nancy years to the École Normale Supérieure-trained students at that time ..., Leila Schneps said:


> He was so completely unknown to this group and to their professors, came from such a deprived and chaotic background, and was, compared to them, so ignorant at the start of his research career, that his fulgurating ascent to sudden stardom is all the more incredible; quite unique in the history of mathematics.[41]


Нет матеша это не закрытый кружок для своих это кто это вам такое сказал.
254 128242
>>8241
Всякий образованный человек должен знать французский хотя бы на среднем уровне

А ты просто быдло ебаное, нахуя ты варежку раззеваешь вообще
255 128243
>>8242

>на среднем уровне


Уверен твой уровень французского - уровень пиздлявой маньки.
256 128244
>>8241

> На сколько я понимаю до сих пор любимого мемца местных ЕГА не существует даже перевода с лягушачего на человеческий язык?


Тебя ебать не должно, на петушиный уж точно переводить не будут
257 128245
>>8244
На петушином высеры матх манек почитать можно.
258 128246
OpenAI тоже поцеловала Базарда в животик предоставив ему комп с 500 гигов оперативки (правда даже так все равно притормаживает). Так что если вдруг кто округлив глаза будет задавать вам вопрос: ты че ебанутый каким хуем я это все на своей некропекарне запущу? Можете доказать им что они не правы рассказав эту душевную историю.
259 128247
>>8210

>ИИ отправит всех надменных матеманек на мороз, они этого не хотят.


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

>возможно прямо в этом или следующем году эффективные манагеры подсуетятся как они это умеют.


Так отдавать все нейронкам не то что бы пиздец эффективно. На Навье-Стокса ушли какие-то дикие триллионы вычислительных ресурсов, которые доступны дай бог 5 корпорациям в мире. Держать в штате кожаную нейросеть все еще во много раз дешевле.
260 128248
>>8241

>На сколько я понимаю до сих пор любимого мемца местных ЕГА не существует даже перевода с лягушачего на человеческий язык?


Не знаю что такое «человеческий язык», но есть такой перевод на английский, кажется, сделанный с помощью ИИ:
https://zenodo.org/records/22413933
261 128249
>>8247
У тебя аргументы уровня "машина никогда не заменит лошадь".

>верифицировать нейрослопный Навье-Стокс


Ты либо коряво используешь слова которых не понимаешь, либо вообще нихуя не понимаешь что происходит. В любом случае ты дебик который несет хуйню.

>эффективно


Но что более эффективно - решить НС потратив миллионы долларов или жидко пукнуть и обмякнуть.

>Держать в штате кожаную нейросеть все еще во много раз дешевле.


Отдел дармоедов дешевле подписки на жпт? Морозные истории подъехали.

>>8248
Хорошая новость. Шел 2026 год. Теперь только нужно подождать когда иишка сама начнет писать учебники.
262 128250
>>8249
Опять что-то на петушином
263 128251
>>8250
Хуй соси, говно.
264 128253
>>8249

>Отдел дармоедов дешевле подписки на жпт? Морозные истории подъехали.


НС стоил 130 миллиардов токенов, что не отбивается премией за решение. Да, отдел дармоедов дешевле.

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


Решение Перельмана сколько проверяли? 4 года. С хуя ли нейрослопный НС должны принять на веру?

>У тебя аргументы уровня "машина никогда не заменит лошадь".


У меня аргументы человека, который работает в науке и пытался автоматизировать исследования через жпт. Поэтому нет, в течение года никого не заменят. В течение 10 лет - возможно.
265 128254
>>8253
Академический интерес. На своё предыдущее сообщение – абсолютно корректное по форме и содержанию – ты получил кукареканье вида

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



за которым нет буквально ничего, кроме оскорблений. Зачем ты продолжаешь диалог? Он и дальше будет просто называть тебя дебилом, долбоёбкой этс, типа, это такой троллинг матяманек у него. Ты не услышишь больше ни одного нормального аргумента, максимум какие-то ссылки типа "не пришей к пизде рукав", скриншоты хуй пойми чего либо прохладные истории уровня /ро/ Зачем тебе это?
266 128255
>>8249

>У тебя аргументы уровня "машина никогда не заменит лошадь".


Может ли машина родить жеребенка? Выиграть скачки? Преследовать человека по лесу? Дать пизды собаке? Быть статусным средством передвижения для предводителя, которому нужен героический имидж?
267 128256
>>8255

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

268 128257
>>8253

>НС стоил 130 миллиардов токенов, что не отбивается премией за решение.


Потребовалось перечитать несколько раз чтобы понять. Чел риали думает что матемньки отрабатывают свою пайку решая открытые задачи и собирая за них оплату. Пиздос.

>Решение Перельмана сколько проверяли? 4 года. С хуя ли нейрослопный НС должны принять на веру?


Lean мазафака ду ю спик ит?

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


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

>>8254

>предыдущее сообщение – абсолютно корректное по форме и содержанию


Для тупорылого еблана безусловно.

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


Так ты ж тупорылый просто. Не сечешь фишку. Не приходило в голову?
(Кстати жаль что мой скрин с маня-прогнозами Баззарда так ни одна матеманька и не оценила. Уровень матх. А ведь такую годноту быдлу палю, прям уникальный контент.)
Ты лучше объясни когда ты там головой ударился что решил что теперь твоя миссия будет гейткипить в матх и постоянно объяснять всем как и с кем им нужно общаться. Ты не многовато ли на себя взял, говно?
269 128258
>>8257
Что-то на петушином, не читал
.jpg28 Кб, 474x316
270 128259
>>8258

>Aphasia, also known as dysphasia,[a] is an impairment in a person's ability to comprehend or formulate language because of dysfunction in specific brain regions

271 128263
Я не учил математику, а сейчас прям максимально прикладная задача.

Я живу в провинции, собираюсь в ДС приехать и работать на складе, где платят больше 5к за смену. 5к это минимум, на который ориентируюсь. График 2/2. Поскольку я понаезжаю в ДС, то надо искать жилье. На жилье надо 70к, это 35к за аренду на месяц и 35к залог. 70к - цель для заработка. Теперь надо рассчитать время, за которое эти 70к будут заработаны. Допустим, у меня в запасе 50к - 20к на еду на месяц, 30к на посуточную аренду на первое время. С посуточной арендой есть вариант хостела (мне не нравится, поэтому не рассматриваю) и вариант квартиры. Посуточно квартира стоит от 1500 рублей в сутки. 30.000 / 1.500 = 20 дней. Могу снимать жилье 20 дней за 30к. За это время будет 10 смен на складе. Платят сразу. То есть 50.000 за 20 дней. Деньги на еду еще не истрачены полностью, их остается еще на 10 дней. Докидываю в запас на еду еще 20к, получается, что еще 40 дней могу не париться насчет продуктов. Остается 30к на жилье, но это те же самые 20 дней по 1500 руб./день. То есть на жилье деньги тратятся быстрее, чем на еду.

Вопрос: как вывести формулу на основе этого, чтобы понимать оптимальный (и в то же время минимальный) размер средств, с которыми я буду выходить в плюс и смогу накопить 70к на нормальную аренду квартиры?

Какая область математики занимается такими рассчетами?
272 128264
>>8263

>Какая область математики занимается такими рассчетами?


Бухгалтерия
273 128265
>>7742 (Del)
Не знаю, мне в целом пока нравится читать Кострикина + задачки решать, но конечно там есть факапы, я это понимаю, конечно надо все перепроверять по 10 раз.
274 128266
>>8265
Ты 10^ и 100^ перепутал
Screenshot20260918-231824.jpg157 Кб, 720x1612
275 128268
>>8266
Да, спасибо за исправлние, суть я думаю понятна
276 128269
>>8268
Смотри в чем был цимес, 100! = 93326... И так 158 цифр, так что при делении на 10^157 должно получаться 9.3326... > 9.33 так что ну ты немного не то все еще проверяешь. Там же не твоя дроб, разве нет?
image.png40 Кб, 808x544
277 128270
>>8269
Так там 9.33...
278 128271
>>8270
9.33... это не 9.(3) а та крокозябра, которая должна была бы получаться от формулы Стирлинга выше. Попроси ее рассчитать в математике, там получится что то очень похожее и реально меньшее.
279 128276
>>8187

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


Благо, пучк-постинг всегда актуален. ПУЧЧККК! ГРООООТТТТ!
280 128277
>>8265
Что узнал для себя нового?
пирожкоян.jpeg22 Кб, 527x379
281 128280
Screenshot-1181.png46 Кб, 628x374
282 128285
283 128300
скиньте чаты с подготовкой егэ по профмату и помогите с делением многочленов
@teolno
284 128306
>>8300

>помогите с делением многочленов


В чём сложности? Они буквально как числа в столбик делятся. Постепенно убивай наивысшую степень. Как эта возможность пропадет, то что осталось это остаток.
krokodilneponimaet.jpg31 Кб, 500x376
285 128307
>>8300

>с делением многочленов

286 128308
>>8306
я в столбик не особо умею и до этово не приходилось учить но мне уже обьяснили вроде
287 128309
>>8307
я кстати профмат сдаю по мотематике
288 128310
>>8309
Я в прошлом году на 86 или 88 сдал гдет не помню. И физику на 80. Готовился по роликам на ютубе. Но похуй щас я почти год дома сижу потому что числанулся с первого курса вуза, я его прогуливал просто хд.
289 128311
Сап, математики.

Есть 5 пар братьев/сестер. Все 10 человек не являются сиблингами всех остальных, но попарно - да. Вот список всех 10 без указания, кто из них - пары.

- Юджин (Eugene)
- Изабель (Isabelle)
- Тэмми (Tammy)
- Мария (Maria)
- Венди (Wendy)
- Патрик (Patrick)
- Иан (Ian)
- Райан (Ryan)
- Ник (Nick)
- Стюарт (Stewart)

Каждая из пар братьев/сестер очень любит свое уникальное число, которое обязательно имеет форму x^2-1, то есть на единицу меньше квадрата целого числа.

Вот эти числа:

Тэмми и Венди любят число n^2 - 1
Иан и Ник любят число (n+2)^2 - 1
? и ? любят число (n+8)^2 - 1
? и ? любят число (n+14)^2 - 1
? и ? любят число (n+26)^2 - 1

Здесь n - одинаковое число во всех пяти выражениях. При этом пары братьев/сестер здесь упорядочены от младших к старшим.

Некоторые имена здесь оставлены не указанными. Шесть разных "?" - это шесть неуказанных имен из списка выше.

Вопрос: сколько лет Стюарту?
289 128311
Сап, математики.

Есть 5 пар братьев/сестер. Все 10 человек не являются сиблингами всех остальных, но попарно - да. Вот список всех 10 без указания, кто из них - пары.

- Юджин (Eugene)
- Изабель (Isabelle)
- Тэмми (Tammy)
- Мария (Maria)
- Венди (Wendy)
- Патрик (Patrick)
- Иан (Ian)
- Райан (Ryan)
- Ник (Nick)
- Стюарт (Stewart)

Каждая из пар братьев/сестер очень любит свое уникальное число, которое обязательно имеет форму x^2-1, то есть на единицу меньше квадрата целого числа.

Вот эти числа:

Тэмми и Венди любят число n^2 - 1
Иан и Ник любят число (n+2)^2 - 1
? и ? любят число (n+8)^2 - 1
? и ? любят число (n+14)^2 - 1
? и ? любят число (n+26)^2 - 1

Здесь n - одинаковое число во всех пяти выражениях. При этом пары братьев/сестер здесь упорядочены от младших к старшим.

Некоторые имена здесь оставлены не указанными. Шесть разных "?" - это шесть неуказанных имен из списка выше.

Вопрос: сколько лет Стюарту?
290 128313
>>8310
поможеш мне с мотематикой в целом
291 128314
>>8311

>являются сиблингами


криндж
292 128315
>>8313
А ты няшный?
293 128317
>>8315
дыа
294 128325
>>8277
Вообще да, но у меня не было курса по алгебре общей в универе(я инженегр), была линейка линал, отдельные выкладки в курсах моделирования(например там рассматривалась модель робота в SO(3), далее решались задачи кинематики и динамики, но что это не пояснялось толком, хотя интуитивно было понятно о чем речь), поэтому там бы наверно любой учебник был информативным
295 128326
>>8325
А конкретно можешь перечислить на вскидку что именно?
297 128337
https://www.youtube.com/watch?v=x9kv5Ghmf0U
НМУ бляди проснулись - кинулись Lean изучать.
298 128338
>>8337
А чего ты ожидал от академической науки? Какими бы открытыми к новым идеям ученые ни были, смена парадигм приходит только со сменой поколений, и на волне хайпа с ии молодежь что умеет в лин смогла оттяпать себе больше влияния.
299 128339
>>8338
Так ведь это тараканство же дико скучное. Уверен, математики из нму его не изучали не потому что они закрытые, а от того, что находят эту тему слишком уродливой чисто эстетически, потому неинтересно
300 128340
чисто эстетически 😂
вот такой вот рационализм и прагматика у современной когорты специалистов высш. математики 👍😂
301 128341
совершенно так, это самый важный принцип в математике
пик.png33 Кб, 834x770
302 128342
Попробуйте угадать, что изображено на картинке
303 128343
>>8342
ты как будто числа бетти для чего-то простенького хочешь посчитать
бох в помощь тогда
304 128344
Что посоветуете для задач на подобии Демидовича, но по линалу и диффурам?
305 128345
>>8344
Проскурняков и Филиппов соотвественно
306 128346
>>8343
Нет, это гораздо проще. Тебе просто нужно понять что представляет из себя формула снизу, на что она похожа
307 128347
>>8346
Чесгря, это больше всего похоже на физика, который думает, что сокращать дифференциалы это хорошая идея
308 128348
Приложима ли теория вероятности к реальности?

Ведь она рассуждает про вероятные исходы идеальных событий, которых не существует. В любом реальном событии миллиарды факторов (как минимум) вплоть до пылинки какой-нибудь.
309 128349
Там умный т9 всю матешу порешал. Мнения?
310 128350
>>8349
Что он там порешал, лол
Я краем глаза посмотрел решение гипотезы Капланского
Это не угар, это позор
311 128351
>>8348
не математика
312 128352
>>8203
Но тут должен отметить следующее. Если это письмо написано с целью приободрить приунывших начинающих исследователей и как-то их словесно поддержать, то это трогательно и заслуживает уважения.
images.jpg4 Кб, 105x140
its so over 313 128353
314 128354
Math black pill......
0pepe-smoking.gif4,8 Мб, 498x498
316 128356
Гипотеза Капланского о делителях нуля ложна.

Группа Томпсона неаменабельна.

Конечно порожденные группы с разрешимой. проблемой слов это в точности группы которые вкладываются в простые конечно представленные группы.

Существует гиперболичная не CAT(0) группа.

Не конечно аппроксимируемая гиперболичная группа без кручения.

Бесконечная конечно представленная простая аменабельная группа.

Бесконечная конечно представленная конечно аппроксимируемая 2-группа.

И еще из других областей рандомное:

Любая замкнутая гладкая риманова поверхность изометрично погружается в R^4.

Константа Каталана иррациональна.

Быстрое преобразование Фурье быстрее чем за n log n.

Плоскость нельзя покрасить в 5 цветов так чтобы точки лежащие на расстоянии 1 имели разные цвета.

Существуют связные замкнутые асферичные 4-многообразия, которые гомотопически эквивалентны, но не гомеоморфны.

10 проблема Гильберта над Q ложна.

и многое многое другое https://github.com/openai/math/blob/main/overview.pdf
0pepe-smoking.gif4,8 Мб, 498x498
316 128356
Гипотеза Капланского о делителях нуля ложна.

Группа Томпсона неаменабельна.

Конечно порожденные группы с разрешимой. проблемой слов это в точности группы которые вкладываются в простые конечно представленные группы.

Существует гиперболичная не CAT(0) группа.

Не конечно аппроксимируемая гиперболичная группа без кручения.

Бесконечная конечно представленная простая аменабельная группа.

Бесконечная конечно представленная конечно аппроксимируемая 2-группа.

И еще из других областей рандомное:

Любая замкнутая гладкая риманова поверхность изометрично погружается в R^4.

Константа Каталана иррациональна.

Быстрое преобразование Фурье быстрее чем за n log n.

Плоскость нельзя покрасить в 5 цветов так чтобы точки лежащие на расстоянии 1 имели разные цвета.

Существуют связные замкнутые асферичные 4-многообразия, которые гомотопически эквивалентны, но не гомеоморфны.

10 проблема Гильберта над Q ложна.

и многое многое другое https://github.com/openai/math/blob/main/overview.pdf
image.png21 Кб, 715x74
317 128357
первокультурщики bros........
image.png210 Кб, 529x905
318 128358
319 128359
Математика умерла, всю доску /math можно сносить.
320 128360
>>8353
>>8354
>>8356
>>8359
Хоть кто-то из вас хоть один из этих высеров пытался читать?
321 128361
322 128362
>>8360
Всё ещё на стадии отрицания? Тяжело придётся
323 128363
Каких вы знаете математиков эскапистов и луддитов кроме Теда и Гротендика?
324 128364
>>8360
Нет, для этого нужен математик
325 128365
>>8362
Отрицания чего? Большинство доказательств скорее всего верные, хотя в некоторых уже нашли ошибки, скорее всего фатальные.
Но все доказательства уродливые, проза нечитабельна, и что в итоге со всем этим делать непонятно. Может (скорее всего!) ЛЛМки действительно убьют математику и оставят нас без работы, чему радоваться-то, если вместо человеческой математики будет это уродство, которое никто даже понять не может? Кто всё это говно читать будет? Только другие ЛЛМки.
326 128366
Бро, поклюй просо и успокойся, всем похуй
В этот раз чуваки отгрузили ~700 статей хуйни, которую никто не будет читать
В следующий раз отгрузят 7к, и что
Там же буквально "как не надо решать гипотезу Пуанкаре"
А вообще плевать, радуйся тому, что скоро всех маняматиков выкинут на мороз (нет)
327 128367
>>8365

>Но все доказательства уродливые


Да это только часть проблемы
Конкретно в случае гипотезы Капланского они не предоставили способа построения контрпримера, просто утверждают, что он есть. Охуеть кричали гости, как будто это не было понятно с самого начала. В чём здесь ценность результата (давайте для простоты счатить, что он верен)? Да ни в чём. Истинность в принципе тут автоматически показывала бы, например, ложность гипотезы Уайтхеда об асферичности, а что показывает ложность? Да ничего, по сути
328 128368
>>8365

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


Типикал математическая статья.

>>8366
Давайте проведем факт-чек данного высера

>Бро, поклюй просо и успокойся, всем похуй


Нет. Факт - всем не похуй.

>В этот раз чуваки отгрузили ~700 статей хуйни, которую никто не будет читать


Нет. Факт - матеманьки слетелись на эти статьи как мухи на говно.

>В следующий раз отгрузят 7к, и что


И то

>Там же буквально "как не надо решать гипотезу Пуанкаре"


Где же что же, излагай свой понос яснее, хуесос

>А вообще плевать, радуйся тому, что скоро всех маняматиков выкинут на мороз (нет)


(дат)

>>8367

>они не предоставили способа построения контрпримера, просто утверждают, что он есть


Так и знал - матх-манька как всегда не разочарует уровнем маня-критики.
329 128369
>>8368

>Типикал математическая статья.


петух-неосилятор никогда не опаздывает к новому обсуждению на доске
330 128370
>>8369
Т.е. если тебя мелкочмошку ткнуть твоим чмошным клювом в случайную статью с архива ты на раз-два сможешь разобраться что в ней происходит и оценить элегантность используемых конструкций, пиздаболушка?
331 128371
>>8366

>Бро, поклюй просо и успокойся, всем похуй


https://proofsandprompts.com/2026/10/08/100-reactions-to-100-solutions/
Пример:
I woke up this this morning to an email of a collaborator informing me that Open AI announced a proof of Katok’s entropy conjecture, a three-decades old open problem which was the subject of my PhD and more generally the main motivation of my research. The conjecture was settled by Katok for surfaces and mostly open in higher dimension. The main project of my thesis was to prove a local version of the conjecture near complex hyperbolic metrics. After this I was planning on attacking the conjecture more globally. Open AI claimed a proof of the conjecture in full generality this morning and my first impression was sadness to see my favorite problem get “killed” by AI ; it is definitely easier to ignore a problem when it does not affect you directly. Next, I felt stressed because I am currently applying for postdocs and more of my research plan was now obsolete and I spent the whole morning rewriting everything and sending emails to my advisors in panic. Finally, I felt anger after opening the paper and observing that it was mostly unreadable slop. The sane reaction would have just been to ignore the paper but I think I care too much about the problem to act as if it did not exist. The only conclusion I can make right now is that Open AI’s standards for mathematical publication is far too low and is harming mathematical research maybe in an irreversible way and that the mathematical community, motivated by genuine scientific curiosity, is accepting to work for free in order to “validate” these unreadable proofs.
332 128372
>>8371
тем не менее, ни о какой конкретной ошибке он не говорит, только unreadable slop
image.png334 Кб, 500x333
333 128373
>>8371
>>8370
Вот, поклюй и не переживай так
334 128374
>>8372
Конкретные ошибки здесь >>8355
335 128375
>>8374
очень мило
типа сначала выпустим 400 решений, а потом начнём потихоньку проверять. в знаке ошиблиссь, ой
336 128376
Лучше бы с помощью ллм составили идеальный учебник по матану-базе для физфаков и мехматов
Курс условно как 2 зорича, 2 книги по 600 стр, которые можно пройти за 9 месяцев. 4.5 мес на книгу, 12 недель на 600 страниц, 50 страниц в неделю, 10 страниц в день грубо говоря. Компиляция Зорича, Рудина, Тао и французского фундаментализма, все вместе в одном учебнике с разных точек зрения всеобъемлющий охват
337 128377
>>8373
Долбоебушка тупорогое, ты хоть сподобился свою любимую статью о великой силе математики осилить, или так и будешь на нее ссылаться только потому что тебе ее название понравилось?
338 128378

> I feel conflicted. There are many good reasons for and against the use of AI in mathematics


Интересно, что за "причины" такие чтобы AI не использовать?
(и как он предлагает его искременить)
(кроме того что матеманькам очень больно)
339 128379
>>8376
А кому этот учебник всрался в эпоху ИИ? Ты думаешь студентота что-то сейчас сидит учит всерьез хотя бы как их предшественники еще 5 лет назад? Нет конечно, там все давно промптят и поверхностно проходят темы перед экзаменом в спешке.
340 128380
>>8379
Петух имеет мнение, спешите видеть
341 128381
>>8376
Зачем ты их прямо ножом по больному? Ведь каждая первая коупящая матеманька коупит именно тем что она все ясно и понятно - не то что этот нечитаемый slop - передает так сказать свет знания в темные массы. А тут еще это начнется (обязательно начнется).
16453409402433.jpg96 Кб, 1155x775
342 128382
Как я понял из предыдущих постов, основная претензия к недавним доказательствам математических проблем — эстетическая. Дескать, одни оценки, технические леммы, всё некрасиво и неудобно для человека.

Однако, стоит рассмотреть данный вопрос под другим углом:

- Шесть месяцев назад: Утверждалось, что математика — это сакральная часть человеческого знания, которая никогда не может быть познана просто умножением огромных матриц друг на друга.

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

Кажется, прослеживается отчётливая тенденция.

Важные выводы:
Критика формы часто маскирует отрицание прогресса.
Границы «чисто человеческих» областей продолжают стремительно смещаться.
А что вы думаете по этому поводу? Поделитесь вашим мнением в треде ниже!
343 128383
>>8382
смысл в том, что от того, что какие-то отдельные проблемы получили магическом образом ответ, много не меняется, если доказательство безобразное и ничему не учит.

не говоря о том, что нет гарантии, что оно правильное
344 128384
>>8382
Спок, вся высокоградусная мировая общественность от Агамбена до Папы Римского ботохуету осудила. А это значит, что пендосов вместе с примазавшимися слопперами будут приземлять ЖОСТКА. Для России тут главное не стать тем местом, об которое их будут приземлять.
345 128385
>>8383
Факты
Как будто не похуй, что искомая структура точно существует где-то в континууме, если нет даже намёка, в какую сторону искать, это же просто вариация тезиса Громова
Какая ценность таких доказательств? Что они дают, чему учат? Как же заебало видеть горы слопа вместо чего-то содержательного
346 128386
>>8383
Смысл в том что ты ничего не понял. Ещё три года назад все смеялись над тем как

> ахаха тупая марковская цепочка ничего никогда не сможет посмотрите какая она глупая


Прошло три года и спесь со всех этих петухов (включая математиков) спала, стало уже не так смешно. Разумно предположить что твои дорогие красивые доказательства которые чему-то учат тоже не непостижимая вершина доступная лишь горделивым математическим петухам, а всего лишь вопрос времени
>>8384

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


Ок
347 128387
>>8386
кто смеялся? каких петухов? какая спесь?

все приличные люди рады, что появился мощный инструмент для работы; вот те парни, что навье-стоксом занимались, активно и плодотворно его использовали

не рады тому, как ведут себя корпорации, которые инструментом владеют, и хайпу среди быдла, которое к ним полезло, чтобы рассказать, что они больше не нужны. как будто работающего математика волнует, нужен он петуху-неосилятору или нет
348 128388
>>8386
Если ЛЛМки научатся писать по-человечески и производить что-то кроме уродливых доказательств, тогда, наверное, особых проблем с вываливанием доказательств 300+ теорем бы и не было, но вывалили их сейчас, и следующие 7000+ доказательств вывалят тоже когда ЛЛМки всё ещё будут говном. Дело же не в инструменте, а в людях, у которых есть неограниченный доступ к передовым версиям этого инструмента.
349 128389
>>8387

>кто смеялся? каких петухов? какая спесь?


>а кто? а что? а это и не мы! и вообще нас там нет


Ок
image.png652 Кб, 1110x1222
350 128390
>>8388

>следующие 7000+ доказательств вывалят тоже когда ЛЛМки всё ещё будут говном


> ахаха тупая марковская цепочка ничего никогда не сможет посмотрите какая она глупая


Ок
351 128391
>>8390
С чем ты споришь? Банально если стимулы для людей с этим неограниченным доступом вываливать сырые доказательства максимально быстро, до того, как ЛЛМки смогут производить что-то действительно хорошее. Когда они перестанут быть "тупыми", от математики уже ничего не останется, вместо нее будет гора нечитаемого слопа непонятного качества. Если я еще раз тебе скажу, что дело не в том, что ЛЛМки смогут делать через несколько месяцев или лет, а в том, что люди с неограниченным доступом делают с ними сегодня и продолжат делать дальше, будет понятней?
352 128392
>>8391

>продолжат делать дальше


>cуки тупые! со своей тупой марковской цепочкой продолжат генерировать хуйню и меня читать заставят! никогда ничего дельного не будет!


Ок
353 128393
>>8392

>никогда ничего дельного не будет!


Буквально противоположное тому, что я сказал.
354 128394
>>8382
Добавлю свои пять копеек:
Когда нейронка переиграла рыбку в шахматы там была куча возражений - совершенно справедливых - вроде того что программы запускались на несравнимом оборудовании. Даже когда комп победил Каспарова там вроде тоже оказывается "все было не так однозначно". Но время все расставило на места. Компы ебут людей в шахматишки без смазки. А рыбка в свою очередь выкинула свой кастомный движок на помойку и поставила вместо него нейронку. Вот и думайте.
Уверен сейчас начнется то же самое. Вот и доказательства "никрасивые" и кучу ошибок в них наверняка найдут. Но уже ясно куда все идет.
355 128395
https://www.youtube.com/watch?v=JHknhyAllNk
Все раскидано по фактам.
(Разве что в середине внезапно картавый выдает тезис: нет учебники не говно я вас забейтил ололо, ведь (!) учебники матеманькам нужны чтобы выебываться друг перед другом и самим разобраться в предмете в процессе их написания. Ну ок. Слабая психика из последних сил цепляется за остатки устоявшегося порядка, другого объяснения я тут не вижу.)
356 128396
Мне кажется ситуацию с вторжением ИИ во всякую первокультурную математику и доказательство гипотез, которые в 95% случаев не будут иметь никакого практического выхлопа, неважно, докажут их или нет, логичнее сравнивать с ситуацией с художниками, а не с кодерами.
Вот ИИ наделал гору кода, которую никто проверять не хочет, но это и не совсем важно в принципе, ведь здесь критерий эффективности это то, что код заработал.
Теперь пусть ИИ навалил гору доказательств, которую никто проверять никто не успевает, и какой здесь критерий эффективности работы ИИ, ведь большая часть абстрактной математики это просто вещь в себе, поэтому реакци математиков на ИИ-доказательства будет примерно такой же как у художников на ИИ-картины, импакт на сферу будет тоже примерно такой же.
Т. е. чем "прикладнее" область, чем больше влияние частного бизнеса, чем важнее экономика деятельности, а не эстетика, тем больше будет ИИ именно заменять и убирать рабочие места. Ну то есть ждем ИИ-агентов, которые будут прикладными задачами заниматься, а это реально скорее было demonstration of power - раз ИИ может заниматься чистой математикой, значит, может быть и прикладником и инженером и вообще любой деятельностью может заниматься.
357 128397
>>8396

>ИИ-доказательства будет примерно такой же как у художников на ИИ-картины


Тонны баттхерта?

>импакт на сферу будет тоже примерно такой же


"Меня уволили с работы и заменили на ИИ (рант)"
Так? Ну не все в курсе что там у художников происходит вообще то, поясни.
358 128398
>>8363

> Каких вы знаете математиков эскапистов и луддитов кроме Теда и Гротендика?


Рома Михайлов же.

Вербит бежал от российского правосудия.

Блез Паскаль.

> After another religious conversion in 1654, in which Pascal fully commit himself to God, his writings were primarily of a philosophical nature.

359 128399
>>8398

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


> луддит


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

Сережа, привет.

https://arxiv.org/abs/2608.20270
https://arxiv.org/abs/2608.20570
https://arxiv.org/abs/2608.22327

Три работы, скоро появятся остальные (надеюсь). Две конструкции получены при участии ИИ, и еще есть общее описание размерных факторов через граничные пределы. Удивительно ведь, в 2014-м сидел в Дели в кафе с тетрадкой, крутил-вертел эти структуры F/R'gamma_n(F) и понимал, что они как-то связаны с размерными факторами. Но не предполагал, что связь столь каноническая. А по ИИ вот хроника работы, примерная.

(если хочешь, можешь выложить все это письмо в тг, тут нет никаких секретов – прямо так, с этими комментами)

Хроника.

В начале 2025-го я воспринимаю ИИ исключительно как машину анализа паттернов. Появляется очевидная идея применить ИИ к поиску контрпримеров к разным гипотезам: к Капланскому, Уайтхеду и, что самое интересное, к описанию гомотопических групп сфер. К описанию E^2-листа спектралки, например (один эксперт мне говорил, что у человечества нет шансов понять даже второй лист, не говоря уже про все группы сфер). Поискать там модулярные формы, к примеру.

В мае 2025-го рассказываю в Яндексе о Капланском и предлагаю поискать пример с помощью сеток, еще надеясь, что можно построить группу с малыми сокращениями через судоку-графы большого обхвата.

К концу 2025-го года мы создаем закрытые чаты нашей небольшой группой и начинаем ежедневно играть в спичечные диаграммы. Не очень понятно, как нагенерить поток диаграмм для обучения сеток. В декабре 2025 В.И. пишет с помощью сетки код для сат-солвера, который находит за 40 секунд единицу Гардама 21 на 21 – это существенно меняет мое отношение к сеткам.

Январь-март 2026 мы с В.И. строим не-УПП-диаграммы с помощью солверов. Получается усиление результатов Промислова. Для амальгам бутылок Клейна получаются разные новые примеры не-УПП-диаграмм. Хотим найти новые примеры единиц в групповых кольцах групп без кручения.

Апрель – становится ясно, что сетки легко справляются с описанием симплициальных циклов, это помогает лучше понять гипотезу о фильтрации спектралки.

Май – начинаем плотную работу. К нашей группе присоединяются еще люди. Начинаем с помощью сеток пробивать сразу несколько направлений: парасвободность, единицы в групповых кольцах, асферичность, спектралки, fr-язык, производные пределы, размерные структуры.

Начинаем работать с Ю. из DeepMind. В конце мая находятся симметричные единицы в групповых кольцах – с помощью сат-солверов запущенных на больших кластерах. Полностью новое явление в теории единиц, связь с алгебрами Гекке. Сетки без проблем строят контрпримеры к метабелевым парасвободностям.

Июнь – не получается практически ничего, хотя сетки, агенты, солверы работают круглосуточно. Ни в одном из направлений не происходит прорыва. Исключение – решается открытая проблема Л.Б. о тау-симметричном поднятии единиц. Появляется доказательство того, что Капланский не берется малыми сокращениями (ни обычными, ни громовскими) Солверы находят новые единицы групп без кручения 85 на 85, 29 на 29, и разные экзотичные их симметрии. Ищем Z-подъемы единиц – много промежуточных результатов, но до конца сделать не выходит.

Июль – в начале месяца не получается почти ничего, хотя мы работаем еще интенсивнее. Бьемся как конченные лудоманы, общаясь с сетками до слипающихся глаз, используем все, что можем, объединения агентов, обучения, хитрости – вылезают порой странные вещи. К концу июля начинаются результаты, происходят прорывы во всех направлениях сразу. Решается проблема Хичмана 2000-го года, решается лиев аналог Уайтхеда. Решается ассоциативный аналог Парасвободной Гипотезы – классной моноидной конструкцией. Работаем в основном в sol, проверяем клодом, перестраиваем и подправляем конструкции, направляем дальше. Сетки часто ошибаются, приходится перепроверять десяток раз, корректируя условия.

К концу июля начинаем сотрудничать с AIRI, представляем им девять задач. AIRI помогает понять гомологии лямбды = E^2-лист спектралки до 300-го уровня, их сетки говорят, что для того, чтобы дойти до 600-го нужен миллион лет, а через два часа выдает решение до 1000-го. И это красивые картинки (не могу пока что показывать или анонсировать).

В августе случается дальнейший прорыв, мы только успеваем ловить новые результаты. Результаты в том числе проходят проверку в Lean (код лине занимает десятки тысяч строк). Прорыв в размерных вопросах. Получаются новые результаты в нильпотетной аппроксимируемости. Новые результаты в fr-языке. Как ни странно, fr-язык, казавшийся самым простым направлением для сеток, оказался чуть ли не самым сложным. Ищу подходы к фильтрации спектралки, sol показывает, как стабильно доказать сохранение фильтрации на E^2 с помощью категорий треков (2-категорий с обратимыми 2-стрелками) – это то, что делал Бауэс 20 лет назад. Нестабильно сетка сдается спустя пару недель тупняка. В. и А. пробивают еще пару открытых задач, включая проблему SL_2.

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

В итоге получаются продвижения во всех направлениях, но они касаются задач «средней полосы». Взглянув на результаты из прошлого года, можно поразиться. Это реально круто. Из сегодняшнего дня это выглядит нормальным и техническим. Ни одна из больших проблем пока не взята. Капланский, Уайтхед, Парасвободная гипотеза, Мур, E^2-лист и даже Z-поднятие единиц – все остается открытым. Цель – дойти до предела возможностей. Это как сад, в котором раскрываются все новые цветы. Где-то есть предел, за который пока не пускают. Интересно, до каких оранжерей мы дойдем в конце года. Хочется доиграть до конца, или до своего максимума. Самое интересное начнется чуть позже, когда проявятся объекты иных сборок, до которых человеческие интуиции не доходили. Хочется взглянуть на все это, на методы описания гомотопических групп без диких спектралок, например.

(о некоторых результатах не могу рассказывать до их официального объявления, но там есть угарные штуки, красочный ар-брют)

Есть интересный момент, почти этический. Хотя какая тут этика... но есть чувство, что я имею право заниматься только теми вопросами, которыми занимался раньше, на что отдал десятки лет. И не имею права соваться в чужое. Такой консерватизм. Чувствую, что имею право использовать оракулов только в тех мирах, которые сам развивал годами. – Ни в коем случае не претендую здесь на объективную этичность, это лишь ощущение.
359 128399
>>8398

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


> луддит


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

Сережа, привет.

https://arxiv.org/abs/2608.20270
https://arxiv.org/abs/2608.20570
https://arxiv.org/abs/2608.22327

Три работы, скоро появятся остальные (надеюсь). Две конструкции получены при участии ИИ, и еще есть общее описание размерных факторов через граничные пределы. Удивительно ведь, в 2014-м сидел в Дели в кафе с тетрадкой, крутил-вертел эти структуры F/R'gamma_n(F) и понимал, что они как-то связаны с размерными факторами. Но не предполагал, что связь столь каноническая. А по ИИ вот хроника работы, примерная.

(если хочешь, можешь выложить все это письмо в тг, тут нет никаких секретов – прямо так, с этими комментами)

Хроника.

В начале 2025-го я воспринимаю ИИ исключительно как машину анализа паттернов. Появляется очевидная идея применить ИИ к поиску контрпримеров к разным гипотезам: к Капланскому, Уайтхеду и, что самое интересное, к описанию гомотопических групп сфер. К описанию E^2-листа спектралки, например (один эксперт мне говорил, что у человечества нет шансов понять даже второй лист, не говоря уже про все группы сфер). Поискать там модулярные формы, к примеру.

В мае 2025-го рассказываю в Яндексе о Капланском и предлагаю поискать пример с помощью сеток, еще надеясь, что можно построить группу с малыми сокращениями через судоку-графы большого обхвата.

К концу 2025-го года мы создаем закрытые чаты нашей небольшой группой и начинаем ежедневно играть в спичечные диаграммы. Не очень понятно, как нагенерить поток диаграмм для обучения сеток. В декабре 2025 В.И. пишет с помощью сетки код для сат-солвера, который находит за 40 секунд единицу Гардама 21 на 21 – это существенно меняет мое отношение к сеткам.

Январь-март 2026 мы с В.И. строим не-УПП-диаграммы с помощью солверов. Получается усиление результатов Промислова. Для амальгам бутылок Клейна получаются разные новые примеры не-УПП-диаграмм. Хотим найти новые примеры единиц в групповых кольцах групп без кручения.

Апрель – становится ясно, что сетки легко справляются с описанием симплициальных циклов, это помогает лучше понять гипотезу о фильтрации спектралки.

Май – начинаем плотную работу. К нашей группе присоединяются еще люди. Начинаем с помощью сеток пробивать сразу несколько направлений: парасвободность, единицы в групповых кольцах, асферичность, спектралки, fr-язык, производные пределы, размерные структуры.

Начинаем работать с Ю. из DeepMind. В конце мая находятся симметричные единицы в групповых кольцах – с помощью сат-солверов запущенных на больших кластерах. Полностью новое явление в теории единиц, связь с алгебрами Гекке. Сетки без проблем строят контрпримеры к метабелевым парасвободностям.

Июнь – не получается практически ничего, хотя сетки, агенты, солверы работают круглосуточно. Ни в одном из направлений не происходит прорыва. Исключение – решается открытая проблема Л.Б. о тау-симметричном поднятии единиц. Появляется доказательство того, что Капланский не берется малыми сокращениями (ни обычными, ни громовскими) Солверы находят новые единицы групп без кручения 85 на 85, 29 на 29, и разные экзотичные их симметрии. Ищем Z-подъемы единиц – много промежуточных результатов, но до конца сделать не выходит.

Июль – в начале месяца не получается почти ничего, хотя мы работаем еще интенсивнее. Бьемся как конченные лудоманы, общаясь с сетками до слипающихся глаз, используем все, что можем, объединения агентов, обучения, хитрости – вылезают порой странные вещи. К концу июля начинаются результаты, происходят прорывы во всех направлениях сразу. Решается проблема Хичмана 2000-го года, решается лиев аналог Уайтхеда. Решается ассоциативный аналог Парасвободной Гипотезы – классной моноидной конструкцией. Работаем в основном в sol, проверяем клодом, перестраиваем и подправляем конструкции, направляем дальше. Сетки часто ошибаются, приходится перепроверять десяток раз, корректируя условия.

К концу июля начинаем сотрудничать с AIRI, представляем им девять задач. AIRI помогает понять гомологии лямбды = E^2-лист спектралки до 300-го уровня, их сетки говорят, что для того, чтобы дойти до 600-го нужен миллион лет, а через два часа выдает решение до 1000-го. И это красивые картинки (не могу пока что показывать или анонсировать).

В августе случается дальнейший прорыв, мы только успеваем ловить новые результаты. Результаты в том числе проходят проверку в Lean (код лине занимает десятки тысяч строк). Прорыв в размерных вопросах. Получаются новые результаты в нильпотетной аппроксимируемости. Новые результаты в fr-языке. Как ни странно, fr-язык, казавшийся самым простым направлением для сеток, оказался чуть ли не самым сложным. Ищу подходы к фильтрации спектралки, sol показывает, как стабильно доказать сохранение фильтрации на E^2 с помощью категорий треков (2-категорий с обратимыми 2-стрелками) – это то, что делал Бауэс 20 лет назад. Нестабильно сетка сдается спустя пару недель тупняка. В. и А. пробивают еще пару открытых задач, включая проблему SL_2.

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

В итоге получаются продвижения во всех направлениях, но они касаются задач «средней полосы». Взглянув на результаты из прошлого года, можно поразиться. Это реально круто. Из сегодняшнего дня это выглядит нормальным и техническим. Ни одна из больших проблем пока не взята. Капланский, Уайтхед, Парасвободная гипотеза, Мур, E^2-лист и даже Z-поднятие единиц – все остается открытым. Цель – дойти до предела возможностей. Это как сад, в котором раскрываются все новые цветы. Где-то есть предел, за который пока не пускают. Интересно, до каких оранжерей мы дойдем в конце года. Хочется доиграть до конца, или до своего максимума. Самое интересное начнется чуть позже, когда проявятся объекты иных сборок, до которых человеческие интуиции не доходили. Хочется взглянуть на все это, на методы описания гомотопических групп без диких спектралок, например.

(о некоторых результатах не могу рассказывать до их официального объявления, но там есть угарные штуки, красочный ар-брют)

Есть интересный момент, почти этический. Хотя какая тут этика... но есть чувство, что я имею право заниматься только теми вопросами, которыми занимался раньше, на что отдал десятки лет. И не имею права соваться в чужое. Такой консерватизм. Чувствую, что имею право использовать оракулов только в тех мирах, которые сам развивал годами. – Ни в коем случае не претендую здесь на объективную этичность, это лишь ощущение.
17819456290770568526.jpg1,3 Мб, 960x1379
360 128400
>>29047 (OP)
Самый няшный маняматег. Хотели бы взять ее предел?
361 128401
>>8382
Помню, еще в конце нулевых, когда был школотой, прочитал какую-то популярную статью про искусственный интеллект и какое-то время очень интересовался этой темой. Даже тогда, на элементарном уровне понимания, я уяснил для себя два момента:

1) из всех подходов к созданию ИИ наибольший шанс на успех имеют нейронки - просто потому, что они масштабируются;
2) наличие сознания не является необходимым условием для автоматизации интеллектуальной деятельности - в любой области знания или творчества есть своя "синтаксическая" структура, и если заложить эту структуру в компьютер, можно имитировать разумную деятельность в этой области знания.

Так что в происходящем для меня нет никаких сюрпризов. Вот похвастался своей прозорливостью (впрочем, со временем на изучение ИИ я забил, ну что уж теперь).

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

>>8397

> не все в курсе что там у художников происходит



Если речь о художниках, занимающихся контемпорари артом, а не о 3D дизайнерах, то в обозримом будущем нейронки их не заменят, ибо 1) в контемпорари арте важно иметь свой собственный стиль, на что нейронки еще не способны; 2) банально, толстосумам надо вкладывать деньги в арт-объекты, за которыми стоит художник с именем. Да, уже есть эксперименты с AI генерацией, кто-то тайком будет черпать идеи в диалогах с агентами, но сам институт контемпорари арта я думаю не пострадает.

К слову, авангардные художники и живут по 90+ лет - вот блин чему надо было посвящать жизнь.
362 128402
>>8399

>Есть интересный момент, почти этический. Хотя какая тут этика... но есть чувство, что я имею право заниматься только теми вопросами, которыми занимался раньше, на что отдал десятки лет. И не имею права соваться в чужое. Такой консерватизм. Чувствую, что имею право использовать оракулов только в тех мирах, которые сам развивал годами.



Почитай этот фрагмент внимательней, и подумай, совместима ли даже такая минимальная этичность с высером доказательств 300+ теорем. Может тогда дойдёт, что "луддитов", считающих, что ЛЛМки нихуя не могут и не смогут, почти нет, и проблему люди видят в других вещах.
363 128403
>>8401

>сам институт контемпорари арта я думаю не пострадает.


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

словом, ai хайп это вообще что-то ортогональное этой области, касания никакого

>банально, толстосумам надо вкладывать деньги в арт-объекты, за которыми стоит художник с именем


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

>К слову, авангардные художники и живут по 90+ лет


математики зачастую тоже живут немало, кстати
Byron1813byPhillips.jpg80 Кб, 733x944
364 128404
>>8400
Инопланетная залупа какая то на картинке. Ведь научились к тому времени портреты рисовать нормально. Для сравнения картинка с батей. Но художник так видел значит.
Интересно в контексте ии-шных исполнителей то как машина как фотоаппарат сделает тебе все буква в букву с ожидаемым качеством и не будет у тебя ничего спрашивать зачем тебе это нужно, в то время как мясной художник будет пол-дня ломаться а потом еще понасрет своим виденьем.
365 128405
>>8401

>речь о художниках, занимающихся


>контемпорари артом


Всегда вот эту хуйню про звуки масла вспоминаю:
https://www.youtube.com/shorts/Euc6Z1pYUto
366 128406
>>8399
Лол неужели моей скромной персоне удалось подарвать жопку аж самому Михайлову? Историческая хуйня если так. Может еще Вербит заглянет и напишет чего про рашку порашку или уже про бразильяшку порашку.

Кто такой Сережа я без понятия.

Ну я Рому вспомнил потому что он общеизвестно очень любит все возможные формы различной шизотерии (форма эскапизма же). Пишет про них книги, делает постановки и авторское "кино" снимает. Плюс он вроде как стареющая рок звезда постоянно уходит (и возвращается). Ну или так говорят. Я лично только видел его пространный монолог что их какая то там рабочая группа распалась и все пропало и вообще все эти моменты затеряются как слезы в дожде.
367 128407
>>8406 - главный дебил треда
368 128408
>>8406
Это пост примерно двухмесячной давности из телеги Сергея Иванова
369 128409
>>8404

>Для сравнения картинка с батей


как раз говноговна
370 128410
>>8382
Ну очевидно что математика и computer science постепенно начали приходить в упадок. Во многом из-за того что молодым поколениям оно уже нахуй не всралось.

Ну не заставишь ты школьника в гимназии наяривать какие-то олимпиадные задачи и теоремы, если он наперед будет знать, что всю математику в этом мире делает ИИ, а "люди-математики" только проверяют что там ИИ им написал. Учить математику будет считаться лоховским уделом, только раньше так считалось в мухосранских МОУ СОШ где учился будущий контингент ПТУ и колоний, то теперь аналогичное суждение о математике распространится и на профильные учебные заведения. Поступить на мехмат мгу теперь означает въебать 6 лет жизни в чистое нихуя.

Аналогично не заставишь школьника учить кодинг, писать программы, если он наперед будет знать, что программирование давно умершая профессия и что весь код в этом мире пишут ИИ агенты, а не люди. И поступать на условный ФКН ВШЭ или Физтех станет не круто - так будут только лохи делать.

В целом сейчас происходит смерть интеллектуальных/творческих профессий и человеческий капитал теперь будет перетекать в работы руками, где часто образования вообще никакого не нужно - ящики и кирпичи таскай себе и зп получай. А вот за математику и кодинг, увы, денежки получать больше не получится, а значит падение интереса неминуемо.
371 128411
>>8396
Кто будет выделять деньги на работу над задачами которые уже решены ИИ?

В задаче важно что ее решили, а не то, насколько красиво ее решили. Конечно придумывать красивые решения тоже можно, но для этого нужно чтобы кто-то на это дал денег. А иначе с голодухи помрешь.
372 128412
>>8402

>"луддитов", считающих, что ЛЛМки нихуя не могут и не смогут, почти нет


Таких даже в этом треде несколько штук, глаза разуй. И объективно в их скепсисе даже есть поинт ведь все 700 шизойдных статей никто не осилит. (Похоже даже одну статью никто никак не осилит лол) И все еще нельзя просто написать "зделай мне математику по красоте пиздато" чтобы все само заработало.

>и проблему люди видят в других вещах.


Но в чем ты конечно постеснялся пояснить. Ок.

Матеманьки и этика это вообще смертельный номер. Инициативная группа матеманек хотела чтобы OpenAI попридержало эти 700 статей чтобы сначала они сами все отсмотрели и решили что можно босоногому плебсу показывать а что нет. Хорошо что их на хую повертели.
Этичный Рома вон тоже целый год чего то там пердел в закрытых чатах и сподобился репорт нацедить внезапно. Не от того ли что есть немалая вероятность что все их исследования сольют и так, а через пол-года вообще любая обезьяна с промптом сможет их повторить? Да не, хуйня какая то.
373 128413
Самое интересное в текущей ситуации то, что вне зависимости от дальнейших событий петух-неосилятор останется бессмысленной ботохуетой
374 128414
>>8413

>ботохуетой


Какой собственный недоступный нормальному человеку смысл ты вкладываешь в это слово в данном контексте, баттхерт?
375 128415
>>8402

>проблему люди видят в других вещах


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

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

И с этим ничего не поделать. Не получится так, что одновременно существует ИИ и одновременно с ним наш интеллект находится на уровне хотя бы 2021-2022 годов. Так не получится. Одно вытесняет другое. Или мы или ИИ. Очевидно что ИИ победил, мы проиграли.

Поэтому креативные и интеллектуальные профессии сейчас умирают, и умирают очень быстро.
376 128416
>>8415

>Ну, раньше эти 300 теорем решались бы людьми и им платили за это деньги.


Из эти 300 теорем могло выйти несколько новых или передаться из одной в другую ветви математики методов, мыслей, идей и т.д. А вместо математического прогресса получается хуета. И это если всё там верно.
377 128417
>>8416
А могло и не выйти. И сейчас может выйти. Или не выйти. А прогресс это вообще штука тонкая. Что может быть прогрессивнее волшебной коробки которая отвечает на любо вопрос?
378 128418
The French mathematician Jean-Pierre Serre, an emeritus professor at the Collège de France in Paris — who has won two of math’s top prizes, the Fields Medal and the Abel Prize, and celebrated his 100th birthday last month — was naturally attracted to finding No. 46 in OpenAI’s list, which solves positively a conjecture he made almost 70 years ago.

But Dr. Serre is conflicted about doing math with A.I. He uses the technology for things like references, and, with the help of friends, for chasing down hunches about errors. “Mathematicians take pleasure in doing maths in two different ways: learning and finding new things,” Dr. Serre said. “Hence a conflict: A.I. increases the first pleasure and lowers the second one. The problem is it may lower the pleasure too much; that is especially serious for young mathematicians.”

Взято из статьи [1] (там paywall).

[1]: https://www.nytimes.com/2026/10/08/science/mathematicians-respond-openai-release.html
379 128419
>>8417

>Что может быть прогрессивнее волшебной коробки которая отвечает на любо вопрос?


Волшебная коробка, которая задаёт правильные и нужные вопросы.
380 128420
тревожно друзья.......
381 128421
>>8412

>Но в чем ты конечно постеснялся пояснить


Несколько раз уже сказал.
382 128422
Долбоебы сегодня что ли отмечают день запрета цитат и ссылок или что?
383 128423
>>8418
круто, он ещё живой
и даже вещи какие-то озвучивает разумные
384 128426
>>8395
видео не смотрел

я думюа там он о том что учебник сам по себе мал. он должен идти как дополенение к лекциям. и жел-но лдекциям хорших преподов, кто от лично знают тему и знают ПОВ студента.

зорич сложный для среднего студента. мне кажется, он создавался под тусовочку матшкольников и проч. обычному челу из средней мбоу сош сдавшему рфм на 250 баллов и попавшему на мехмат/физфак условно 2го эшелона(все кроме топ 7 вузов) будет сложно по зоричу идти. у тао вот мне нравится, легко

говорят, самые сложные учебник во франции/италии и азии. там сразу абстракции и общие фунданметальные краеугольные темы, и из них уже очень сложно выводишь сам частные приложения в виде выданных зававальников т.е. problem sets

но в итоге бакалавры пекинского универа умнее магов гарварда, а во франции больеш всего в мире филдсов на душу(но нужно проверть предвзятсть жюри и тусовочки)
385 128427
>>8423

>вещи какие-то озвучивает разумные


То что матеманьки перестанут получать удовольствие? Какой ужас. Ну пусть героин себе начнут колоть. Может его разрешат чтобы матеманькам было не так больно. И почему вообще кому то должно быть не похуй на удовольствие матеманек.
386 128429
>>8427
ты уже утомил верещать по поводу темы, к которой всё равно не имеешь никакого отношения

давай я тебя прямым текстом успокою: профессия математики не умирает и не умрёт. ии не заменит математику. это не тараканство, где ты навайбкодил программу и она (будто бы) работает. в математике результат важен, когда его понимают люди. можно предположить, что ии изменит характер математической работы (он меняет), но вытеснить профессию целиком - нет, этого не будет.
387 128435
>>8429
Нет чмошка это как раз ты несешь полную хуйню. Но ничего удивительного ведь ты всегда только этим и занимаешься.
Ты так и не защитил своего кумира ничего не сказав об удовольствии матеманек и его важности. Ну ладно.

Кодеров как раз ИИ не сможет убрать совсем т.к. вместо программиста на си-шарпе будет просто оператор нейронки. Ведь кому то нужно излагать все хотелки и додумывать как они будут работать. Если ты только не хочешь сделать точную копию чего то один в один (а тебе это никто и не даст). А чтобы внятно излагать отличия как раз пригодится формальный язык, не на естественно языковом двусмысленном говне же изъясняться. И вот мы уже сделали полный круг и кодеры всех переиграли.

>это не тараканство, где ты навайбкодил программу и она (будто бы) работает


>(будто бы)


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

>в математике результат важен, когда его понимают люди.


Доказательство Уайлса много людей понимают от начала до конца? (Эти люди с тобой в одной комнате?) Оно важно или не очень? Если его понимают 0.0001 матеманек которые составляют 0.0001 людей, то наверное не очень важное.

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


Характер работы матеманек и состоит в том чтобы высирать новые доказательства буквально. Если его изменить это уже будут не матеманьки.
Вот были раньше лифтеры которые стояли в лифте и отправляли его на новый этаж. А потом лифты автоматические стали. И теперь лифтер это баба срака которая где то в будке сидит. Ну формально можно сказать лифтеры остались, но только это вообще другие люди и они совсем другим занимаются.
Чем будут заниматься матеманьки когда достаточно нажать одну кнопку чтобы доказать что угодно? Ну может как контемпорари-артисты прибивать себя яйцами к брусчатке или еще какие подобные перформансы устраивать.
388 128436
>>8435
петух-неосилятор, мне непонятно, за что ты так яростно борешься этими обильными простынями. ты всё ещё не можешь смириться с тем, что не осилил базовые учебники? по поводу того, хуйню я написал или нет, давай посмотрим лет через 5, или когда тебе больше нравится

ведь на текущий момент в математическом сообществе совершенно точно ничего не изменилось

>Не видел ни одного примера чтобы человек с нулевым видением того что он хочет и скилами смог бы навайбкодить хоть что то адекватное.


а тут, видимо, я наступил на твою больную тараканью мозоль. извини
image.png484 Кб, 500x586
389 128437
390 128438
>>8435
Краткий пересказ дискуссии выше:

ИИ вместо математики генерирует нечитаемый слоп
ХАХАХА А Чем будут заниматься матеманьки когда достаточно нажать одну кнопку чтобы доказать что угодно? А? А?

ИИ - это навайбкодил программу и она работает
РЯЯЯЯЯЯЯ БЕЗ ПОНИМАНИЯ И ВИДЕНИЯ ОТ ЧЕЛОВЕКА ИИ НЕ СДЕЛАЕТ ЧТО-ТО АДЕКВАТНОЕ ААААА ТАРАКАНСТВО ЭТО ВАЖНО И СЛОЖНО НЕ ТО ЧТО МАНЯМАТИКИ
391 128439
>>8436
Посмотрим. Просто я указываю на твои дебильные ошибки в твоих дебильных высерах прямо здесь и сейчас, но все что ты можешь родить это "сам дурак извини". Ясно.
>>8437
Подсоска на месте, мелкочмошка и подсоска ходят парой.
>>8438
Ты ведь тот самые дебил из треда выше у которого все ии слоп и который про Lean даже и не слышал? Ты бы хотя бы пять минут почитал что да как, про формальную верификацию, про авто-формализацию, перестань уже позориться.
hqCyyF1GpuoVHwZ1D6jfFM1Z5e63sfM25ZJG7fQYWBjSP99d39fq5QBgQxxEoxZtL0Qc2tjNYiC6WsdOTQWZ1eKEnts2Ubah85RuUDT3LRsrZiQ4WSHullehxIJAK3h9.jpeg.jpg17 Кб, 480x371
392 128441
>>8439

>указываю на твои дебильные ошибки


ах вот оно что
393 128442
>>8441

>мелкочмошка скрыла порваный анал под мемцом

394 128443
>>8435

>Характер работы матеманек и состоит в том чтобы высирать новые доказательства буквально.


Нет. А как же создавать теоремы и методы?
395 128444
>>8443
Хуем по лбу. Создание теоремы это и есть высирание ее доказательства по определению. Это называется выдвижение гипотезы то что ты подразумевал. Куда же вы блядь все лезете тупорылые хуесосы.
396 128445
>>8411

>Кто будет выделять деньги на работу над задачами которые уже решены ИИ?


И кто выделял до этого? Прикладного значения абстрактная математика в 95% случаев не имела и до этого. Выделяли деньги для математиков, занимающихся очень далекими от применения абстракциями, чтобы они держались на плаву, просто за их потенциал по сути. Кабанычам прибыль они и до этого не приносили. Почему вдруг выкинут на мороз людей, которых и так за счет бюджета держали как резерв, а не как источник прибыли.
>>8396
Хотя если еще посмотреть, то все-таки значимое отличие от тех же художников есть, это убийство азарта, пожалуй. Желание что-то там доказывать годами снизится, если знаешь, что это уже доказано ИИ.
397 128446
>>8444

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


Нет. В этом контексте лучше не разделять выдвижение гипотезы и её доказательство.
398 128447
>>8446
Лучше чем? Напиши блядь нормально хоть один свой пук.
399 128448
>>8447
А зачем, ты же всё равно не осилишь
400 128449
>>8447

>Лучше чем?


Тем что имеет в себе и доказательство,и само выдвижение гипотезы. А говорилось только! о доказательстве. Не тупи, лень писать и пояснять всё.
401 128450
>>8448
Очевидная проекция тупой хуесоски такая проекция.
402 128451
>>8449
Ладно. У меня тоже есть куча весомых контр-аргументов, но тупо лениво их расписывать. Просто поверь что ты соснул с заглотом как следует.
403 128452
>>8451
Содержимое твоих штанишек можно описать как кучу, но это не контраргументы в полной мере
404 128453
>>8452
Попытаться детально выразить свои аргументы - нет, зато писать тупую хуиту безмозглым уебищам не лень.
405 128463
>>8453
В принципе, справедливо. Для тебя что угодно – тупая хуета именно потому, что ты безмозглое уёбище. Поэтому отвечать тебе смысла мало
406 128464
Почему вопрос финансирования фундаментальной науки вообще так волнует нормисов? Ну доказывают люди теоремы в свое удовольствие, еще и денежку за это получают, это же прекрасно. Если бы я разбогател - все деньги бы отдал в стипендиальные фонды stem-факультетов.
Доля с lifelong налогов отдельно взятого индивида, идущая на финансирование науки - буквально копейки. Зачем эти копейки урезать? Наоборот, надо чтобы другие профессии финансировались по той же схеме, труд вообще упразднить, всех на велфер, желающих трудиться одаривать миллионами. Ну типа счастье всем даром и пусть никто не уйдет обиженным.
407 128466
>>8464

>вообще так волнует нормисов


Меня больше всякие спортсмены и артисты волнуют, вот это говноговна, а не то
мимо нормис
image.png343 Кб, 942x340
408 128471
17771197278920287155s.jpg5 Кб, 150x200
409 128472
>>8464
это коммунизм или сарказм щас был?
410 128473
>>8472
Это. был. СЦИЕНТИЗМ !!!
411 128475
https://arxiv.org/abs/2610.08144
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
Alexander Bastounis, Fabian Circelli, Anders C. Hansen
Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this process, an AI system translates the text from a natural language (NL) into a formal language such as Lean. Once this translation is done, the argument expressed in the formal language can easily be mechanically verified. The purpose of this article is to demonstrate why this process may offer no confidence in the original NL argument, owing to the various difficulties in performing the translation semantically faithfully. In particular, we highlight that the problem of resolving ambiguities in mathematical NL text, which is necessary in order to provide semantically faithful translation, is arbitrarily high up in the Solvability Complexity Index (SCI) hierarchy/arithmetical hierarchy (the SCI =∞). Hence, informally, providing semantically faithful AI autoformalisation is harder than any computational problem including the Halting problem (which has SCI =1). To demonstrate the effect of this result we provide several examples of AI mistranslations of NL statements and proofs into Lean in practice, resulting in mismatches between NL proofs and their Lean `verifications'. These include OpenAI's announced Navier-Stokes proof. In particular, we show that the formalised Lean proof does not correspond to the NL proof of blow-up of solutions to the Navier-Stokes equations.
412 128476
>>8475
Это навет это поклёп
413 128477
>>8475
Чем будут заниматься матеманьки когда достаточно нажать одну кнопку чтобы доказать что угодно? Ну может как контемпорари-артисты прибивать себя яйцами к брусчатке или еще какие подобные перформансы устраивать.
414 128478
>>8477
Когда будет, тогда и приходите
415 128479
>>8477
Подражание лучшая форма лести.
416 128480
>>8479
Ладно. У меня тоже есть куча весомых контр-аргументов, но тупо лениво их расписывать. Просто поверь что ты соснул с заглотом как следует.
417 128481
>>8480
Ты можешь повторять эти слова за мной, но у тебя есть только хуй в рваной жопе.
418 128482
>>8475
Оказывается могут быть расхождения между формализацией и описанием на естественном языке. Вот это открытие! Что теперь, авторы статьи поедут рассказывать это великое открытие по все стране на тед-токах?
Аргументы о невозможности обойти эту трудность подозрительно похожи на "доказательство" того что компы никогда не смогут в математику "ведь теорема Геделя". Но посмотрим. В лучшем случае это означает только то что чтобы сохранить релевантность хотя бы еще на пару лет матеманькам придется забыть про вопли о тараканстве и кинуться изучать Lean. Как это уже сделали в НМУ.
Ору конечно с дебилов в разделе.

Тут кто нибудь в курсе что OpenAI между делом нашла ошибки в нескольких статьях в рецензируемых журналах от мясных матеманек? Ой как неловко.
Если бы такое расхождение нашли в статье мясной матеманьки она бы просто отмахнулась что там опечатка и вообще подразумевалось другое так что все равно save ведь в целом все верно. Или его бы не было потому что матеманька тупо в этом месте оставила все выкладки как упражнение читателю.
419 128483
>>8445
>>8464
Чтобы те кто выделяет деньги матеманькам продолжил это делать им надо ответить на вопрос зачем они это делают (хотя бы перед самим собой). И если любого бомжа с улицы можно посадить чтобы он тыкал в кнопку "доказать теорему" ответить на этот вопрос становится все сложнее.
Думаю есть большая вероятность что в ближайшую пару лет для матеманек придумают какие-нибудь унизительные процедуры. Может обязательное участие в олимпиадах или экзамены раз в год.

>>8464

>Если бы я разбогател - все деньги бы отдал


>Ну типа счастье всем даром и пусть никто не уйдет обиженным.


Я тоже так думаю, поэтому у нас с тобой и не будет никогда нихуя.
420 128484
>>8482

>кинуться изучать Lean


А они его не изучают по дефолту что ли?😱 Еще и калькуляторами наверное не пользуются
421 128486
>>8482

>Оказывается могут быть расхождения между формализацией и описанием на естественном языке


И более того: модели выгоднее делать эти расхождения, потому что всегда легче хакнуть правила чем решать сложную задачу честно
422 128487
>>8484
Сейчас курс идет. Они там три лекции лямбада калькулус на доске мелом выписывают. Я даже думал поугарать с этого немножко, но на четвертой (или третьей) лекции они таки дошли до того чтобы шайтан машину с лином запустить.

>>8486
Чего пидорас несет...
423 128488
>>8487
Ты ведь тот самые дебил из треда выше у которого все ии слоп и который про Lean даже и не слышал? Ты бы хотя бы пять минут почитал что да как, про формальную верификацию, про авто-формализацию, перестань уже позориться.
424 128489
>>8488
Лол ясно ты тот самый долбоеб который все таки пять минут почитал, все "понял" и теперь хуйню несет. Я так сразу и подумал.
425 128490
>>8475
Кстати, здесь кто нибудь слышал про Solvability Complexity Index (SCI) hierarchy?
Внезапно неведомая залупа придуманная одним из авторов этой самой статьи. Вот это поворот.
426 128491
>>8489
Ты с кем вообще разговаривашь? Если ты про это >>8486
то это к формализации и авто-верификации самой по себе не имеет отношения, это общая проблема ml моделей, особенно в rl
427 128492
>>8491
Тут бегает один типа потешный траль.

>проблема авто-верификации не имеет отношения к авто-верификации


Ты можешь понятнее изъясняться?
428 128495
Ничего себе петуху сраку разнесло, вся доска в перьях. А что случилось?
429 128496
>>8495
Возможно это не один человек. ЛЛМ неиронично перевернули стол математики и порвались все. Может не только неосилятор не выдержал натиск, коллеги тоже много кто реагирует рьяно.
Screenshot-253.png1,3 Мб, 1920x1080
430 128498
>>8496
Лол представил как на всех мат кафедрах достали запасы водовки и квасят теперь не просыхая.
431 128499
>>8498
На нашей такого нет все-таки. Но я начал гриндить пруфы нейронкой и lean, а другой коллега начал под пиво через тупо чат писать прикладную статью не притрагиваясь к математике.
432 128504
>>8496

>ЛЛМ неиронично перевернули стол математики и порвались все



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

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

Теперь вся математика буквально умерла, потому что процесс решения навсегда отдан в ИИ, а все что остается делать математикам - это проверять конечный результат работы ИИ. То есть просто быть рецензентом того что выдал ИИ. Иначе никак. Такой процесс не нравится молодым поколениям математиков, это просто выглядит как некое лоховское и зашкварное занятие. Типа вместо того, чтобы решить задачу самому, ты ее с решебника списал. Ну вот так оно теперь работает, есть решебник в виде ИИ, из которого надо вымучать решение и потом проверить что оно верное. А не самому решать. Самому решать это долго и непродуктивно, ИИ быстрый и продуктивный.

В целом математика мертва.
433 128505
>>8504

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


Как сказать, что ты не знаешь в математике, не говоря, что ты ничего не знаешь математике
434 128510
>>8505
на примере опенаи мы видим что это именно так. там тупо многие задачи сгрузили и нейронка их одним промптом решила.

назвать это процессом решения с участием человека нельзя, там человек почти никак не участвовал.
435 128511
>>8510

>на примере опенаи мы видим что это именно так. >нейронка их одним промптом решила


- мы не видим: это было сделано на внутренней модели, промты не раскрывались
- на текущий момент неизвестно точно, что именно она там решила
- математика это не только решение каких-то заданных задач
436 128520
>>8511
Коупа навалял. А что за тупое говно утверждало

> математика это и есть решение задач


не ты? Как же ты неосиляторов без задач будешь вычислять, чмонь?
437 128522
>>8520
петух-неосилятор, ты дебил
438 128523
>>8511

>математика это не только решение каких-то заданных задач



сейчас математика это проверка нейровысера который сделала нейронка. вот и все. ни больше, ни меньше. именно вымучать решение из ИИ и потом проверить его. и опционально осознать. Вот что значит математика сегодня.
439 128524
>>29047 (OP)
Коль ИИ все порешало, предлагаю крутануть Голландский Штурвал!
440 128525
>>8522

> как же тупое говно корежит

441 128526
>>8523

>сейчас математика это проверка нейровысера который сделала нейронка.


сразу видно работающего математика эксперта в своей области
442 128527
>>8526
https://arxiv.org/pdf/2609.37562
Рома Михайлов вернулся в матешу и вовсю нейронки дрочит, он по твоему хуевый математик?
443 128528
>>8406
Вот это ты дурачок, конечно, стыдно читать, лучше попроси модератора удалить пост.
444 128529
>>8527
покажи пальцем, где Рома Михайлов утверждает, что

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



спрашиваю, потому что в тексте по твоей ссылке касательно использования ai написано немного другое
telegram-cloud-photo-size-2-5370636306645459281-y.jpg133 Кб, 1200x764
445 128531
446 128532
>>8531

>Unreasonable complaint imo. Wow mathematics is ungrounded from physical reality? This has really torn the foundations out from under me — I always hoped my work in arithmetic geometry might cure cancer someday.



>It's not a "failure of the culture" that the complexity theorists care more about the asymptotic behaviour than numerical improvements. Were it otherwise they ought to drop out of academia and become consultants for Google or something. You're more or less just arguing against the study of abstract objects in general.



>Is this the best defence we can mount of our discipline? Complaints about practicality, of all things? (Mathematicians begging for mercy on the grounds of applicability to the real world — we really are fucked).



Ну вот этот ответ по делу. Зачем нужно было выплескивать фрустрацию к ИИ через претензии к непрактичности ИИшного результата, если такие же претензии можно предъявить человеческим теоретикам?
447 128533
>>8532
Это фрустрация не по отношению к ИИ per se, а по отношению к реакции на такие результаты. Практичность сама по себе здесь не особенно важна. Прямая утилитарная ценность теории гомотопий, например, довольно сомнительная, но из неё можно получать результаты, которые качественно меняют что-то в смежных областях. Что меняет качественно этот результат? Хз, вроде ничего, это больше всего похоже на рекалибровки в физике. Гавно хуита плохо зделано тупо
448 128534
>>8533
Меняет то, что теперь деньги на решение этих задач больше выделять не будут. Они уже решены. А значит люди над ними работать уже не станут. А значит вот те самые полезные побочные эффекты, которые получаются в процессе решения задачи человеком, теперь будут отсутствовать и уже никогда не возникнут. Такие дела.

Математика мертва.
449 128535
>>8534
Для меня это выглядит скорее как то, что математики превращаются в физиков экспериментаторов. Те тоже сидят у одной такой в мире установки класса мегасаенс, и тупо интерпретируют ее результаты. Математики теперь будут не сами тексты писать и думать над проблемой, а вычитывать и направлять слопмашину. Ну и видимо гранты будут уходить на оплату подписок и токенов...
450 128536
>>8534

>деньги на решение этих задач больше выделять не будут.


инсайд из рффи? или из института клэя?
451 128537
>>8534

>Меняет то, что теперь деньги на решение этих задач больше выделять не будут


Если ты сказал, тогда ладно
452 128538
>>8535

>превращаются в физиков экспериментаторов. Те тоже сидят у одной такой в мире установки класса мегасаенс


Физика уже лет 80 мертва, как этих самых эксперементаторов заменили теоретики.
453 128539
>>8538

>Физика уже лет 80 мертва


Охуеть просто. Чёрные дыры, гравитационные волны, бозон Хиггса - физика мертва.
454 128540
>>8539

>Чёрные дыры, гравитационные волны, бозон Хиггса - физика мертва


Манятеории кукаретиков, у них уже 350+ элементарных частиц напридумано, а КПД ДВС на динозаврах все еще 30%, среду распространения электромагнитных волн вовсе стараются не упоминать. Вот пилить гранты на всякой хуйне, это да, они мастера.
455 128541
>>8540
Закрой свой ёбаный рот, 80 лет назад даже лазеров не было. Куда ты лезешь, хуесосина
456 128542
>>8540

>КПД ДВС на динозаврах все еще 30%


Так-то сейчас уже 50-70% вроде. Лень гуглить.
457 128543
>>8541
На хуй мне твой лазер, уебок?
458 128544
>>8542
не
459 128545
>>8544
Я вот специально для тебя загуглил: 50-55%. Хули ты пиздишь?
460 128546
>>8545
что ты там нагуглил?
461 128547
>>8543
Чтобы лучше видеть что ты петух
462 128548
>>8547
В глаз себе посвети
463 128549
464 128551
"Возникает некоторое злорадство: математики по отношению к AI сейчас ровно в том же положении, в каком я по отношению к математикам.) Не объясняете, как что-то придумали? Пишете покороче, а не попонятнее? Не объясняете, зачем каждый кусок доказательства необходим, если он в самом деле необходим? Получите AI, который относится к вам ровно так же!"
465 128555
Представим внезапно из ниоткуда появился миллион Гротендиков и они порешали все открытые задачи... Что дальше?
466 128558
>>8555
дальше их всех заставим писать тот самый учебник математики т.е. такой, который одобрит петух-неосилятор. не факт, что у них получится, тут миллиона Гротендиков может не хватить
467 128559
>>7741 (Del)

>Можно подробнее, что такое дискретная математика?


Раздел математики, который работает с разделяемыми явлениями (как правило и с целыми величинами) в противопоставление непрерывным (математический анализ в бесконечно малых).
468 128560
>>8558
Сколько нужно Гротендиков чтобы порвать очко мелкочмошке?
Нисколько - оно у него и так уже давно разодрано в лоскуты и уже никогда не заживет.
469 128561
Ох уж эти в жопу ебаные математики
470 128562
>>8555
Гротендиики не задачи решают, а теории создают. Ты не шаришь.
471 128563
>>8561
В жопу ёбаный ты, бедолага
472 128566
>>8563
Любишь пердеть?
473 128569
>>8566
Газонюх в треде, все на верхние ярусы!
474 128573
>>8569

>пук

475 128580
>>8573
нюх
TuringMachineFormalDefinition.png1 Кб, 179x26
476 128583
Вот формальное опеделение машины Тьюринга с вики.
Как называется в математике операция, которая тут обозначена треугольными скобками(или ими со знаком равенства) ? Вообще какие принятые семантики у треугольных скобок которые на пике ?
Взято отсюда:
https://en.wikipedia.org/wiki/Turing_machine
477 128584
>>8583
здесь: упорядоченный набор элементов, перечисленных внутри скобок
Screenshot20261021-135359.jpg239 Кб, 720x1462
478 128587
>>8583
Это рофлс? Там же дальше всё расписано. Вообще, так алгебраические структуры определяют; сначала носитель, потом сигнатура
479 128588
>>8587

>потом сигнатура


Sign - знак. Обозначение.
480 128589
>>8588
К чему это было вообще, знакомые буквы увидел?
481 128594
>>8583

>машины Тьюринга


Это когда Белоснежку ебут в жопу?
482 128595
Как же мне лень все учить и решать, что с вами не так, откуда у вас силы?
IMG20261021231921757.jpg27 Кб, 1113x213
483 128597
Некоторый там Рома на связи, я в ахуе чесгря
484 128598
>>8589
К отсутствию понимания.
485 128599
Написано в 2021 году.

https://t.me/mixail_kain/1751

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

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

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

Я думаю, что в ближайшие несколько десятилетий благодаря механизации математики некоторых лауреатов крупных математических премий признают, нет, не шарлатанами (зачем так оскорблять уважаемых людей, да еще с высокими градусами), а кем-то вроде злостных неплательщиков налогов. В тюрьму их, конечно не посадят, а просто заставят выплатить их долг с процентами. Например, их ученикам придется стать самыми ярыми механизаторами математики, чтобы другим был ПРИМЕР."
486 128600
Как научиться решать такие задачи? Какой это вообще раздел математики?

В шахматном турнире на кубок города участвовали мальчики и девочки из школ города. Каждый игрок играл с каждым по одной партии, за победу давалось 1 очко, за ничью – 0,5, за поражение – 0. По окончании турнира оказалось, что каждый участник набрал ровно половину своих очков в матчах с мальчиками. Докажите, что количество участников турнира является квадратом целого числа.
487 128601
>>8600
Это комбинаторика
488 128603
>>8600
В олимпиадной математике такие задачи определяют в отдельную категорию "турниры и турнирные таблицы" поищи листки маткружков по теме
489 128604
Насколько понимание математики определено генами? Правда ли, что я не смогу прыгнуть выше планки, на которой нахожусь сейчас? Ответьте мне. Я уже устал.
490 128605
>>8604
выше сможешь, другой вопрос - насколько и с каким трудом
491 128606
>>8600
Раздел олимпиадная математика. Там они внутри на микротемы делятся. Научиться легко, нужно просто их нарешать дохуиющу.
492 128608
>>29047 (OP)
Начал вкат с Бугульмы
493 128619
Прогресс в P != NP задаче. Разумеется сделанный ИИ.

https://www.reddit.com/r/computerscience/comments/1xgbivj/openai_releases_paper_claim_exponential_time/
494 128620
>>8619
Почему вы так не можете, а, математики?
495 128622
>>8620
Потому что я тупой и трачу больше времени на дрочку чем на математику.
496 128623
>>8620
Баззард с соратниками несколько лет подбирал "правильное" определение многообразия.

>It took us YEARS to get the definition of a manifold

Screenshot-1187.png165 Кб, 874x497
497 128624
Такая годнота, решил сам пересмотреть, раз никто не хочет.

Kevin Buzzard: What goes into Formalizing Fermat?
https://www.youtube.com/watch?v=H2O3d7KNy-A

> autoformalization won't help



Buzzard оказывается ученик Taylor'а который ученик Wiles'a. Вот это поворот, анону любителю покричать про лунопопиков должен понравиться.

2026 год - Lean выпустил 4 версию но все еще не обещает обратной совместимости и регулярно ломает доказанные теоремы.

Никто не обещает полную формализацию.

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

30 минута -

> probably use AI to make blueprint soft better


интересно как успехи у Баззарда хотя бы с вайбкодингом.

Главный всея формализатор

> haven't been writing lean whole year


Еще есть вопросы о скорости прогресса?
498 128634
>>8338
Уметь в лин идиотский скилл. Все эти проверщики теорем особо не взлетали по одной простой причине. Слишком. Дохуя. Кода. Сложные теоремы это миллионы и десятки миллионов строк.
Раньше была идея, что математики что-то важное, не всё подряд, доказывают, а писанину кода отдают либо студентам, либо comp-sci студентам, либо ещё кому-то. Потому и игрались с ними только суперзвезды типа Тао, потому что у него были отряды лунопопиков на которых он мог скинуть генерацию кода. И так же поэтому насчет нейросетей изначально было воодушевление, потому что они могли бы "компилировать" человеконаписанные пруфы в код автоматически. Никто и предположить не мог, что в итоге ботохуета окажется способной и пруфы генерировать. Причём забавно, тот же Тао восхищался ботохуетой, пока она пруфала вещи ниже его уровня, олимпиады там решала например. Но как только она достигла его уровня, то он сразу впал в уныние и коупит как дальше жить. Причем коупинг не отличается от коупинга софтдевов, что-то вроде да мы будем дальше архитектуру строить, задачи ставить, а ботохуета возьмёт рутинную работу. Но вот только многим эта рутинная работа и нравилась. Большинству просто нравилось решать задачи, а не двигать математику вперед и подобное.
i.webp23 Кб, 480x320
499 128635
Я не просил себя рожать - нахуй меня рожали?

Есть бабы - все из себя красивые и успешные, но без детей, хули я у них не родился?

Если баба вся из себя красивая и успешная, но не хочет в 35+ быть замужем и рожать то можно ли это считать потенциально убийством детей? У нее для этого все было, но она хотела кайфовать и жить для себя, хотя ей ничего не стоило родить хотя бы одного ребенка.
kmlk.PNG726 Кб, 1750x433
500 128636
Меня больше вдохновляет Оригинальный Спадермен где он зелёному гоблину что у себя на заводе майдан устроил, дал русских пиздюлей пока тот не сдох от своего же гоблин дрона пытаясь надуть Спайдермене с перемирием
68a29ebf2125531ac565336e887fa2d94f8361aabc22fcee5d8265b5a3573091.jpg96 Кб, 342x482
501 128637
РебЯта го в трон Тьмы по хомачи))))
Обновить тред
Двач.hk не отвечает.
Вы видите копию треда, сохраненную в 08:52.

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

Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
« /math/В начало тредаВеб-версияНастройки
/a//b//mu//s//vg/Все доски