Верификация доказательсва Великой теоремы Ферма международной системой Coq

Автор темы greg71 
ОбъявленияПоследний пост
ОбъявлениеРаботодателям и кадровым агентствам: Размещение вакансий26.03.2008 03:07
ОбъявлениеОткрыта свободная публикация вакансий для математиков26.09.2019 16:34
ОбъявлениеКниги по математике и экономике в добрые руки!10.08.2023 09:45
Форумы Список тем Новая тема
29.12.2025 06:07
r-aax
.
...только злоупотребляет нейросетями.
Одного нейросетевого зомби мы тут уже наблюдаем)
Ответить Цитировать
29.12.2025 13:30
sergeyklykov
Главное не переходить грань.
Главное не переходить грань. Важно научиться отслеживать патологию... Стык множества областей. Формально патология ещё только разрабатывается, с одной стороны. С другой стороны, ИИ тоже "набирает" обороты и, в связи с этим, отыскивая патологии, тоже не наломать бы дров. Тонкая область...Но, некоторые явно неприемлемые "увлечения" ИИ заметны отчётливо...
Ответить Цитировать
29.12.2025 16:01
r-aax
.
ИИ в математику пока не умеет.
Ответить Цитировать
29.12.2025 16:38
sergeyklykov
+
Читал. Мой пост "славословия" на предыдущей странице я написал больше из желания, чтоб "умять" вниз комменты спамеров , нежели от искреннего желания кого-то умаслить. Да. Самому надо стараться всё делать, тем более, в математике.
Ответить Цитировать
04.01.2026 12:11
sergeyklykov
...
Продолжение следует?
Ответить Цитировать
09.01.2026 18:00
sergeyklykov
....
Цитата
sergeyklykov
Продолжение следует?
Продолжение дискуссии всегда лучше, чем словесная диарея от спамеров. Важно показывать заблуждающимся их заблуждения. Ну, и разбирать детали всяких хитросплетений.
Ответить Цитировать
16.01.2026 21:56
sergeyklykov
Это бесспорно?
Цитата
sergeyklykov
Цитата
sergeyklykov
Продолжение следует?
Продолжение дискуссии всегда лучше, чем словесная диарея от спамеров. Важно показывать заблуждающимся их заблуждения. Ну, и разбирать детали всяких хитросплетений.
Наверняка, это бесспорно.
Ответить Цитировать
23.01.2026 12:20
sergeyklykov
...
Цитата
sergeyklykov
Цитата
sergeyklykov
Продолжение следует?
Продолжение дискуссии всегда лучше, чем словесная диарея от спамеров. Важно показывать заблуждающимся их заблуждения. Ну, и разбирать детали всяких хитросплетений.
Главное в доказательстве не использовать что-то взявшееся из ниоткуда.
Или дать обоснования этим ходам-которые бесспорно.
Ответить Цитировать
31.01.2026 16:55
sergeyklykov
...
Цитата
greg71
Я обновил репозиторий.
Гипотеза может быть аксиомой, или гениальным прозрением, которое не нуждается в доказательстве,
а может и не быть им, и тогда доказательство ей нужно.
Однако факт остается фактом, если гипотеза глобальной нормализации верна, то ВТФ доказана.
В то же время, так как я адекватный ферматист, то я допускаю разные варианты, в том числе и вариант возможной ошибки,
однако, я просто заметил, как замечал много сам Пьер, если это свойство верно, то ВТФ доказана простым способом.

https://disk.yandex.ru/i/uJ4fT4xokn77pg
Что-то давно Greg71 не было слышно.
Ответить Цитировать
31.01.2026 17:40
greg71
ни слуху, ни духу
Итого, за прошедший месяц, на основе Большой теоремы Ферма и промпт-инженеринга закончены - сверхсветовой звездолет, машина времени, придумана схема лечения ДЦП, возможно получится облегчить жизнь многим несчастным, вероятно получилось приблизиться к загадке Альцгеймера, и осветить некоторые проблемы онкоурологии. Но как адекватный ученый, я сомневаюсь в полученных результатах, поэтому пусть спецы разбираются, всё опубликовано!

https://www.researchgate.net/profile/Grigoriy-Dedenko
Ответить Цитировать
31.01.2026 18:51
r-aax
.
как тебе такое, Илон Маск?)
Ответить Цитировать
01.02.2026 00:50
gs-m
:)
Цитата
sergeyklykov
Цитата
greg71
Я обновил репозиторий.
Гипотеза может быть аксиомой, или гениальным прозрением, которое не нуждается в доказательстве,
а может и не быть им, и тогда доказательство ей нужно.
Однако факт остается фактом, если гипотеза глобальной нормализации верна, то ВТФ доказана.
В то же время, так как я адекватный ферматист, то я допускаю разные варианты, в том числе и вариант возможной ошибки,
однако, я просто заметил, как замечал много сам Пьер, если это свойство верно, то ВТФ доказана простым способом.

https://disk.yandex.ru/i/uJ4fT4xokn77pg
Что-то давно Greg71 не было слышно.
кЕшно, с машиной времени можно и ДЦП и тп вылечить :)
только Гриша бЭнштен спёр СТО у Пуанкаре,а там никакой машины времени не получится.
сначала надо разобраться в настоящей СТО а потом выдумывать фокусы.
Ответить Цитировать
01.02.2026 12:08
greg71
фокус-покус
Время фокусов - закончилось smile

OpenAI Prism - революция в мире написания научных статей

https://disk.yandex.ru/i/7P56-fah8F62ZA
Ответить Цитировать
01.02.2026 13:03
r-aax
.
теперь ученые вместо того, чтобы проводить исследования, будут искать ошибки в галлюцинациях нейронок
Ответить Цитировать
01.02.2026 14:14
sergeyklykov
...
Цитата
greg71
Итого, за прошедший месяц, на основе Большой теоремы Ферма и промпт-инженеринга закончены - сверхсветовой звездолет, машина времени, придумана схема лечения ДЦП, возможно получится облегчить жизнь многим несчастным, вероятно получилось приблизиться к загадке Альцгеймера, и осветить некоторые проблемы онкоурологии. Но как адекватный ученый, я сомневаюсь в полученных результатах, поэтому пусть спецы разбираются, всё опубликовано!

https://www.researchgate.net/profile/Grigoriy-Dedenko
Т.е.,:
"Цели ясны.
Задачи определены.
За работу, товарищи!" biggrin
Н.С. Хрущёв.
Ответить Цитировать
01.02.2026 14:38
greg71
если ты услышал звук, в потолке открылся люк, не пугайся это глюк )
Цитата
r-aax
теперь ученые вместо того, чтобы проводить исследования, будут искать ошибки в галлюцинациях нейронок

Спросите об этом Теренсе Тао, если не понимаете о чем я, погуглите )))

Вот подсказка:

Уже четвертую по счету задачу Эрдеша решила GPT-5.2 Pro

Теренс Тао назвал это решение «возможно, наиболее недвусмысленным» в плане уникальности подхода.

Автор решения (если так можно называть человека, который закинул задачку в ChatGPT 🤔) пишет, что никаких предыдущих решений вообще не было. Это не совсем так: на форуме люди пишут, что нашли черновики доказательства в литературе 1936 и 1966 года. Но Тао отмечает, что подход GPT-5.2 от них отличается.

Интересно, чем GPT-5.2 будет удивлять, когда задачки Эрдеша кончатся 😏

https://t.me/data_secrets/8627



Редактировалось 1 раз(а). Последний 01.02.2026 14:40.
Ответить Цитировать
01.02.2026 16:02
r-aax
.
Цитата
greg71
Спросите об этом Теренсе Тао, если не понимаете о чем я, погуглите )))

Вот подсказка:

Уже четвертую по счету задачу Эрдеша решила GPT-5.2 Pro

Теренс Тао назвал это решение «возможно, наиболее недвусмысленным» в плане уникальности подхода.

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

p.s. Эксперимент по такой деятельности я провёл в соседней ветке с ammo7, там нейронка в конце концов призналась в ошибочности своего доказательства ВТФ. Но это, пожалуй, разовая акция, время тратить на такое жалко.
Ответить Цитировать
01.02.2026 17:44
greg71
меня опять терзают смутные сомнения )))
Уважаемый r-aax, как я и говорил выше, я ничего не утверждаю,
я просто предполагаю, что может быть верно, а может быть и нет,
но у меня свой, авторский метод работы с нейронкой,
которому я научился в ИИ-академии

1. нейронка генерит мысль
2. говорю выступи как критик этой мысли на основе поиска в сети
3. нейронка генерит новую мысль, на основе поиска в сети
4. загружаю эту мысль в другие нейронки, и говорю - критикуйте
5. результат критики загружаю в первую нейронку
6. новый результат проверяю через другие нейронки - они говорят - круто
7. итоговый результат уходит в статью

Эти итерации могут повторяться несколько раз, и на каждом этапе,
на каждой итерации я консультируюсь с человеком-специалистом,
от которого тоже получаю конструктивную критику, которую тоже гружу в нейронку
и говорою исправь согласно критике, на основе поиска в интернете

таким образом галлюцинирующий эффект практически сведен к минимуму
Ответить Цитировать
01.02.2026 18:17
r-aax
.
По общению на разных ресурсах я вижу, что конструктивную критику живых специалистов Вы не воспринимаете и полностью доверяетесь нейронке. Или хору нейронок, не важно.
Ответить Цитировать
01.02.2026 18:29
greg71
о специалистах
Есть некоторые специалисты, которым я доверяю, ибо знаком с ними лично,
а критика что тут, что на дхду - простите, но она не конструктивна,
и поэтому я ей не доверяю...

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

это мое субъективное мнение...

Резюмируя - мне скучно с вами, господа. Прошу простить...

Исчез )))



Редактировалось 2 раз(а). Последний 01.02.2026 19:09.
Ответить Цитировать
Страницы: 12345
« Следующая тема   Предыдущая тема »
Извините, только зарегистрированные пользователи могут публиковать сообщения в этом форуме.

Кликните здесь, чтобы войти