待验证50% 置信发布精确时间
Aster是DeepMind在2025年推出的专门用于数学推理和形式化证明生成的AI系统
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/9/6
首次发现
有效期至：2026/12/5
来源
涉及实体
相关事实
待验证Project Astra是Google DeepMind的前沿研究项目，旨在构建能够实时理解和响应物理世界的通用AI助手71% 相似待验证DeepMind的AlphaGeometry、MIT的概率编程语言Gen和IBM的神经符号AI项目都在尝试将神经网络的感知能力与符号系统的推理能力结合70% 相似待验证2022年DeepMind发布了TALM，Meta发布了Toolformer，探索让模型自主决定何时调用外部API，但依赖微调66% 相似待验证DeepSeek可以将ASR启动脚本从倒计时模式改写为基于输出判断的智能启动逻辑66% 相似待验证2022年以后DeepMind的AlphaProof和各类大语言模型开始将神经网络与符号推理结合65% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/865855API
curl https://kongchang.com/api/v1/knowledge/claims/865855MCP
get_claim(id=865855)