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

2013年Ben Green和Terence Tao证明了当n足够大时，n个不共线的点至少确定n/2条普通直线，且这个下界是最优的

1

来源数

50%

置信度

长期有效

时效性

2026/8/8

首次发现

来源

西尔维斯特-加莱定理：为什么有限点集必存在普通直线

相关事实

待验证Qwen 3.6 Max在中性模式下端到端准确率仅12.3%53% 相似待验证2023年Terence Tao领导的多项式Freiman-Ruzsa猜想的形式化验证耗时仅三周52% 相似待验证双精度浮点数能精确表示的十进制有效数字约为 15-17 位50% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/705812

API

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

MCP

get_claim(id=705812)