为什么说，AI4S正在复刻三年前的Coding？
二级市场从不缺少“万亿空间”的故事，真正稀缺的是一条能够从技术进步传导至订单、收入和现金流的确定性路径。
为什么说，AI4S正在复刻三年前的Coding？
二级市场从不缺少“万亿空间”的故事，真正稀缺的是一条能够从技术进步传导至订单、收入和现金流的确定性路径。
AI4S又一瓶颈被攻克：两个AI「吵架」，让科研代码部署成功率突破95%
过去几十年里，科学计算领域积累了数量空前的开源软件工具。从生物信息学、化学模拟，到材料计算、物理仿真与工程设计，几乎每一个学科方向，都形成了自己的工具生态。在GitHub等平台上，成千上万个代码仓库声称可以被用于科研实践。
清华大学AI4S研究新进展：让科学智能体发现公式、探索机理
近日，清华大学电子工程系数据科学与智能实验室在 AI for Science 方向提出面向智能体符号回归的运行时框架 SRHarness ，让 AI 更可靠地从观测数据中发现公式;
顶尖模型离“科学家”还差得远？AI4S亟待迈向2.0时代
来自 10 个不同科学领域的 100 位科学家为模型构建了评测题目，结果显示:前沿模型在通用科学推理任务中得分可达 50 分，但在各类专业推理任务中，得分骤降至 15-30 分。
WorkBuddy独家限免Step 5 Preview，复杂工作直接交给AI
最近刷到不少人在聊阶跃星辰的Step 5 Preview。并且这么有实力派模型还正式开源了，技术大佬可以直接下载权重本地部署。
开坑！从 AI Coding 到 AI4S：新开源项目 Pero 的一次探索
PS：最近从 Qoder 离职了。原本还想继续折腾 AI Coding 和 Coding Agent 相关的开源项目，但考虑到过去的工作经历， 还是希望换个应用方向，尽量避开与此前工作内容、产品方向的交集，做点不一样的东西。于是，就有了这个新坑：Pero。
清华大学AI4S研究新进展：让科学智能体发现公式、探索机理
这是继团队此前在《Nature Reviews Physics》上提出反绎式人工智能框架 、并在《Nature Computational Science》上提出神经符号回归方法 ND² 之后，在 AI for Science 领域的进一步工作。
清华大学AI4S研究新进展：让科学智能体发现公式、探索机理
近日，清华大学电子工程系数据科学与智能实验室在 AI for Science 方向提出面向智能体符号回归的运行时框架 SRHarness ，让 AI 更可靠地从观测数据中发现公式;
这脑洞神了，两AI“互喷”，竟治好祖传科研软件95%老毛病？
过去几十年，科学计算领域诞生了无数开源工具，却鲜有能「开箱即用」。深势科技Deploy-Master以执行为中心，用自动化工作流一次性部署验证超5万个工具，为Agentic Science铺平道路。过去几十年里，科学计算领域积累了数量空前的开源软件工具。