Комментарии 7
Интересно было прочитать) Ставлю заслуженный лайк
Очень надеюсь, что благодаря такой мощной технологии, которая за час такие штуки находит - следующая модель от Open AI выйдет ещё быстрее и мощнее)
Но сначала о самой гипотезе.
И далее идет описание частных случаев.
Теория графов, в примитиве, заключается в том, что любое N может быть применимо к идеальному N-граному мног овекторному многовекторному многоугольнику. Самый простой примитив - икосаэдр. Двадцетигранный треугольник.
Абсолютно не важно насколько она доказана, поскольку реального применения данная теория не имеет.
«считай, что полное доказательство существует»
Вредные снарки

прошли мимо короткой комбинации известных идей. Такое в истории математики случалось, но редко.
ИМХО а будет случаться только чаще. Потому что формат scientific paper перестал масштабироваться. И в это понятие я включаю поиск и сопоставление. Поэтому какое-то время LLM могут помогать ученым разбираться в этом хаосе, но более удобный формат/подачу делать придется.

Слишком просто, чтобы быть правдой? GPT-5.6 выдал доказательство 50-летней математической гипотезы