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

微软研究院是Lean语言的发源地

1

来源数

50%

置信度

长期有效

时效性

2026/8/7

首次发现

来源

OpenAI发布Astra模型：AI首次攻克十大数学难题意味着什么

相关事实

待验证Microsoft的Phi系列和Google的Gemma系列是小语言模型的代表性工作66% 相似待验证微软研究院开源的LLMLingua是提示词压缩的典型实现63% 相似待验证微软Microsoft Learn上的机器学习内容正是微软DP-100（Azure数据科学家认证）考试背后的官方教材63% 相似待验证微软研究院也在探索自动化科学发现的框架61% 相似待验证微软Copilot Studio、Salesforce Einstein等企业级平台已将自然语言工作流编排推向商业落地61% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/701185

API

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

MCP

get_claim(id=701185)