「科研应用」共找到 2472 篇相关文章
陶哲轩，用AI爆改科研范式
菲尔兹奖得主陶哲轩让ChatGPT把数学论文翻译成Lean代码，与AI合作完成埃尔德什第613号问题反例的形式化证明。人机配合虽有波折，但AI节省了时间。此外，两位数学家也用AI验证第707号问题反例，数学证明正进入‘AI辅助时代’。
腾讯披露元宝已是TOP3应用
2025腾讯全球数字生态大会信息量大。腾讯元宝日活冲前三，混元3D建模精度提升3倍。C端产品逐步落地B端，如腾讯云CodeBuddy等。腾讯云还将带成熟生态出海，投资1.5亿美元在沙特建数据中心。
MemOS：一种用于 AI 应用的记忆操作系统
大型语言模型缺乏记忆管理系统，限制其发展。MemTensor与高校联合开源MemOS，它将记忆视为可管理资源，有三层架构，系统化三种记忆类型。评估显示其在推理、检索、加速等方面表现优异。
一篇大模型Agentic框架到应用最新综述
这是首篇系统拆解“大模型Agentic推理框架”的综述，不聊训练，只聚焦如何把LLM组织成会思考、协作、调工具的Agent，横跨科学发现、医疗、软件工程、社会经济模拟四大战场，给出统一语言、视角和评测。
苹果应用商店App Store推荐和惩罚机制
App 若想成功出现在Store中，开发者还需要经过上传操作和苹果公司严格的审核。同时，App当上架至App
苹果应用商店App Store审核指南，审核流程
苹果App Store的审核流程包括准备上传、等待审核、审核中、准备销售等阶段。审核被拒常见原因包括元数据不准确、App完成度不足等。
阿里自己上场，用Qwen3做起了SmartResume应用
近期，阿里用Qwen3-0.6B+YOLOv10做了智能简历解析系统SmartResume，Code、Model、Paper都已开源。该系统支持多种文档格式，融合OCR与PDF元数据完成文本提取，结合版面检测重建阅读顺序，并通过LLM将内容转换为结构化字段。
Auto-Research「终极大考」：新基准撕下大模型科研伪装
来自多所高校的研究者提出MLS - Bench，用于解决现有Auto - Research评测的归因问题。它含140个真实研究任务，校准受控修改范围，主实验显示当前模型在方法发现上有明显缺口，Auto - Research需更严格评测标准。
XcodeBuildMCP：让 AI 像开发网页一样搞定 iOS/macOS 应用
Sentry开源的XcodeBuildMCP项目，打破传统AI辅助开发手动验证循环，通过MCP和CLI让AI代理操作Xcode构建系统，实现自动化开发流程。它配置简单，能覆盖日常开发需求，助力iOS开发迈向‘无人值守’。
用超图撕开知识边界：16万节点无师自通搞Agentic科研
传统知识图谱只能用三元组描述世界，难以应对真实科学场景里的多体交互。作者提出将文献里n元关系存成超图超边，让LLM在多智能体框架里‘沿着超边走路’，并构建了超图进行实验，实现可验证的科学发现。