Unverified50% confidenceFactExact time
Google DeepMind的研究表明LLM可作为翻译器将非形式化数学语句转译为Lean或Isabelle表达，但准确率仍远未达到可部署水平
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
8/10/2026
First Seen
Valid until: 11/8/2026
Sources
Related Claims
Unverified大语言模型（LLM）不具备意图，因此严格意义上无法撒谎69% similarUnverifiedBERT（2018年，Google）采用掩码语言模型（MLM）实现双向上下文理解，但无法生成连贯文本69% similarUnverified涌现能力现象被DeepMind研究员系统记录于2022年的《Emergent Abilities of Large Language Models》论文中65% similarUnverifiedLLM 在处理语法错误、拗口句式、被动语态滥用、冗余表达等表层语言问题上表现出色，能在几秒内给出流畅的改写建议64% similarUnverifiedLLM通过在海量文本语料上进行无监督预训练（预测下一个词）来习得语言能力64% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/721297API
curl https://kongchang.com/api/v1/knowledge/claims/721297MCP
get_claim(id=721297)