OpenAI发布新模型数学解题思路与验证代码
数学屠杀开始了。
推荐理由
直接展示大模型在前沿数学领域的推理与验证能力,且开源了详细解题思路与代码,对研究者和开发者极具参考价值,值得关注。
数学屠杀开始了。
OpenAI用内部正在研发的新模型,去解决4000道高难度前沿数学题。涵盖了多个复杂的数学猜想与理论,比如圆周率的性质、高维几何以及物理模型中的数学问题等。
这个开源的Github仓库,放的就是模型解题时的思路总结,以及一部分通过计算机代码严格验证过的证明步骤。公开这些内容是为了让全球的数学学者和公众共同检验、修正和探讨。
Github:https://github.com/openai/math
更进一步:量化金融体系
看懂新闻只是起点——沿量化金融路径,把它变成能交付的工程能力