Comments 10
Ну ох***ть теперь)))
Я тут попросил дипсик сгенерировать последовательность
Все что он смог - коэффициент получается в районе 1
Даже близко не похоже на 2
Дипсик знает про множество Сидона, про формулу Боуза–Чоудхури
Но не может привести ни одной последовательности выше 1
Дипсик уже устарел давно по уму по сравнению с другими нейронками. Гуглите "llm rating" и там сравнивайте. Плюс дипсика что он относительно дешев для средних задач, можно сэкономить вообщем
Дипсик в целом так себе. Всё-таки, не зря эта модель на много дешевле других. Эта экономия имеет большую цену, в плане более худшего качества. А те модели, затачиваются на максимальное качество. Особенно, в длинных и сложных цепях рассуждений.
Посмотрел препринт. ну что и требовалось ожидать (да и в посте так же написано) - вместо пруфов аналитических доказательств - численные симуляции на гитхабе. Скоро будем не строгим доказательствам верить, а численным.
В препринте они описали алгоритм
И что интересно - математическое построение из статьи оперирует огромными числами (факториалы степеней двойки 12-й степени)
Т.е. даже если взять описание алгоритма и переложить его в формулы, реально ничего не получится - не хватит ни оперативной памяти, ни мощности, ни времени
Т.е. это сферический конь в вакууме
Их множество чисел огромно, безгранично можно сказать, никто практически не сможет его проверить
Дипсик только хватило на анализ препринта и предварительный прогон самого алгоритма без численной подстановки
Дипсик не нашел ошибок, но это и не удивительно
можно сказать, никто практически не сможет его проверить
Будь возможность реально что-то посчитать, не думаю, что такую работу бы опубликовали. А теоретизировать о бесконечностях бесконечностей в вакууме ни кто не запрещает.
Что действительно интересно - все можно описать математическими формулами, а следовательно доказать, а не калькуляцией заниматься.
Китайцы тоже могут. Открытый ИИ-агент Tencent сделал то, что не удалось AlphaEvolve, GPT и Claude