Ми щойно опублікували статтю з розв'язання Erdos #846, яку вирішила внутрішня модель на OpenAI (). Хоча цю проблему можна також вивести з попередньої статті в літературі, доведення внутрішньою моделлю було одним із перших випадків, коли я посміхнувся, читаючи доказ.