Unverified50% confidenceReleaseExact time
Aster是DeepMind在2025年推出的专门用于数学推理和形式化证明生成的AI系统
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/6/2026
First Seen
Valid until: 12/5/2026
Sources
Related Entities
Related Claims
UnverifiedProject Astra是Google DeepMind的前沿研究项目，旨在构建能够实时理解和响应物理世界的通用AI助手71% similarUnverifiedDeepMind的AlphaGeometry、MIT的概率编程语言Gen和IBM的神经符号AI项目都在尝试将神经网络的感知能力与符号系统的推理能力结合70% similarUnverified2022年DeepMind发布了TALM，Meta发布了Toolformer，探索让模型自主决定何时调用外部API，但依赖微调66% similarUnverifiedDeepSeek可以将ASR启动脚本从倒计时模式改写为基于输出判断的智能启动逻辑66% similarUnverified2022年以后DeepMind的AlphaProof和各类大语言模型开始将神经网络与符号推理结合65% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/865855API
curl https://kongchang.com/api/v1/knowledge/claims/865855MCP
get_claim(id=865855)