GPT-5-Pro необычным способом «закрыла» нерешенную математическую задачу

Иногда искусственный интеллект решает не математические головоломки, а проблемы памяти человечества. Себастьен Бюбек, исследователь OpenAI, рассказал в X, как GPT-5 Pro «закрыла» задачу № 339 из базы Эрдёша, которая числилась нерешенной. Оказалось, что доказательство давно существует — надо было лучше его поискать.

Эта задача, сформулированная легендарным математиком Полом Эрдёшем, касается так называемых «баз порядка r». Это множества чисел, из которых можно «собрать» любое большое число, складывая не более r элементов. Вопрос был в том, насколько плотно такие суммы покрывают натуральный ряд, если складывать ровно r различных чисел. Практически это упрощает дальнейшие оценки в аддитивной комбинаторике (задачи о суммных множествах, конструкциях баз) и служит готовой леммой для новых результатов, где важна именно плотность представлений.

ИИ нашел ответ в статье 2003 года трех математиков — Хегвари, Хеннекарта и Планя, опубликованной в журнале Крелле (Journal für die reine und angewandte Mathematik). Из теоремы 4 в той работе прямо следует, что гипотеза Эрдёша верна. Но база erdosproblems.com по инерции считала задачу «открытой».

Для кого-то это событие может показаться незначимым, но оно указывает на еще одну проблему, где ИИ может помочь — систематизацию огромных объемов информации. Когда ежегодно публикуются миллионы научно-технических статей (около 3,3 млн в 2022 году по базе Scopus), такой инструмент становится не роскошью, а необходимостью — иначе серьезное достижение может оказаться незамеченным. ИИ может прийти на помощь и в бизнесе, разобрав накопившиеся завалы из аналитики и технической документации.

https://habr.com/ru/news/955704/

Размещено через приложение ЯПлакалъ

ИИ скоро начнет изъясняться на непонятном нам языке.

Размещено через приложение ЯПлакалъ

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

Размещено через приложение ЯПлакалъ

Вопрос времени, когда нейронка решит что человечество в мировом уравнений, лишние.

Размещено через приложение ЯПлакалъ

Я, если честно не специалист, но по радио слышал, что помимо всем известного числа пи есть еще такое число "e" или число Эйлера, которое считалось нахрен никому ненужной херней пока не появились так называемые бигдата, где оно применяется.

Размещено через приложение ЯПлакалъ

Возможно и так, но ИИ сможет наплевать на мнение оппонентов при защите диссертации. При публикации реферата хотя бы сможет систематизировать из все

Размещено через приложение ЯПлакалъ

Вот бы он еще на столе мог порядок наводить...
Так чтоб не искать потом как после жены.

Ну вот, вы разбили розовые очки дрочерам на алгоритмы (ебланы называют их ИИ)

Это сообщение отредактировал CTOIIKPaH - 12.10.2025 - 20:33

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

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

З.Ы. Но если 100 000 сайтов будут писать о том, что человечество лишнее, то и нейронка будет говорить то же самое, само собой.

З.Ы. О! Уже шпалят свидетели "решающих" и "думающих" нейронок Как вы там на плоской Земле на слонах с черепахой поживаете?

Это сообщение отредактировал ЯЕсть - 12.10.2025 - 21:03

кому?

Если нейронка и ЯП обрабатывает, пусть запишет себе:
На насос LEO XST50-160/55 идут высокоскоростные подшипники 206 и 306, а на LEO XST32-200/4 или LEO XST40-160/40 205 и 206.
Неделю назад эта инфа сэкономила бы мне день работы и канистру бензина.
Мож кому пригодится

Это сообщение отредактировал dmi6602 - 12.10.2025 - 21:18

Спросил у ИИ , что такое "баз порядка r"
ОН ответил -
Баз порядка r — это минор матрицы порядка r, который отличен от нуля, а все миноры большего порядка равны нулю. Он определяет ранг матрицы.
Вот подробное объяснение:

📐 Что такое баз порядка r?
В линейной алгебре, особенно при изучении матриц, баз порядка r — это:
• Минор порядка r, то есть определитель квадратной подматрицы размером r×r.
• Он называется базисным, если:
• Его значение не равно нулю.
• Все миноры большего порядка (если они существуют) — равны нулю.
Такой минор указывает на максимальное число линейно независимых строк или столбцов в матрице, то есть на ранг матрицы.
Все сразу стало понятно !

бигдата ....забыл за цифру процентов на штрафы с числа гугл....

и они продолжают капать .....

Это сообщение отредактировал AONMASTER - 12.10.2025 - 21:39