Допустимо ли такое доказательство Великой теоремы Ферма?

@Greg71 · Регистрация: 24.05.2024

Студворк — интернет-сервис помощи студентам

Допустимо ли такое доказательство Великой торимы Ферма?
(оно сейчас в журнале и в данный момент с ним работает рецензент)

Английская версия (Version 10)
https://osf.io/preprints/osf/jbdas

Русская версия (№20)
https://www.researchgate.net/p... RATA_OBZOR

Проверка через GPT-o1, Gemini2-Thinking и ядра логики доказательства
через международную систему верификации доказательств Coq в упрощенном варианте
https://disk.yandex.ru/d/Lz_-ougGPadqvg

@Pphantom · 10.01.2025, 18:56

Сообщение от Greg71

Допустимо ли такое доказательство Великой торимы Ферма?

Мы вроде уже это обсуждали, с тех пор ничего принципиально не изменилось. Так что ждите либо отрицательной рецензии (если рецензент/редактор склонны к правдорубству), либо вежливого отказа по косвенным причинам (если журнал предпочитает не тратить силы на препирательства со странными авторами). Ну, конечно, в предположении, что сам журнал нормальный.

@Greg71 · 10.01.2025, 19:01 **[ТС]**

Опечатки в заголовке темы, и в самой теме )))
Спешил и по буквам не попал )))

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

@Pphantom · 10.01.2025, 19:13

Сообщение от Greg71

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

Это вам так кажется.

@Greg71 · 11.01.2025, 12:21 **[ТС]**

Сообщение от Pphantom

Это вам так кажется.

Простите, что Вы хотите сказать?

@Pphantom · 11.01.2025, 14:26

Сообщение от Greg71

Простите, что Вы хотите сказать?

Что никаких принципиальных изменений не произошло.

@Greg71 · 23.01.2025, 15:13 **[ТС]**

Вышла новая нейросеть DeepSeek R1, от китайских товарищей, я прогнал через нее,
последнии версии, английская 30(15), русская 21, и вот ее вердикт:

Документ представляет собой строгое и последовательное доказательство Великой теоремы Ферма для случая n>2 основанное на методах, доступных в XVII веке. Ключевые шаги (биномиальное разложение, анализ иррациональности, свойства функций) обоснованы корректно. Незначительные недочёты (например, формализация эквивалентности систем) не влияют на общую логику. Реконструкция выглядит убедительной и соответствует заявленной цели.

@Red white socks · 26.01.2025, 23:36

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

@Greg71 · 27.01.2025, 13:01 **[ТС]**

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

@Pphantom · 27.01.2025, 13:12

Сообщение от Greg71

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

Прекрасно, — сказал я. — Известно, что всякая достаточно сложная электронная машина обладает способностью к самообучению и самовоспроизводству. Самовоспроизводство нам пока не нужно, а вот обучить агрегат Машкина печатать тексты самостоятельно, без человека-посредника, мы обязаны в самые короткие сроки. Как это сделать? Мы применим хорошо известный и многократно испытанный метод длительной тренировки. („Метод Монте-Карло“, — вставил, слегка оживляясь, Эдик.) Да, именно Монте-Карло. Преимущество этого метода — в простоте. Берется достаточно обширный текст, скажем, „Жизнь животных“ Брема. Машкин садится за свой агрегат и начинает печатать слово за словом, строчку за строчкой, страницу за страницей. При этом анализатор агрегата будет анализировать… („Думатель будет думать“, — вставил Эдик.) Да, именно думать… И таким образом агрегат станет у нас обучаться. Вы и ахнуть не успеете, как он начнет печатать сам. Вот вам рубль подъемных и ступайте в библиотеку за Бремом

(с) А. и Б.Стругацкие, "Сказка о Тройке".

@Greg71 · 27.01.2025, 15:36 **[ТС]**

В точку! Метод Монте-Карло это основа моего диплома как специалиста так и кфмн, я им почти 30 лет в МИФИ занимался, сейчас на просторах тырнета моей диссертацией торгуют все кому не лень )))

@Greg71 · 12.02.2025, 17:57 **[ТС]**

Исходя из моего доказательства, если рассмотреть функцию вида:
f(q,p)=q-sqrt[p]{qp}, если принять p>0, и q=2, то вторая производная этой функции по p будет равна нулю.

Критическая точка p=2 существует исключительно для q=2 где вторая производная этой функции по p РАВНА НУЛЮ.
Это подчеркивает особую роль q=2 или o=2 (из доказательства).

Для других значений q критические точки существуют, но они расположены при p НЕ РАВНОМ 2,
что подтверждает уникальность q=2 в его симметрии и простоте.

Эти результаты подтверждают двойственную природу решения данной статьи: оно одновременно является алгебраическим и геометрическим. Параметр o=2 служит объединяющим понятием в анализе Великой Теоремы Ферма.

подробнее в приложении 4 (русская версия №23)
английская версия Appendix D (версия №33)

доступные по ссылке:

https://dzen.ru/a/X9OHA2Ty3xiX2ZmY

@Greg71 · 28.03.2025, 23:46 **[ТС]**

https://osf.io/preprints/osf/jbdas_v5

Это завершенная английская версия!

А по-русски ссылка на Дзен выше!

Новые блоги и статьи Все статьи Все блоги /
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .
Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .	Фото: Daniel Greenwood kumehtar 13.11.2025	Расскажи мне о Мире, бродяга kumehtar 12.11.2025 — Расскажи мне о Мире, бродяга, Ты же видел моря и метели. Как сменялись короны и стяги, Как эпохи стрелою летели. - Этот мир — это крылья и горы, Снег и пламя, любовь и тревоги, И бескрайние. . .

@Greg71 4 / 5 / 0 Регистрация: 24.05.2024 Сообщений: 31

	Допустимо ли такое доказательство Великой теоремы Ферма? 10.01.2025, 18:44. Показов 2272. Ответов 12 Метки нет (Все метки) Допустимо ли такое доказательство Великой торимы Ферма? (оно сейчас в журнале и в данный момент с ним работает рецензент) Английская версия (Version 10) https://osf.io/preprints/osf/jbdas Русская версия (№20) https://www.researchgate.net/p... RATA_OBZOR Проверка через GPT-o1, Gemini2-Thinking и ядра логики доказательства через международную систему верификации доказательств Coq в упрощенном варианте https://disk.yandex.ru/d/Lz_-ougGPadqvg 0

@Greg71 4 / 5 / 0 Регистрация: 24.05.2024 Сообщений: 31
	10.01.2025, 19:01 [ТС]
	Опечатки в заголовке темы, и в самой теме ))) Спешил и по буквам не попал ))) Добавлено через 52 секунды Вы были правы, в прошлом варианте у меня был косяк на косяке, однако, с тех пор многое изменилось... Многое... 0

@Greg71 4 / 5 / 0 Регистрация: 24.05.2024 Сообщений: 31
	23.01.2025, 15:13 [ТС]
	Вышла новая нейросеть DeepSeek R1, от китайских товарищей, я прогнал через нее, последнии версии, английская 30(15), русская 21, и вот ее вердикт: Документ представляет собой строгое и последовательное доказательство Великой теоремы Ферма для случая n>2 основанное на методах, доступных в XVII веке. Ключевые шаги (биномиальное разложение, анализ иррациональности, свойства функций) обоснованы корректно. Незначительные недочёты (например, формализация эквивалентности систем) не влияют на общую логику. Реконструкция выглядит убедительной и соответствует заявленной цели. 0

@Red white socks 4523 / 1899 / 336 Регистрация: 18.01.2021 Сообщений: 3,489
	26.01.2025, 23:36
	Greg71, надеюсь вы больше не будете обращаться сюда за мнением местных профанов при наличии заключения такого авторитета. 3

@Greg71 4 / 5 / 0 Регистрация: 24.05.2024 Сообщений: 31
	27.01.2025, 13:01 [ТС]
	В серьезном журнале работает серьезный рецензент, просто я считаю, прежде чем показывать, кому-либо, надо прогнать через ИИ, если ИИ говорит пурга, то и показывать кому-либо незачем, но если ИИ говорит, что пусть математики разберутся, то имеет смысл показать, а французские математики мне прямо сказали, формализуйте ваше доказательство в Coq, и если формализация в Coq покажет его истинность то мы признаем его истинность, поэтому единственный выход для меня, это изучать Coq и полностью формализовать в нем. Но этот процесс не быстрый. 0

@Greg71 4 / 5 / 0 Регистрация: 24.05.2024 Сообщений: 31
	27.01.2025, 15:36 [ТС]
	В точку! Метод Монте-Карло это основа моего диплома как специалиста так и кфмн, я им почти 30 лет в МИФИ занимался, сейчас на просторах тырнета моей диссертацией торгуют все кому не лень ))) 0

@Greg71 4 / 5 / 0 Регистрация: 24.05.2024 Сообщений: 31
	12.02.2025, 17:57 [ТС]
	Исходя из моего доказательства, если рассмотреть функцию вида: f(q,p)=q-sqrt[p]{qp}, если принять p>0, и q=2, то вторая производная этой функции по p будет равна нулю. Критическая точка p=2 существует исключительно для q=2 где вторая производная этой функции по p РАВНА НУЛЮ. Это подчеркивает особую роль q=2 или o=2 (из доказательства). Для других значений q критические точки существуют, но они расположены при p НЕ РАВНОМ 2, что подтверждает уникальность q=2 в его симметрии и простоте. Эти результаты подтверждают двойственную природу решения данной статьи: оно одновременно является алгебраическим и геометрическим. Параметр o=2 служит объединяющим понятием в анализе Великой Теоремы Ферма. подробнее в приложении 4 (русская версия №23) английская версия Appendix D (версия №33) доступные по ссылке: https://dzen.ru/a/X9OHA2Ty3xiX2ZmY 0

@Greg71 4 / 5 / 0 Регистрация: 24.05.2024 Сообщений: 31
	28.03.2025, 23:46 [ТС]
	https://osf.io/preprints/osf/jbdas_v5 Это завершенная английская версия! А по-русски ссылка на Дзен выше! Миниатюры 0