「科研范式变革」共找到 1536 篇相关文章
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
DeepMind开源形式化数学猜想库，收录经典数学猜想，还提供代码函数方便形式化表述。此库可作测试基准提升AI数学推理能力，是AI+ATP范式关键前置步骤，团队邀更多人参与丰富内容。
RAG系统设计：揭秘语义搜索被低估的核心价值与KG驱动的架构选型策略
在AICon大会上，Hugging Face的尹一峰探讨基于语义搜索的RAG系统重要性，揭示其被低估原因，分析本质与作用，分享设计高效架构方法，还讨论KG驱动的RAG系统及范式选择。
AI 群星闪耀之前，商汤先相信那群少年
文章讲述商汤奖学金支持青年科研者的故事。自2017年设立，已资助280位本科生，在他们未成名时给予信任与支持，不仅是奖金，还提供资源和网络，获奖者们正从不同方向推动AI发展。
下一代mRNA药物是什么？由谁来定义？｜对话深信生物李林鲜
本文对话深信生物李林鲜，回顾其从科研到创业经历。深信成立后经历mRNA产业起伏，从疫苗到治疗性产品推进。现探索用AI助力研发，李林鲜期望未来由深信定义下一代mRNA药物。
从15个研发配1个设计，倒挂成1个研发配2个设计！OpenAI设计主管：现在是有史以来 成为设计师的最佳时机
在科技行业，产品设计师与用户研究员对职业前景焦虑、满意度低，而OpenAI产品设计负责人Ian Silber认为当下是成设计师最佳时机。他与Lenny探讨AI时代设计变革，分享应对策略、人类设计师价值等观点。
落地商用开启国产一体化智算新时代，蓝芯算力LX500亮相滴水湖RISC-V产业论坛
2026年8月13日，第五届滴水湖中国RISC - V产业论坛召开。蓝芯算力生态营销负责人许庆伟以核心产品LX500为线索，从架构、算力、商业落地三方面，展示国产RISC - V算力商用路径。
刚刚，中国AI交卷！40年难题56分钟破局，AI不再「学习」
文章介绍AI科研应用新趋势，从学习已知知识转向搜索未知解。以百度‘伐谋’为例，它助力南京林业大学检测松材线虫病，还在多学科和产业场景中展现价值，百度还启动科学家计划推动其发展。
完全免费！Claude Science开源平替，DeepSeek/GLM想用哪个用哪个
Anthropic发布面向科学家的AI工作平台Claude Science，能集成科研工具、多智能体协作等，但有系统、付费和模型使用限制。YC孵化团队推出开源平替OpenScience，不绑定模型厂商，功能更丰富且安装简单。
翁荔创业大模型首秀！告别“120亿美元估值0模型”
Thinking Machines Lab发布首个模型TML - Interaction - Small，联合创始人翁荔演示。该模型让实时交互成原生能力，响应延迟比GPT - realtime - 2.0快4倍，解决了多数AI“回合制”问题，还介绍了实现机制和公司过往情况。
腾讯大模型动作慢了吗？姚顺雨带着Hy3 preview杀进第一梯队
国内大模型发展迅速，腾讯此前动作较慢。姚顺雨加入后推动变革，混元团队重建推出Hy3 preview，有295B总参数和快慢思考融合架构，开源且性能优，在多方面表现出色，成本下降。