vak: (Default)
[personal profile] vak
На простых логических задачках искусственный интеллект ведёт себя как умный младшеклассник. То есть даёт правильный ответ, но предпочитает частное решение в числах, и забывает объяснить.

Запрос:
Can you please explain how to solve the following mathematical problem. Need to split some integer number into two parts. First part is even. Second part is a multiple of 3.
Ответ:
Let's say we need to split the number 17 into two parts.

The first part must be an even number and the second part must be a multiple of 3.

We can split 17 into 8 (an even number) and 9 (a multiple of 3).

Therefore, the two parts are 8 and 9.

Date: 2022-12-09 21:40 (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi

Не обучен диофантовым уравнениям. Откуда он возьмет-то это все? Будет умнее древних греков? Неочевидно пока что. Это ж надо изобрести.

Date: 2022-12-09 22:08 (UTC)
kondybas: (Default)
From: [personal profile] kondybas
Нужно, значить, от частного к общему. Абстрагироваться, так сказать, из конкретных цифр в обобщенные переменные. Это ему нужно долбицу умножения превзойти, чтоб уловить сходство решения при различных входящих.

Пороть надо, я считаю.

Date: 2022-12-09 23:24 (UTC)
spamsink: (Default)
From: [personal profile] spamsink
Да, шитое белыми нитками нужно сначала пороть, а потом сшивать как следует, но пока достаточно квалифицированных портных нет.

Date: 2022-12-09 23:40 (UTC)
kondybas: (Default)
From: [personal profile] kondybas
ПС 13:25 Кто жалеет розги своей, тот ненавидит сына; а кто любит, тот с детства наказывает его.

Date: 2022-12-10 01:06 (UTC)
spamsink: (Default)
From: [personal profile] spamsink
Я знаю, я просто пошутил.

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

Date: 2022-12-10 01:15 (UTC)
kondybas: (Default)
From: [personal profile] kondybas
Меня пугает то, что для цифровых розог нужна цифровая жопа, и о ней пока никто даже полсловом не обмолвился. Власти скрывают...

Date: 2022-12-09 23:46 (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi

Мы ж и в реале немало такого народу встречаем.

Как сказал мне один доктор философских наук (не в смысле PhD, а настоящий, из Института Философии АН СССР), "топос - это же странный аттрактор".

Edited Date: 2022-12-09 23:47 (UTC)

Date: 2022-12-10 00:20 (UTC)
kondybas: (Default)
From: [personal profile] kondybas
Я как-то поделился с товарищем восторгом от задачки - найти радиус шара при помощи циркуля и линейки. А он моего восторга не понял - мол, взять да штангелем и померить, в чем проблема? Пичялька.

Date: 2022-12-10 00:26 (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi

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

Date: 2022-12-10 01:22 (UTC)
perdakot: (Default)
From: [personal profile] perdakot
А спросить его про четырехмерный шар.

Так двумерный штангель.

Date: 2022-12-10 01:30 (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi

Но для трехмерного годится?

Date: 2022-12-10 10:38 (UTC)
kondybas: (Default)
From: [personal profile] kondybas
Не факт, что секундомер. Во всяком случае, на плоскости xt можно и циркулем орудовать.

Date: 2022-12-10 13:17 (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi

Да конечно. (Я еще эту задачку не решил, но наслаждаюсь.)

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

Date: 2022-12-10 17:27 (UTC)
kondybas: (Default)
From: [personal profile] kondybas
Так это... Если расстояние между центрами окружностей меньше суммы радиусов - две точки пересечения. Равно - одна. Больше - ни одной. Это из построения треугольников по сторонам.

Date: 2022-12-10 17:35 (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi

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

Date: 2022-12-10 18:15 (UTC)
kondybas: (Default)
From: [personal profile] kondybas
Ну, да, как-то так. В построениях мы не ищем эту единственную точку, принадлежащую сразу двум геометрическим местам, мы в нее циркулем тычем без промаха.

Вероятно, потому, что "геометрические места" - не множества в смысле теории множеств.

Date: 2022-12-10 00:31 (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi

Кстати, задачка, сегодня какой-то ИИ на твитере подкинул.

010101(1/(1+x2+y2+z2)2) dx dy dz = π2/32

Edited Date: 2022-12-10 00:31 (UTC)

Date: 2022-12-10 01:18 (UTC)
kondybas: (Default)
From: [personal profile] kondybas
Не усну теперь, пока эту поверхность не представлю в уме...

Date: 2022-12-10 18:36 (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi

Подсказка. Использовать гамма-функцию в подстановке.

Date: 2022-12-10 03:51 (UTC)
malyj_gorgan: (Default)
From: [personal profile] malyj_gorgan
А який циркуль? Ну, відносно розміру кулі порівняний/більший, чи менший? (Я ще не знаю, чи це важливо, просто, пробую вирішити, з якого боку почати про це думати.)

Date: 2022-12-10 09:54 (UTC)
kondybas: (Default)
From: [personal profile] kondybas
Це абстрактний циркуль, ніжки якого можуть бути встановлені на будь які дві точки у просторі. Інша властивість цього абстрактного циркуля - здатність зберігати встановлену відстань при малюванні дуг кол цього радіусу до перенастроювання на відстань між двома іншими точками.

Це окремий клас задач з геометрії, незаслужено обійдений увагою в шкільній програмі. Бо ж метою вивчення геометрії є не картографія чи архітектура, а засвоєння навички логічного мислення. Власне, геометрія - єдиний шкільний предмет, що навчає логічному мисленню, і задачки на побудову циркулем та лінійкою в цьому найкращі.

Date: 2022-12-10 17:46 (UTC)
malyj_gorgan: (Default)
From: [personal profile] malyj_gorgan
Дякую. Нє, про циркуль і лінійку взагалі я в курсі (І плюсодин судженню про геометрію, і в розпачі від шкільної програми каліфорнійської школи, куди ходять мої діти, бо там геометрії як послідовної дисципліни нема взагалі, навіть наш підручник Поґорєлова, одна книжечка на 6-10 класи, тут би було за щастя пройти).
Але з циркульолінійними задачками я стикався лише в рамках мінімальних доз шкільної програми, відповідно, лише в планіметріі, тримірність в цьому ділі -- щось нове і дуже цікаве. Тому і уточнюю далі, що ж там можна зробити.
Відповідно, в рамках цеї задачки:
1. Я правильно розумію, що "знайти радіус" = "розвести ніжки циркуля на ширину одного радіуса і сказати 'Во!'" ?
2. Оскільки "лінійка" як "пряма" для кулі смислу не має, я бачу лише два можливих розширення процесу:
(а) у нас, крім кулі, є ще збоку і площина, де ми можемо робити стандарнті побудови, ну, там, подвоїти або потроїти відстань, або розполовинити, таке.
(б) "лінійка" на кулі дає можливість будувати геодезичну лінію між двома точками
Що у нас справедливо, (а) чи (б)? Чи, може, і те, і друге? Чи, не дай бог, ні те, ні друге? Нащо тоді лінійка?
3. Чи "дозволено" нам вважати, що за допомогою абстрактного циркуля ми можемо автоматично
(а) зазначити протилежні полюси кулі?
(б) намалювати екватор?
Було б до холєри зручно :)
(
Edited Date: 2022-12-10 17:47 (UTC)

Date: 2022-12-10 18:21 (UTC)
kondybas: (Default)
From: [personal profile] kondybas
1. Я правильно розумію, що "знайти радіус" = "розвести ніжки циркуля на ширину одного радіуса і сказати 'Во!'" ?

Або побудувати дві точки і сказати: відстань між ними тотожня отому радіусу.

2. Оскільки "лінійка" як "пряма" для кулі смислу не має, я бачу лише два можливих розширення процесу:
(а) у нас, крім кулі, є ще збоку і площина, де ми можемо робити стандарнті побудови, ну, там, подвоїти або потроїти відстань, або розполовинити, таке.


Саме так. В планіметричних задачах на побудову в нас завжди є площина, в якій знаходяться вихідні об'єкти. В цій задачі ми маємо право скористатися допоміжною площиною для побудов.

3. Чи "дозволено" нам вважати, що за допомогою абстрактного циркуля ми можемо автоматично
(а) зазначити протилежні полюси кулі?
(б) намалювати екватор?
Було б до холєри зручно :)


Нє, то вже чітерство.

Date: 2022-12-11 02:07 (UTC)
malyj_gorgan: (Default)
From: [personal profile] malyj_gorgan
Ага, дякую.
Перепрошую за занудство (то не занудство, то я не можу придумати, з чого почати), я ще раз підтверджу, що, виходить, єдиною лінією, яку ми можемо проводити на сфері, буде лише циркульна лінія того радіусу, який на циркулі виставлено, а до геодезичних ліній зась?

Сайт з задачками я побачив, але комп'ютерні ігри то не моє, не розібрався навіть з тим, як саме submit'нути розв'язок найпершої задачі.

Date: 2022-12-10 16:26 (UTC)
tiresome_cat: (SmilingCat_2)
From: [personal profile] tiresome_cat
Ашотакое? Вот я тоже не люблю абстрактных задач и обожаю численные методы решения.


Date: 2022-12-10 19:10 (UTC)
tiresome_cat: (SmilingCat_2)
From: [personal profile] tiresome_cat
Да, его можно смело зачислять в рядовые обыватели :)