#数学
OpenAI 公开 722 篇数学论文：宣称证明准黎曼假设，形式化验证零错误
刚刚，OpenAI 把一个内部前沿模型做出来的数学成果，一股脑放上了 GitHub
来源：OpenAI 官方账号
Github 仓库位于 openai/math，里面收了 722 篇论文，并把结果归成 372 个族，涉及大约 4000 道…
OpenAI 用 1 万个 Agent 88 小时求解纳维-斯托克斯方程：千禧年数学难题突破
流体究竟会不会在某个瞬间彻底失控？这个问题困扰了人类将近 90 年。刚刚，OpenAI 宣布他们用还在训练中的下一代大模型，调动上万个 AI 智能体协同作战，在 88 小时内解出了困扰人类近百年的千禧年数学难题：纳维-斯托克斯（Navier…
Thetawise：AI数学辅导工具，帮助学生在数学课程中取得优异成绩
Thetawise是一款AI数学辅导工具，旨在帮助学生在数学课程中取得优异成绩，并更快地学习复杂的数学概念。由Thetawise公司开发，这款产品主要面向高中生和大学生，特别是需要深入理解高等数学概念的学生。Thetawise通过人工智能…