待验证50% 置信事实精确时间
Raph Levien在其博士论文中提出的Spiro样条基于欧拉螺线，可自动生成满足G2或更高连续性的曲线并输出为标准三次贝塞尔曲线，已集成到FontForge等开源字体编辑软件中
1
来源数
50%
置信度
长期有效
时效性
2026/8/28
首次发现
来源
涉及实体
相关事实
待验证2019年Griffin、Ono、Rolen和Zagier发表工作将黎曼猜想与Jensen多项式的双曲性联系起来，证明对足够大的阶数与黎曼ξ函数相关的Jensen多项式具备双曲性61% 相似待验证间隔重复方法源自赫尔曼·艾宾浩斯的遗忘曲线研究，Anki 等软件已将其工程化61% 相似待验证3D高斯泼溅（3DGS）技术由Kerbl等人在SIGGRAPH 2023发表，使用显式三维高斯椭球体表示场景，每个高斯核包含59个参数57% 相似已验证2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例56% 相似待验证François Chollet 提出的 ARC-AGI 基准和 Epoch AI 提出的 FrontierMath 基准试图通过生成全新问题来测试真正的推理泛化能力55% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/810685API
curl https://kongchang.com/api/v1/knowledge/claims/810685MCP
get_claim(id=810685)