Właśnie opublikowaliśmy artykuł rozwiązujący problem Erdos #846, który został rozwiązany przez wewnętrzny model w OpenAI (). Chociaż problem można również wyprowadzić z wcześniejszego artykułu w literaturze, dowód przedstawiony przez wewnętrzny model był jednym z pierwszych przypadków, kiedy uśmiechnąłem się, czytając dowód.