待验证50% 置信事实精确时间
Intel 在设计 8087 时与加州大学伯克利分校的 William Kahan 教授合作，确立了以隐藏位、规范化数、四种舍入模式和五类异常为核心的浮点模型。
1
来源数
50%
置信度
长期有效
时效性
2026/10/18
首次发现
来源
涉及实体
相关事实
待验证Ken Thompson早在1968年的论文中就描述了高效的NFA模拟算法62% 相似待验证史蒂芬·沃尔夫拉姆在1980年代对一维初等元胞自动机进行了系统性分类，将所有256种一维二值规则归入四大行为类别62% 相似待验证Anthropic研究人员用Claude Mythos 5自动设计量子电路，覆盖化学、数论等8类计算原语。58% 相似待验证MATH基准由UC Berkeley的Dan Hendrycks团队创建，涵盖代数、几何、数论、概率、组合等7个方向共12500道题，难度从AMC10到AIME水平58% 相似待验证ee值概念由Kagan等人在20世纪70年代系统引入不对称催化研究。57% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1062556API
curl https://kongchang.com/api/v1/knowledge/claims/1062556MCP
get_claim(id=1062556)