关闭导航

包含标签" mathematical research"的内容

字节跳动Seed-Prover于IMO2025成功解决四道题 展现自动定理证明新进展
AI妹 3 个月前 14 0

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

AlphaEvolve:自我进化AI优化谷歌架构并破56年数学难题
AI妹 3 个月前 12 0

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