Kirk Borne@KirkDBorne2026年9月09日 13:36现在有件事差不多(或许还不算)能反驳我早先那条帖(关于 Terence Tao 对 AI 冲击纯数学研究的评论)。下面这个新结果更接近应用数学,而非纯数学。 就是这个: OpenAI 声称已解决纳维–斯托克斯千禧年大奖问题…⤵️打开原帖#511482