> We are currently facing the very specific challenge of advising OpenAI on how to coordinate the release of a large number of significant results in mathematics that they report have been produced by their internal model.
The only thing I want to see is the problem statements, solutions, and associated Lean proofs. Anything else is gatekeeping. What a low point for academia.
The only thing I want to see is the problem statements, solutions, and associated Lean proofs. Anything else is gatekeeping. What a low point for academia.