ChatGPT доказал 50-летнюю гипотезу из теории графов

17.07.2026, 0:59
6,648

Решение было найдено одновременно с запуском новой версии модели.

Комментарии 10

– 0 +

ыдыётъ, 2:30, 17.07

Если никто из человеков не знает решения то откуда такая уверенность что эта гадалка права?

Ответить

– +1 +

333, 10:35, 17.07

Гадалка выдает текст доказательства. Что внутри гадалки произошло тогда уже не важно. Доказательство можно проверить независимо. При этом оно хоть и длинное, но очень детальное, с простыми рассуждениями типа "подставить формулу №533 в формулу №1027".

Ответить

– +2 +

ыдыётъ, 14:24, 17.07

Вы не владеете основами работы ИИ. Весь алгоритм его работы НЕ основан на логике. Он основан на вероятности того или иного события. Гадалка это! А не мыслитель. Отсюда следует, что ваш аргумент не в тему.

Ответить

– 0 +

333, 14:46, 17.07

Абсолютно верно. Внутри миллиарды вероятностей. Поэтому разбираться в процессе рассуждений ИИ сложно. Но это и не нужно. Я про результат работы ИИ - это обычный текстовый файл с формулами и ходом вывода, никаких вероятностей:
формула 1, формула 2 и т.д.

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

Ответить

– 0 +

нехта, 6:52, 17.07

> модели способны объединять уже существующие методы и находить новые подходы к давно изучаемым проблемам.

отсутствие необходимости питаться, спать и просто уставать позволяют методом перебора получить "новые методы"

Ответить

– 0 +

Хтось, 13:29, 17.07

Ні, тезко, ШІ працює не методом перебору, і в цьому його сила. По суті штучний інтелект правильно було би назвати штучною інтуїцією. Штучною логікою комп'ютери наділені від початку, а ось додавання до неї штучної інтуїції вже створило справжнього штучного вченого, що перевершує білкових вчених.

Ответить

– 0 +

Разраб, 7:47, 17.07

То есть, если проблема не решаема, то ИИ, думай 8 часов, потом она решится. А если дать ИИ думать 20 часов, то может снова прийти к заключению, что пробема нерешаема. Не нашел про то, если гипотеза переросла в теорию, что является главным в таком роде доказательств.

Предлагаю ИИ агентам в количестве более 50 подумать над делением на 0 более чем 30 дней и будет новое правило деление на ноль.

Ответить

– +6 +

AndRay, 9:14, 17.07

Смотри, я за пару секунд покажу, что делить на ноль нельзя на одном простом таракане.
Имеется Валет, он же Лука, он же таракан. Для себя он представляется в одном обличье, как 1 (единица) - жирный шкловский боров. И он в Беларуси всё делит на себя, т.е. на 1. Так можно.
А теперь представьте, что существует очень много белорусов, которым Фенцик хочет дать что-то, но очень мало. Так мало зарплаты, что она стремится к нулю. Да что там стремится, становится нулём. И вот чем больше этого ничего (нулей) у него есть, тем большему количеству белорусов он хочет их раздать. Значит в таком смысле количество белорусов, которых Лука хочет накормить, становится бесконечным, а это не так, потому что приходится завозить узбеков и всё же что-то им платить. Поэтому и получается, что делить на ноль Валет может только в Беларуси, а в другом мире это невозможно.

Ответить

– +1 +

f, 10:23, 17.07

Рано радоваться

Не написано, сколько математиков проверяло корректность сгенерированного доказательства

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

А ИИ вполне мог какие-то логические ошибки допустить в ходе доказательства

Это фишка существующих систем

Надо тщательно проверить доказательство

Производителям ИИ выгодно рапортовать об успехах

Ответить

– 0 +

Хтось, 13:31, 17.07

Ви зараз на стадії заперечення.

Ответить

Написать комментарий

Имя

E-mail E-mail не будет опубликован

Комментарий