「科研辅助」共找到 621 篇相关文章
陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车
数学大师陶哲轩第三支Lean 4自动化数学证明视频，携手GitHub Copilot挑战「ε - δ」极限问题。Copilot处理加法较顺，减法卡壳，乘法失控。复杂证明时它短板尽显，陶哲轩认为复杂证明还得靠人脑。
2025 AI赋能流体力学国际研讨会暨第五届全国智能流体力学研讨会于香港顺利召开
2025年11月29日至12月1日，2025 AI赋能流体力学国际研讨会暨第五届全国智能流体力学研讨会在香港理工大学举行。会议汇聚全球专家，设3个主题分会场，还组织圆桌研讨，推动了智能流体力学发展。
OpenAI获五角大楼2亿美元订单，迈向军工领域
OpenAI推出“OpenAI for Government”计划，为美国政府提供AI工具。首个合作是与五角大楼的试点项目，合同上限2亿美元，用于变革行政运营，州和联邦层面已有应用实例。
Cursor 1.0 正式发布：AI 代码编辑器进入“自动审查 + 记忆”时代！
智能代码编辑器 Cursor 正式发布 1.0 版本，带来多项重磅功能，如自动代码审查助手 BugBot、Jupyter Notebook 原生支持、项目级 AI 记忆等，还提升了用户体验，是向“AI 编程操作系统”迈进的重要一步。
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
陶哲轩迷上形式化数学证明，开设YouTube账号分享用Lean形式化证明的视频，还发布开源项目，将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码，项目可作学习资料，部分内容已完成翻译。
一个被低估的Markdown神器！
本文是开源君分享的一款被低估的开源AI原生Markdown编辑器OpenKnowledge，它兼顾美观编辑体验、AI协作、本地存储，满足个人和团队知识管理需求，目前GitHub已收获4.1k Star。
Google DeepMind启动首个人类临床试验，目标：用AI攻克所有疾病
Google旗下Isomorphic Labs正准备启动AI设计药物的人体临床试验。该公司源于DeepMind的AlphaFold，目标是构建“世界级药物设计引擎”，用AI攻克所有疾病，引发网友热议。
代码智能体占领GitHub！自动修bug、加功能、写文档，一台手机就能指挥
GitHub上新代码智能体Copilot Coding Agent，可自动修bug、加功能、写文档，开发者评价很棒。在手机APP就能操作，还能同时分配多任务。微软宣布VSCode中GitHub Copilot将开源，还发布多项新功能。
从Chat、Code到Discovery，AI开始学着做科学家
本文报道AI发展进入全新阶段，任务从聊天、写代码拓展到自主科学发现，介绍PhAI Labs推出的DFM系统，分享架构设计与落地案例，分析行业痛点与解决路径。
所有AI工具共享持久私有记忆，OpenMemory MCP杀疯了~
本文介绍实用的MCP Server - OpenMemory MCP，它能为AI提供持久记忆、跨平台和跨会话功能，数据私有，隐私有保障。还演示了本地化部署步骤，且官方封装成MCP降低了使用门槛。