标签：书生

书生S2破三维Ghys猜想：AI真能做数学吗｜老高AI观察

AI 用 400 页推导加 7 批接续，把三十年没人解出的 Ghys 猜想推到可机器验证。变的是判定权。

老高AI观察

3周前

书生-S2是一款由上海人工智能实验室于2026年9月推出的多模态科学基础大模型，主要用于科学文献理解、科研长程推理与智能体任务，支持直接读取论文原始页面与...

AI模型

2个月前

AI工具箱导航官网汇集了来自国内外的上千款AI工具。每日更新和添加最新的AI工具。此外还收录了常用的AI学习开发网站、框架和模型。帮助你轻松跟上人工智能的步伐，实现任务自动化，提升工作效率！ Ctrl + D 或 ⌘ + D 收藏本站到浏览器书签栏。