Lean

OpenAI apresenta erro na tradução de prova matemática

Um grupo de matemáticos identificou um erro na tradução de uma prova matemática gerada por inteligência artificial da OpenAI.