标签: 科学研究

使用此标签的全部文章 "科学研究".

• OpenAI 攻克了数学世纪难题？从一杯水读懂 Navier–Stokes 候选证明

  2026年9月9日

  核查 OpenAI 的 Navier–Stokes 候选证明：它解决了哪个版本、用了什么模型、漩涡如何爆破，以及形式化验证与学界认可的区别。