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

2023年Terence Tao领导的多项式Freiman-Ruzsa猜想的形式化验证耗时仅三周

1

来源数

50%

置信度

长期有效

时效性

2026/8/7

首次发现

来源

AI攻克埃尔德什数学难题：人工智能如何破解数十年悬而未决的猜想

相关事实

待验证Qwen2.5-3B-Instruct、Phi-3.5-mini（3.8B）和Llama-3.2-3B-Instruct是2024年末在小参数规模上综合表现最优的三款模型57% 相似待验证在AMD Zen 3上，64位整数除法的延迟为8-41个周期56% 相似待验证阿里的Qwen系列模型（包括3.7 Max和Plus）在推理速度上明显偏慢55% 相似待验证作者让Qwen对生成结果进行审核，并设置最多3次重试，若三次均不达标则返回最匹配的版本54% 相似待验证GPTQ（2022年）和AWQ（2023年）能将70B参数的LLM量化到INT4精度，困惑度损失不到1%54% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/699430

API

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

MCP

get_claim(id=699430)