Tomasz Tunguz

.@OpenAI 刚刚发布了数百个由其内部模型完成的高端数学证明和解答： https://openai.com/index/sharing-ai-progress-in-mathematics/ 这是代码仓库： https://github.com/openai/math 依我之见，从今往后在 GitHub 上发布研究成果才是正道，尤其是在数学领域。