「科研难题」共找到 1607 篇相关文章
3晚攻克世界数学难题，黑洞方程秒解！OpenAI：AI正让科学加速100年
2026年，AI成科学家新战友。数学家Ryu用ChatGPT三晚攻克优化难题；物理学者Lupsasca用GPT - 5 Pro 18分钟重现黑洞隐藏对称性；OpenAI为生物领域构建GPT - 4B Micro助力攻克难题。OpenAI称科学加速时代来临。
Agent不是关键！人大AiScientist实现23小时、74轮长程记忆
中国人民大学团队打造的AiScientist，旨在解决长程机器学习研究工程的持续性难题。它通过File - as - Bus机制稳定保存项目状态，在多轮实验中表现出色，提升科研效率，推动AI真正接手科研流程。
刚刚，OpenAI发布「科研写作神器」Prism，Overleaf危
今天凌晨，OpenAI推出专为科学家打造的AI原生协作平台Prism，由GPT - 5.2驱动，解决科研工具碎片化问题。即日起向ChatGPT个人账户用户免费开放，功能或覆盖Overleaf，也引发数据安全等讨论。
谷歌卷Gemini模型，OpenAI刷GPT-5科研论文
谷歌推出Gemini 3 pro等模型，来势汹汹。OpenAI CEO称其带来经济阻力，还挖掘GPT - 5应用价值并发表89页论文，展示在科研流程中的表现，也提及失败风险与可用Prompt模板。
我国科研团队，突破了存算一体技术瓶颈
AI浪潮倒逼半导体产业创新，存算一体技术应运而生。但该技术应用存在问题，排序难题制约其发展。北大团队国际首次实现基于存算一体技术的高效排序硬件架构，成果发表在《自然∙电子》。
刚刚，2025哥德尔奖出炉！破解30年难题，十年论文摘桂冠
2025年哥德尔奖揭晓，康奈尔大学副教授Eshan Chattopadhyay与导师David Zuckerman凭借2016年论文《Explicit Two-Source Extractors and Resilient Functions》获奖。论文构造显式双源提取器，解决近三十年难题，还建立伪随机性研究子领域联系。
刚刚，MOSS孙天祥创业，直播AI4AI大规模科研
创业公司Analemma将全球公开直播部署端到端AI研究系统FARS，目标是全自动完成100篇论文，直播预计持续一个月。FARS是无人类干预、纯AI驱动的系统，能完成科研全流程。其创始人是孙天祥，团队年轻且获数千万美元融资。
用 Docker 跑大模型训练，Unsloth 解决了环境配置难题
Unsloth AI 发布 Docker 镜像版本，解决本地训练大模型环境配置难题。拉镜像就能训练，依赖和示例 notebook 都打包好。使用简单，不过有暂不支持 Mac 系统等限制，单卡 NVIDIA GPU 场景较适用。
腾讯AI Lab 提出解耦推理新框架，破解IMO 数学难题
腾讯AI Lab梁振文和宋林峰提出“解耦推理与证明”框架，解决当前大语言模型在自动化定理证明领域“思考”与“证明”能力失衡问题，成功解决5道IMO难题并开源成果。
Anthropic发布Fable 5.1：科研、编程能力翻倍，成本最高降45%
当地时间9月1日，Anthropic推出Claude Fable 5.1和Claude Mythos 5.1。Fable 5.1科研、编程能力翻倍，成本最高降45%，还能解决实际问题，此次模型竞争转向多方面综合较量。