Tomasz Tunguz

.@OpenAI just released hundreds of high end mathematics proofs and solutions using their internal model: https://openai.com/index/sharing-ai-progress-in-mathematics/ Here is the repo: https://github.com/openai/math IMHO, releasing research on GitHub is the way to go from now on, especially in Mathematics.