OpenAI zverejnila 722 matematických rukopisov, len 162 má hlavný výsledok overený v Lean

OpenAI zverejnila stovky matematických rukopisov z nevydaného modelu a tvrdí, že väčšina vznikla z jedného promptu. Hlavný výsledok má v Lean overený len 162 rukopisov a prompty ani model nie sú zverejnené.