「科研难题」共找到 1567 篇相关文章
陶哲轩最新演讲：AI 不是来抢数学家蛋糕的，是来把蛋糕做大的
陶哲轩在 SAIR 基金会活动演讲指出，数学领域工作方式正被新技术撬动。数学保守、协作难，而形式验证是关键。他主导项目用三个月解决 2200 万代数题，还探讨了 AI 在数学中的应用，认为它应做大蛋糕。
GPT-5.2改写粒子物理教科书！人类手算32项算不出，AI一行公式搞定
OpenAI与多校研究者发布预印本论文，GPT - 5.2 Pro猜出关键公式，后被OpenAI内部模型证明。它推翻粒子物理教科书结论，指出单负树图振幅在特定条件下不为零，这是其在基础科学第三个公开贡献案例。
社区供稿丨迈向AI4S 2.0，上海AI实验室开源书生万亿科学大模型Intern-S1-Pro
2月4日，上海人工智能实验室开源万亿参数科学多模态大模型Intern - S1 - Pro，为AI4S迈向2.0时代提供开源基座。其核心能力跃升，架构创新，协同通用与科学能力，还构建‘算力 - 算法’基座，高质量开源赋能生态。
Cloudflare 通过左移安全实践扩展基础设施即代码
Cloudflare实施基础设施即代码和自动化策略执行，将安全验证前置，消除手动配置错误，在部署前捕捉安全违规。该方案以Terraform等为核心，还解决了采用难题、配置漂移等问题。
一场由中国公司引发的全球热议：AI服务是否该“对结果兜底”？｜甲子光年
2025年末软件行业寒冬，百融云创提出“结果即服务”（RaaS）战略及Results Cloud平台，引发全球热议。其将AI定义为员工，转变了商业风险承担模式，但也面临治理、责任归属等问题。
Stack Overflow已死？CEO带队狂赚1.15亿刀，6个月原地反杀
近日，‘Stack Overflow已死’话题爆火。但CEO回应，公司年收入破亿实现转型。AI虽拿走‘简单题’，‘难题’却成稀缺资源。公司采取多策略应对，如禁止AI答内容、推AI Assist等。
一人作弊，全组「连坐」拒稿！ ICML最狠新规，华人大佬挂帅严查
ICML程序主席发布同行评审新举措，包括打击“切香肠”式投稿、“连带直接拒稿”机制、审稿人互惠原则等，若有人论文作弊，全组投稿或被拒，2026年会议将由华人大佬挂帅。
告别碎片化日志：一套方案采集所有主流 AI 编程工具
在AI编程工具普及的当下，有效采集和分析AI代码生成数据成重要课题。该文介绍一套基于MCP架构的多AI工具代码采集方案，支持多种工具和操作系统，有轻量化、用户无感等特点，已和Aone合作。
开源“裸考”真实世界，国产具身智能基座模型拿下全球第二！
国产具身智能基座模型WALL - OSS在RoboChallenge真机评测榜单获全球第二，多个单任务排第一。它是开源模型，开源程度彻底。还介绍其技术突破及团队情况，强调开源对具身智能发展意义重大。
重磅发布 |多智能体协同驱动，新一代流体力学工业软件平台正式亮相！
2025年11月29日，第四届智能流体力学产业联合体大会上，西北工业大学等联合发布“多智能体协同驱动的新一代流体力学工业软件平台”，解决流体设计仿真瓶颈，含完整体系，有多项关键技术及典型应用场景。