研究简报AI 与科学 · 2024 年 5 月 8 日

研究方向 07
关注 AI 如何成为数学、因果推理、仿真、假设生成与科学发现的工具,同时研究如何保持有效性、多样性与可复现性。
FUURAA 概念视觉开放研究问题
相关研究出版物
研究简报AI 与科学 · 2024 年 5 月 8 日
研究简报全球 AI 发展 · 2026 年版
研究简报前沿 AI 安全 · 2026 年 2 月 3 日
动态证据雷达
该基准区分保存、检索和推理阶段,说明成功存储并不保证正确协助。
→自适应测量重新定义了评估:并非每一道题都能提供同等信息。选择正确的测试项目,可以在减少浪费的同时改善能力估计。
→AlphaEvolve 展示了一种可重复的路径:模型提出候选程序,客观评估器进行测试,进化循环保留更优解。公开案例已从计算与数学延伸至基因组、电力系统和地球科学。
→算法发现 Agent 的价值取决于候选结果能否被快速、一致并规模化地测试。更好的评估器可以把模型的广泛创造力转化为更可靠的实验进展。
→AlphaEvolve 的公开成果包括多个形式化领域中的优化程序与候选解。由于代码能够运行和测量,算法可以同时成为假设和可检验成果。
→相同的发现模式已被用于计算、量子电路和电力潮流优化。当改进被嵌入高频运行的基础设施时,微小的算法提升也可能反复产生价值。
→当自主搜索参与重要工程与科研成果时,所用模型、提示、评估器、数据及人类决策将成为成果可信度的一部分。
→斯坦福介绍了在大规模科学评审中使用 AI 辅助的实验。当前最成熟的用途,是在正式投稿前发现缺口、不一致和技术问题。
→