待验证50% 置信事实精确时间
费马大定理的形式化高度依赖Mathlib中的椭圆曲线理论、伽罗瓦表示理论等模块
1
来源数
50%
置信度
长期有效
时效性
2026/9/6
首次发现
来源
涉及实体
相关事实
待验证算子理论是泛函分析的核心分支，研究无穷维空间（如希尔伯特空间、巴拿赫空间）上的线性映射及其性质67% 相似待验证谱定理指出任何实对称矩阵都可以正交对角化为A = QΛQ^T的形式，其中Q是正交矩阵，Λ是特征值对角矩阵66% 相似待验证圆形在任何透视变换下都会精确投影成一个椭圆，从二次曲线到位姿的数学是闭式解，不需要角点检测64% 相似待验证贝塞尔曲线的数学本质是伯恩斯坦多项式的参数化表达，一条n次贝塞尔曲线由n+1个控制点定义62% 相似待验证GELU由Hendrycks和Gimpel在2016年提出，数学形式为GELU(x) = x · Φ(x)，其中Φ(x)是标准正态分布的累积分布函数62% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/866126API
curl https://kongchang.com/api/v1/knowledge/claims/866126MCP
get_claim(id=866126)