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

Astra解决的难题横跨群论、代数、量子复杂性、极值组合等多个数学子领域，其中「首次构造非同构群」问题困扰数学家将近30年

1

来源数

50%

置信度

长期有效

时效性

2026/8/15

首次发现

来源

AI花2000美元攻克30年数学难题，意味着什么

相关事实

待验证这些成果覆盖了高维几何、群论、量子复杂度、编码理论以及格密码学等多个方向66% 相似待验证Anthropic的数学家与人类研究团队借助Claude成功构造出困扰数学界30年的668阶哈达马矩阵，并给出12张矩阵方案63% 相似待验证像黎曼假设、P≠NP问题、纳维-斯托克斯方程光滑性等千禧年问题需要开创全新数学理论框架，当前AI尚无法做到60% 相似待验证三体问题对任意初始条件都不存在通用的闭式解，庞加莱在19世纪末通过数学证明揭示了其不可积性59% 相似待验证经典矩阵补全理论最初依赖不相干性（incoherence）假设，后来研究者逐步放松这一条件产出了大量工作57% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/753173

API

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

MCP

get_claim(id=753173)