🤔 Вайбтематика или вайбгебра?

OpenAI выложила на GitHub архив из 722 научных статей со сложными математическими доказательствами.

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

Что смогла доказать нейросеть:

↖️ https://kod.ru/openai-math-frontier-model-github