已验证65% 置信事实精确时间
AlphaGeometry于2024年初发表在Nature上，采用神经-符号混合方法解决几何证明问题，使用约一亿条合成数据训练
3
来源数
65%
置信度
长期有效
时效性
2026/8/4
首次发现
来源
相关事实
待验证AlphaProof和AlphaGeometry是谷歌DeepMind在2024年推出的数学AI系统，在2024年IMO测试中合计解决6题中的4题70% 相似待验证AlphaTensor在2022年发现了新的矩阵乘法算法66% 相似待验证2024年涌现了多个线性或近线性复杂度序列模型，包括DeepMind的Griffin、AI21 Labs的Jamba、HGRN2和Stanford的Based62% 相似待验证2024年Sakana AI发布的《The AI Scientist》研究首次展示了端到端自动生成机器学习研究论文的可能性61% 相似待验证投机解码（Speculative Decoding）技术于2023年兴起，用小型草稿模型快速生成候选token，由大型主模型并行验证61% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/684040API
curl https://kongchang.com/api/v1/knowledge/claims/684040MCP
get_claim(id=684040)