● AI4SE 在 2025 年的影响与成就 | 研究博客

📌 一句话摘要 全面回顾了 AI4SE 实验室（JetBrains 与代尔夫特理工大学的合作项目）在 2025 年取得的成就，重点介绍了代码补全效率、智能体 IDE 和 LLM 评估方面的突破。 📝 详细摘要 本文详细介绍了软件工程 AI (AI4SE) 研究实验室（JetBrains 与代尔夫

● 陶哲轩对谈 OpenAI 高管：“试错成本”无限趋零，AI 正在把数学变成一门重工业

📌 一句话摘要 陶哲轩与 OpenAI 高管 Mark Chen 深度探讨了 AI 在数学领域的范式转移，强调数学的零试错成本与形式化验证是推动 AI 推理能力进化的核心引擎。 📝 详细摘要 本文记录了顶级数学家陶哲轩与 OpenAI o1 系列负责人 Mark Chen 的巅峰对话。核心内容聚

● 首个千万美金 ARR 的 AI4S 公司，完成 AI 设计新分子商业应用

📌 一句话摘要 MetaNovas 凭借 Agentic AI 平台 MetAmigo 攻克了 AI 分子研发从「生成」到「落地」的瓶颈，成为首个实现千万美金 ARR 的 AI4S 公司。 📝 详细摘要 本文介绍了 AI4S（AI for Science）领域领先企业 MetaNovas 的商业