标签：算法验证

谷歌给「AI解数学题」神话降温：能摘低垂果实，但过程依然痛苦

谷歌近期利用Gemini人工智能系统对Erdős Problems数据库中700个未解决问题进行了系统性研究，取得了显著进展。研究团队开发了名为Aletheia的定制数学研究智能...

AIGC动态

4小时前