「科研决策」共找到 673 篇相关文章
ScienceDiscovery实现树搜索驱动RSI，加速科学发现，小时级写出通用积分器，低成本找出物理科学规律
openJiuwen社区的ScienceDiscovery把科研试错交给程序，通过树搜索实现科研场景产物RSI。它能在多个案例中高效产出成果，成本低、耗时短，且底座灵活，可换算法和任务，但推广需解决验证速度和可信度问题。
AI营销头雁冲刺IPO，2个北大-宝洁校友创办
营销Agent公司深演智能再度冲刺港股IPO，这是年内第二次递表。它是决策AI技术公司，主营AI营销和销售，前身是品友互动。按2024年收入计，其在中国营销和销售决策AI应用市场排第一，已完成E轮融资，估值达19亿元。
陶哲轩，用AI爆改科研范式
菲尔兹奖得主陶哲轩让ChatGPT把数学论文翻译成Lean代码，与AI合作完成埃尔德什第613号问题反例的形式化证明。人机配合虽有波折，但AI节省了时间。此外，两位数学家也用AI验证第707号问题反例，数学证明正进入‘AI辅助时代’。
我国科研团队，突破了存算一体技术瓶颈
AI浪潮倒逼半导体产业创新，存算一体技术应运而生。但该技术应用存在问题，排序难题制约其发展。北大团队国际首次实现基于存算一体技术的高效排序硬件架构，成果发表在《自然∙电子》。
Auto-Research「终极大考」：新基准撕下大模型科研伪装
来自多所高校的研究者提出MLS - Bench，用于解决现有Auto - Research评测的归因问题。它含140个真实研究任务，校准受控修改范围，主实验显示当前模型在方法发现上有明显缺口，Auto - Research需更严格评测标准。
用超图撕开知识边界：16万节点无师自通搞Agentic科研
传统知识图谱只能用三元组描述世界，难以应对真实科学场景里的多体交互。作者提出将文献里n元关系存成超图超边，让LLM在多智能体框架里‘沿着超边走路’，并构建了超图进行实验，实现可验证的科学发现。
科研写作神器，超越Mathpix的科学公式提取工具已开源
LaTeX公式OCR现有方法处理真实文献面临挑战，DocTron团队提出系统性方案。构建CSFormula数据集，提出DocTron - Formula模型，在评测和实际应用中表现出色，超越Mathpix等工具。
人大和微软开源Arbor，一棵假设树突破自主科研新高度
中国人民大学和微软研究者推出Arbor，它将实验挂到假设树，让研究信息跨周期保留。在六道真实研究任务中表现优异，增益超Codex和Claude Code，且成本相当，还能从失败中积累经验。
从数据到决策：AI 驱动的 Quick BI 架构设计与实践
阿里云智能集团瓴羊高级技术专家王璟尧，介绍阿里云 Quick BI 从传统 BI 到 AI 驱动的智能 BI 的进化，解析领域大模型与 BI 引擎协同设计等技术权衡，为行业提供可复用技术范式。
这脑洞神了！两AI「互喷」，竟治好祖传科研软件95%老毛病？
科学计算领域开源工具多，但大多难以直接运行，制约AI4S与Agentic Science发展。深势科技推出Deploy - Master，以执行为中心，经搜索和构建，将约50万个仓库筛选收敛，构建成功率达95%以上。