OpenAI colocou no GitHub o repositório ten-proofs com 10 provas formalizadas em Lean de problemas abertos em matemática e TCS. Veja o que há lá dentro.
Some results have been hidden because they may be inaccessible to you
Show inaccessible resultsSome results have been hidden because they may be inaccessible to you
Show inaccessible results