ChatGPT-5.2 首次独立证明数学猜想，开启"氛围证明"时代
近日，比利时布鲁塞尔自由大学（VUB）发布了一项足以载入 AI 史册的研究成果：商用大模型已具备独立生成原创数学证明的 ...
代码到算法全自研，AlphaEvolve 算法太能打！谷歌 DeepMind 再出杀手锏
2026 年，谷歌 DeepMind 再次刷新了人们对 AI 能力的认知。其最新推出的AlphaEvolve——一个基于 Gemini 大模型的进化式 ...
AI科学家：开启自动化开放性科学发现的大门 附项目地址
在人工智能领域，一个激动人心的里程碑已经达成。由Chris Lu、Cong Lu、Robert Tjarko Lange等人领衔的研究团队在论文 ...
