Наш новогодний сериал подходит к сказочному финалу. Этот пост мы хотим закрепить, поэтому начинаем его с перечисления предыдущих эпизодов:

Как железо закалялось под ИИ
Первые шаги математики в ML
О задачах Эрдёша и, скорее, провале
О задачах Эрдёша и, скорее, успехе

Ну и на десерт ещё одно открытие!

В октябре математик Паата Иванишвили сделал пост о том, что GPT-5 Pro нашёл контрпример к нерешённой задаче из списка открытых проблем фонда Саймонса. Уже к концу месяца он опубликовал проверенный результат и ссылку на полный чат с GPT-5 Pro, приведший к решению проблемы.

Fun fact 1: каждый из вас может повторить этот трюк, даже просто закинув скриншот с проблемой в чат, вот пример.

Fun fact 2: математик указал нейронку в соавторах. Потом отметку убрали — не соответствовало политике портала.

Вот такой получился сериал про ИИ в математике. Не грустите, у него точно выйдет продолжение. Но всё же растянем удовольствие.

Оставляйте ⛄️ под постом, если вам понравился наш новогодний подарок. И, конечно, ждём комментариев от тех, кто досмотрел сериал до конца. Несомненно, тут есть над чем порассуждать!

#рекомендуем