AI资讯新闻榜单内容搜索-Science

关键词: AI新闻,AI数学,谷歌AI,DeepMind

谷歌的AI数学家，登上Science了！

关键词: AI新闻,AIPOCH,AI科研工作台,Open-Science

AIPOCH联合全球76家机构开源AI科研工作台Open-Science，并推出.science格式，将研究会话、文件版本、计算记录和审查证据打包交接以支持追溯与复现。

关键词: AI新闻,AI数学,AlphaProof Nexus,DeepMind

AI数学圈最近是真热闹。

关键词: AI新闻,AI4S,模型训练,AI科研

近日，清华大学电子工程系数据科学与智能实验室在 AI for Science 方向提出面向智能体符号回归（agentic symbolic regression）的运行时框架 SRHarness [1]，让 AI 更可靠地从观测数据中发现公式；同时构建机制发现基准 MechBench [2]，系统评测 AI 能否进一步揭示公式背后的机理。

关键词: AI新闻,OSWorld-Science,AI科研评测,模型训练

一道科学问题，AI 可以给出解释，列出步骤，甚至写出分析代码。

关键词: AI新闻,claude,人工智能,AI天文

Anthropic公布天体物理学家Brice Ménard借助Claude Science整合卫星公开数据、推算未观测区域并叠加1.19亿颗恒星，完成首张无空缺的紫外全天图。

关键词: AI新闻,Novix.science,RSI,Novix

10 月 6 日，OpenAI 公开了 AI 产出的 722 篇数学论文，包括准黎曼猜想的相关证明。前 Google 科学家、xAI 联合创始人 Christian Szegedy 表示，数学家穷尽一生攀登的险峰，机器可乘飞机直接抵达。但 Szegedy 认为，数学不是走向终结，而是探索方式的改变 —— 人们可以借助飞机，抵达更多未境之地，他自己对此兴奋不已。

关键词: AI新闻,AI天文,Anthropic,人工智能

Anthropic 发了一篇科学博客：约翰斯·霍普金斯大学的天体物理学家 Brice Ménard（同时也是 Anthropic 的研究员），用自家的科研工作台 Claude Science，做出了第一张完整的全天紫外地图

关键词: AI新闻,claude,ScienceIDE,AI科学家

Anthropic的Claude在不到四周内优化了30多个开源生物分子模型，AItonomy Foundation同期发布开源项目ScienceIDE，将科学代码库转化为可执行可验证的AI科学家训练环境。

关键词: AI新闻,DAMO RADAR,AI医疗,AI医疗影像

阿里巴巴达摩院与浙大一院联合研发的DAMO RADAR登上Science正刊，作为全球首个专家级通用影像AI模型，其在39,160次测试中可一次性识别超过146种腹部病症，平均AUC达0.913，首次达到影像科资深医生水平。