待验证50% 置信事件精确时间
Anthropic的数学家与人类研究团队借助Claude成功构造出困扰数学界30年的668阶哈达马矩阵，并给出12张矩阵方案
1
来源数
50%
置信度
长期有效
时效性
2026/8/15
首次发现
来源
AI大厂降价混战：Gemini、Grok、DeepSeek同日发力，开发者红利期来临
bilibiliAI天天酱2026/8/14
相关事实
待验证AI在解决困扰学界60年的埃尔多斯1196号本原集猜想时，引入了原本用于素数研究的冯·曼戈尔特函数65% 相似待验证雅可比矩阵由19世纪德国数学家卡尔·雅可比提出，是多元微积分中的核心概念，是一个m×n的偏导数矩阵65% 相似待验证Astra解决的难题横跨群论、代数、量子复杂性、极值组合等多个数学子领域，其中「首次构造非同构群」问题困扰数学家将近30年63% 相似待验证MATH基准由UC Berkeley的Dan Hendrycks团队创建，涵盖代数、几何、数论、概率、组合等7个方向共12500道题，难度从AMC10到AIME水平62% 相似待验证大O符号由德国数学家保罗·巴赫曼于1894年引入，用于描述算法复杂度的渐近行为61% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/754435API
curl https://kongchang.com/api/v1/knowledge/claims/754435MCP
get_claim(id=754435)