Reposted by Samhain Boo-rtz

instead of a deluge of slop papers credited to some "internal model", only some of which correspond to lean proofs, what openai should be publishing are papers, credited to the researchers involved, detailing the techniques by which they built and operated the system that produced these lean proofs