搜索
关闭导航

包含标签" mathematical research"的内容

字节跳动Seed-Prover于IMO2025成功解决四道题 展现自动定理证明新进展

字节跳动Seed-Prover于IMO2025成功解决四道题 展现自动定理证明新进展

AI妹 5 个月前 19 0

In the recent International Mathematical Olympiad (IMO2025), the automatic theorem proving system

Algebra extensive reasoning technologies mathematical problems International Mathematical Olympiad 2025 mathematical research
查看详情
AlphaEvolve：自我进化AI优化谷歌架构并破56年数学难题

AlphaEvolve：自我进化AI优化谷歌架构并破56年数学难题

AI妹 5 个月前 17 0

Google DeepMind today released AlphaEvolve, an artificial intelligence agent with self-evolution c

AI model training Kissing Number Problem Gemini large language model material science Strassen algorithm
查看详情

资讯姬

文章数量13547 总阅读量239.69k 总评论量0 会员数量2

最新评论

链接

搜索一下

关于我 免责协议 隐私保护 广告合作 侵权删除
AI导航 AI导航
本站由emlog驱动