>>4877263
А почему фон чёрный?

>>4877264
Ну это я дофантозировал, цвета той точки откуда взгляд :з

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

>>4877421
Есть алгоритм Тарского. Он:

1. Работает только на вещественных числах (не больше - не меньше)
2. Только в логике первого порядка
3. Дважды экспоненциален по времени от длины формулы.

В общем случае ML невозможен, потому что:

1. Некоторые доказательства строятся через новые теоремы а то и новый мат. апаррат
2. Никто не в курсе, как оценивать эвристику, а значит и решать задачу на оптимизацию

Полный перебор недееспособен по очевидным причинам.

>>4877421
Нет ещё даже нормального языка программирования, чтобы записывать достаточно сложные (особено геометрические) теоремы, не говоря уже об автоматическом доказательстве.

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

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

>>4877423

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

А что именно мешает нейросети придумать и доказать эти теоремы и изобрести новый мат. аппарат?

>Никто не в курсе, как оценивать эвристику, а значит и решать задачу на оптимизацию

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

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

>>4877432

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

Проблема остановки и комбинаторная сложность.

>Наверняка этот процесс рассуждений в мозгу у человека можно перенести и в ML.

В ML не переносят, в ML берут пяток моделей, два года крутят параметры а потом говорят "этот классификатор лучше". А потом собак в людях находят. ML не про формулирование принципов, а про подбор.

как доказать равенство функций x/abs(x), x^3/abs(x)^3, x^5/abs(x)^5 x^7/abs(x)^7 ... ?
да и вообще, как доказать что если любые функции f(x), которые определены для всех x, и для x < 0 они всегда отрицательны, а для x > 0 всегда положительны, а в x=0 они 0, то f(x)/abs(f(x)) это то же самое?
Это как функция Хевисайда получается, только надо на 2 поделить и прибавить 0.5. Или signum-функция

>>4877631
x^2 = |x|^2

>то f(x)/abs(f(x)) это то же самое

То есть, единица. Раскрываешь модуль как составную функцию, делишь на каждом отрезке, получаешь составную функцию из -1 и 1. Конец.

>>>>>> >>4817586

Уильям Тёрнер, Sparth, Ian McQue, 0_8, Рикардо Нипа.

Раз такое дело, то ищу этого художника.

https://iichan.hk/b/res/3510048.html

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

>>4877490
Fan no Hitori, хататер, маджипан (давненько уже я его работ здесь не видел).

>>4877490
ЛАЭ-кун, например.

>>4877490
Айвазовский.

>>4877566
Всегда хотел рисовать как Малевич.

Златковский.

>>4877490
https://www.pixiv.net/member.php?id=1616936
https://www.pixiv.net/member.php?id=3104565
https://www.pixiv.net/member.php?id=16565963
https://www.pixiv.net/member.php?id=124923
https://www.pixiv.net/member.php?id=1893126
https://www.pixiv.net/member.php?id=5294603

Это те, которых сразу упомянуть хочется. Остальных лень.

Да-с, действительно. Яцек Йерка.

Сражались они день два, а то три.
И в кровавом тумане затмились солнца лучи
Под горн Олифанта, средь Ронсеваля лугов,
Из Франкских земель скакал он с миледи своей

К кровавым устам Ролланд горн прислонил
И на последнем издохе клич Олифанта три дня землю и горы разил
Под горн Олифанта, средь Ронсеваля лугов,
Из Франкских земель скакал он с миледи своей

На восток и дальше на севере
Земли русов, Новгород град
Земли русов, Новгород град
Где княжил великий Ярослав

Где княжил великий Ярослав,
В крепости Альманрик он жил
И Эллисив там была
Одна из пяти дочерей вождя

Княжна Эллисив то была
Отец её Ярослав
Суженный Гарольд
Из норвежских земель

>>4877296

> Где княжил великий Ярослав

А из Франкских земель с миледи не скакал..

>>4877296

> Эллисив

Харольд сватался к Елизавете (Олисаве), получил отказ, так как был недостаточно богат и знатен. Уехал в Византию, писал о ней стихи, много воевал, вернулся знаменитым и женился. Прекрасная история любви.
Смотрю я Харольд в 1034 году поступил на службу в Византии.
Елизавета Ярославна 1025-2066 впрочем в другом месте 1022

Крестьянин шел, напевая романс:
Плохо вам пришлось, французы,
В Ронсевальском славном деле.

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

>>4877046
Всё что надо кто-то сохранит. А если тред хочешь удалять, то лучше не создавай вообще.

Как там этот поляк писал, что всю литературу, созданную в XX веке надо спалить и наказывать писак. А в сети и ничего сжигать не надо. Тонны паст с беончика, неактуальной более пропаганды про то, с кем всегда воевала Океания, мусорных видео и поделий на юнити канут в лету, так и не обрет воплощения в материальном мире, которое еще сжигать надо. Это прекрасно.

>>4877049
С.Лем?

>>4877052
А может и Ежи Лец. Я их путаю. Или вообще Сенкевич с Сапоговским. Там, короче книги была про какого-то немецкого профессора, который этот доклад готовил, а потом сам и перевел и вот уже в его уста все это вкладывалось.

>>4877047
Фигня в том, что вот прямо на днях одного человека забанили за содержимое им же удаленного поста. Т.е. он подумал над своим поведением, снес свою писанину, а потом Ремилий его приложил молотком, сказав, что это отягчающее обстоятельство.
Я вырываю ситуацию из контекста, конечно, ибо забаненный болен душевно и это личное дело Ремилия, кого там банить, но сам прецедент таки есть и он рядом с вами.

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

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

>>4877046
Не знаю кто такой Ремилий, но позиция "запощеное в интернет обратно не респосщивается" абсолютно правильная.

>>4877065
Если правильно помню, тот тип у Ремилия уже наработал на пермабан, а потом его разбанили при условии, что он больше безобразить не будет. А когда он начал безобразить, сразу забанить обратно забыли.

https://m.youtube.com/watch?v=vfbOtkvXCbU

У меня тоже ерунда какая-то творится в жизни. Эх, переживём.

Скрепи сердце и напиши текст заново!

>>4877229
Скакал он с миледи своей.

Ты где и за сколько сырночку такую купил? Я тоже хочу.

>>4877229
Что на картинке происходит???
Я долго разглядывал. Так и не смог до конца понять

>>4877477
Сырно гуляла по Африке и на нее напал рак. Не ходите дети в Африку гулять!

ОП-пик — это фотошоп? Или такой странный пейзаж действительно существует, и композиция из Сырны и членистоногого реально сфотографирована на его фоне?

>>4877491
Этой картинке сто лет. Да, такие кусты действительно существуют.

>>4877488
Рак сварен, Сырно ликует.

>>4863335
А ведь это реальная сцена из нон нон бьёри, с таким же смыслом, как и тред. Кстати, не понятно, какие же у Комари-чан были действия?

>>4864042

>Просыпаешься и видишь это.
>Твои действия?

Включаю эту музыку
https://www.youtube.com/watch?v=XUhVCoTsBaM

Просыпаешься и видишь пикрелейтед. Твои действия?

>>4864087
Вопрошаю: "Доброй ночи, сударыня, а вы, собственно, какими судьбами здесь очутились?"

>>4864042
Иду в крестовый поход против ДИО!

>>4864087
Она здесь обнять хочет? Или нацепить мешок и в ад отправить?

>>4863335

> - Ну ты и соня! Тебя даже вчерашний шторм не разбудил. Говорят, мы уже приплыли в Морровинд. Нас выпустят, это точно, нянпасу!

>>4864006
Разрываюсь пополам.

>>4864051
Кого анализируешь?

>>4876761
Она здесь хочет.

Как перестать находить упоминания себя в подобных тредах?

>>4876027
человеку н-нужно в исекай, десу.

>>4876869
Зачем?

>>4876016
Его все равно на что-то тратить придется. Невозможно беспрерывно заниматься "поднятием".

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

>>4876974
Успешные бизнесмены на Ычане! Сколько миллионов в месяц гребёшь?

>>4876978
Был бы он бизнесменом, то он тратил бы явно не 4 часа в день.

>>4876987
А что бизнесмен делает весь день?

>>4877124
Много говорит по телефону, ездит туда-сюда и подписывает какие-то бумажки и выглядит на 5-10 лет старше своего возраста.
По крайней мере такое впечатление создают у меня все "бизнессмены", которых я знаю или знал.

>>4877126
Ну, тут из работы только принятие решений.

>>4876194
Некоторые и со 100к поселки, а этот 10к и город. Как так?

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

>>4876301
Не знаю как, но официально городом именуется.

>Высоцк 1244
>Чекалин 994

Вроде все в Гугле есть.

>Иннополис 96

Частично есть в Яндексе.

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

>>4876310
И вообще:
https://ru.wikipedia.org/wiki/Список_городов_России
Там за сотню городов с населением меньше десяти тысяч. Наверняка многие есть в панорамах.

>>4876190
Крижопіль.
Правда не знаю есть ли он в картах.

>>4876301

>Некоторые и со 100к поселки

https://ru.wikipedia.org/wiki/Список_сельских_населённых_пунктов_России_с_населением_более_10_тысяч_жителей
Самый большой посёлок имеет 44к.
>>4876300
Гугл карты спокойно ездят по сёлам. Почему их может не оказаться в городе?

>>4876300
Город наоборот может обладать такой важностью, что никому не дадут его отпанорамить.

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