Unverified50% confidenceReleaseExact time
Aster is an AI system launched by DeepMind in 2025 specifically for mathematical reasoning and formal proof generation.
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 is a frontier research project by Google DeepMind, aimed at building a general-purpose AI assistant capable of understanding and responding to the physical world in real time.71% similarUnverifiedDeepMind's AlphaGeometry, MIT's probabilistic programming language Gen, and IBM's neuro-symbolic AI project are all attempting to combine the perceptual capabilities of neural networks with the reasoning capabilities of symbolic systems.70% similarUnverified2022年DeepMind发布了TALM，Meta发布了Toolformer，探索让模型自主决定何时调用外部API，但依赖微调66% similarUnverifiedDeepSeek可以将ASR启动脚本从倒计时模式改写为基于输出判断的智能启动逻辑66% similarUnverifiedAfter 2022, DeepMind's AlphaProof and various large language models began combining neural networks with symbolic reasoning.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)