Тайна Царства Сновидений.

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

Да))) Я как-то выкладывала аж по датам все войны происходящие на Земле. Вот не умеет жить человечество в мире… одни войны.
Но я говорила не о глобальном, а о местечковом.
Ненависть поглотила людей и сколько бы не одевались маски оскал вылазит наружу…. и сколько бы не старались быть добрыми… Увы. А бесконечно малое повторяет бесконечно большое. Так чего ждать от глобалистов)))
Если бы среди нас простых смертных было бы больше доброты… то наверно и мир бы был более добрее. Но мы имеем то что имеем.

Не у всех так…. поэтому и написала, что есть истинно-верующие.
Может вы с такими не встречались…. но они другие..
В них нет ожидания… все по другому проявляется.
Мне вот довелось…. я словно соприкоснулась с другим миром.

 

GPT-5.4 Pro уже несколько раз закрывала задачи из базы великого математика Пола Эрдёша — а в последний месяц это происходит почти еженедельно. Но 13 апреля случилось то, чего раньше не было: Джаред Дукер Лихтман — оксфордский математик, который сам семь лет работал над задачей #1196, — назвал решение GPT-5.4 Pro "первым доказательством уровня Книги Эрдёша" ("Книгой" Эрдёш в шутку называл воображаемую книгу Бога, в которой собраны самые красивые доказательства всех теорем.). А Теренс Тао за сутки развернул это доказательство в зародыш новой теории. Промпт делал Лиам Прайс, модель решила задачу за 80 минут одной попыткой.

Сама задача — гипотеза 1968 года, поставленная Эрдёшем, Андрашем Шаркози и Эндре Семереди. Речь о примитивных множествах целых чисел: множествах, в которых ни один элемент не делится на другой. Сумма 1/(alog⁡a)1/(aloga) по такому множеству конечна — это доказал ещё Эрдёш в 1935 году. Вопрос задачи #1196: насколько маленькой становится эта сумма, если оставить только большие числа? Прежний рекорд принадлежал тому же Лихтману (2023) — верхняя граница около 1,399. Решение GPT-5.4 Pro дало точную асимптотику 1+O(1/log⁡x)1+O(1/logx).

Главная новизна — не в самом результате, а в методе. С 1935 года все, кто подходил к задаче, шли одним путем: переводили задачу из теории чисел в теорию вероятностей и работали там. По словам Лихтмана, этот "гамбит" был настолько естественным с человеческой точки зрения, что никто даже не искал альтернативный путь. GPT-5.4 Pro этот путь нашла — построила доказательство через функцию фон Мангольдта, объект из аналитической теории чисел со "странным и немотивированным" определением, который тем не менее кодирует основную теорему арифметики.

— пояснил Лихтман в посте на X.

Аналитики также проводят аналогию с известным "Ходом 37" в матче AlphaGo против Ли Седоля в 2016 году: тогда AI-программа сделала ход, который комментаторы сначала приняли за сбой, — а в итоге он перевернул многовековую теорию го и стал символом того, что машина способна находить решения, которые человек просто не рассматривает.

За следующие сутки филдсовский лауреат Теренс Тао превратил доказательство в каскад дальнейших открытий. Он переформулировал аргумент через нисходящий марковский процесс, ввел новую каноническую меру ν(n)ν(n), нашел ее связь с обратной дзета-функцией Римана 1/ζ(s)1/ζ(s) — и к работе подключились ещё два математика, Уилл Совин и Кевин Барретто, получившие явные формулы.

— пишет Тао. —

Лиам Прайс ведет серийную работу с открытыми задачами Эрдёша через GPT-5.4 Pro: за последний месяц на его счету как минимум три решения, включая задачу #1202 из "зеленого списка" Бена Грина и контрпример к гауссову корреляционному неравенству. Лихтман предложил Прайсу совместную статью с разбором приложений нового метода. Параллельно Lean-ассистент Aristotle уже формализовал две вспомогательные леммы; основная теорема пока проверена частично.

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