待验证50% 置信事实精确时间

Tristan Buckmaster等数学家在欧拉方程解的非唯一性方面取得突破性进展，运用凸积分（convex integration）等技术构造出弱解

1

来源数

50%

置信度

长期有效

时效性

2026/9/10

首次发现

来源

AI独立攻克前沿数学难题，与人类研究成果不谋而合

涉及实体

Tristan Buckmasterperson 欧拉方程concept 凸积分concept

相关事实

待验证Buckmaster与Vlad Vicol基于Convex Integration技术证明了纳维-斯托克斯方程弱解的非唯一性71% 相似待验证可逆计算最早由Charles Bennett和Rolf Landauer在物理学和信息论的交叉领域提出65% 相似待验证大O符号由德国数学家保罗·巴赫曼于1894年引入，用于描述算法复杂度的渐近行为62% 相似待验证指数积分器方法源于20世纪60年代对刚性常微分方程的研究，通过精确处理线性部分、数值近似非线性部分放宽稳定性限制61% 相似待验证黑塞配置由德国数学家奥托·黑塞在19世纪研究椭圆曲线拐点时发现60% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/889844

API

curl https://kongchang.com/api/v1/knowledge/claims/889844

MCP

get_claim(id=889844)