科研辅助」共找到 586 篇相关文章

产品应用7

摩根士丹利如何攻克编程界的“最头疼问题”

金融巨头摩根士丹利开发AI工具DevGen.AI,将旧代码转现代语言,此难题通用工具难解决。该工具今年审阅900万行旧代码,节省28万小时。虽有局限,但降低对旧语言开发者依赖,且不会减少人才需求。

宝玉AI
新闻资讯7

GPT-6突破「素数间隔」纪录!这次是加入OpenAI的北大数院07级校友

OpenAI总裁宣布进入AGI时代,GPT - 6 Astra虽仅向少量组织开放,但引发大量讨论。北大数院校友苏炜杰宣布其将素数间隔上界从246推进至186,完成Lean验证。多家机构围绕此问题研究,AI或成数学研究伙伴。

机器之心
新闻资讯8

从沙子到会“思考”的智能材料,张朝阳与物理学家刘若微揭秘世界的底层逻辑

8月12日,张朝阳与刘若微教授围绕“复杂的世界:从沙子到智能”主题,从沙堆、泡沫切入软物质与非平衡统计物理前沿,探讨阻塞相变、低功耗类脑智能材料研究路径及未来潜力,还分享科研感悟。

量子位
产品应用8

Claude Opus 5发布,砍掉了Claude Code 80%的系统提示词

Anthropic发布Claude Opus 5,接近Claude Fable 5智能且价格减半,测评成绩出色,科研和视觉输出能力也有进步。同时发现砍掉Claude Code 80%系统提示词,编码评测分数不变,还总结出上下文工程新方法论。

AIGC开放社区
算法论文8

一个问题几百美元,DeepMind智能体一次搞定了9个Erdős问题

DeepMind团队的大模型在一次‘测试’中解决9个开放的Erdős问题,还自动验证,解法通过人工审查。其框架AlphaProof Nexus结合大模型与Lean编译器,研究展示了AI辅助正式证明搜索技术潜力。

机器之心
新闻资讯7

GitHub 推出 MCP 服务器集成,全面扩展机密扫描功能

GitHub宣布MCP Server全面支持机密扫描功能,将其扩展至AI辅助和代理驱动的开发工作流,可让外部工具和AI工作流访问安全洞察、自动化修复。这反映安全工具正从被动检测转向自动化治理。

InfoQ
新闻资讯8

哈佛物理教授疯了:我让AI写论文,结果两周干完博士一年工作!已发顶刊

哈佛物理学教授Matthew Schwartz指导Claude 4.5,两周产出顶刊级量子场论论文,人类博士生则需一两年。实验中AI展现能力也暴露问题,教授总结其优缺点及应对心法,还探讨人类科研人员未来。

新智元
产品应用8

史诗级痛点修复!GPT-5.3 Instant 突发上线:写作,语气,准确度全面升级

ChatGPT目前使用率最高的模型GPT-5.3 Instant正式上线,核心优化用户日常交互体验,解决此前反馈强烈的痛点,如削减拒答与说教、让对话更自然、优化联网搜索等,还降低幻觉率,提升写作辅助能力。

AI寒武纪
新闻资讯8

嚯,具身智能和脑机接口在康复医疗合体了

在第二届傅利叶具身智能生态峰会上,CEO顾捷宣布给康复患者戴脑机接口设备,让机器人依脑电信号辅助康复训练。还启动“脑机具身·数据引擎联合创新计划”,圆桌环节嘉宾探讨技术影响与应用。

量子位
新闻资讯8

【AAAI 2026大会特邀报告】从推理到科学发现:AI迈向可精专通才之路

上海人工智能实验室周伯文在AAAI 2026大会提出,当前处于AGI前夕,需通专融合智能。他认为可深度专业化通用模型是实现AGI的可行路径,科学发现是AI前沿,还介绍了SAGE架构及相关成果。

OpenMMLab