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

Нещодавно я взяв відпустку з Колумбійського університету, щоб приєднатися до OpenAI, працюючи над OpenAI для науки. За останні кілька місяців штучний інтелект — включно з GPT 5.2 — став дедалі важливішою частиною мого робочого процесу як математика. Я радий долучатися до зусиль щодо прискорення прогресу в математиці та наукових дослідженнях.