AI数学证明的新纪元 - 从OpenAI离散几何成就看科研智能体的潜力与局限
当 AI 开始证明数学从 OpenAI 离散几何突破，看科研智能体的价值与边界关键进展OpenAI内部通用推理模型证伪了平面单位距离问题中长期被视为定论的 n^{1+o(1)} 猜想，成功构建了具有明确指数级增益的反例。更广阔的视野结合AlphaGeometry、AlphaProof、Lean/Mathlib等成果，探讨AI如何从单纯的计算辅助升级为研究协作伙伴。核心洞察AI的价值不仅在于更快速的运算，更重要的是拓展研究边界、揭示跨学科关联、提供反例并协助验证。保持警惕AI成果需要专业评估、形式化确认和学
2026 字节奖学金全球启幕：首度开放申请
快科技 5 月 20 日讯，字节跳动于今日正式宣布，2026 年度“字节跳动奖学金”申请通道全面开启。据悉，本届奖学金项目实现重磅升级，首次将申请范围拓展至全球，并相应增加了获奖名额。今年计划资助逾 20 位杰出学子，每位获奖者可斩获 20 万元科研经费，其指导教师亦可获得 10 万元奖励。此外，入选者还将享有字节跳动校园招聘优先推荐等专属扶持。该项目面向全球在读高校学生，要求毕业时间为 2027 年 6 月之后，覆盖人工智能、计算机科学与技术及基础科学等学科。重点支持的研究领域包含基础大模型、视觉与语音
刘国中赴两院调研：强化三农与健康领域基础研究
新华社北京 5 月 20 日电 日前，中共中央政治局委员、国务院副总理刘国中前往中国医学科学院与中国农业科学院，就基础研究工作的开展情况进行实地调研。他指出，需深刻领会并贯彻习近平总书记在基础研究座谈会上的重要指示，确立正确的政绩观，强化使命担当，依托新型举国体制优势，采取更有力、更务实的措施，着力加强“三农”及卫生健康领域的原始创新，全面提升科技实力，为建设农业强国与健康中国提供坚实支撑。刘国中依次视察了中国医学科学院本部及其下属的基础医学研究所、医学实验动物研究所，详细询问了原始创新进展及关键核心技术
北京人工智能研究院人才招募启事
北京人工智能研究院（Zhongguancun Institute of Artificial Intelligence）是专注于人工智能核心技术研发与产业应用的国家级科研平台。研究院坚持“强基础、重应用”的发展方向，围绕前沿人工智能技术，以重大科研项目为抓手，加强高端人才系统性培养，致力于产出具有产业影响力、国际竞争力的原创性研究成果，推动科技事业实现新跨越。研究院积极探索创新科研模式，构建了一支兼具科研创新精神、产业洞察力和技术实践能力的高水平人才团队，注重跨学科协同创新，打造“产学研投”深度融合的创新
AI for Science的决胜之道：多模型协同编排能力
当业界纷纷追逐「更强大的模型」时，真正的领跑者已经在布局「更高效的协作」。当全球 AI for Science 领域还在较量「谁的模型性能更优」时，真正稀缺的战略资源已悄然转移——核心已不再是模型本身，而是如何让不同代际、不同技术路线、不同学科知识深度的模型，像一个高效的研究团队般协同运作。Anthropic 在 2026 年 5 月发布的 BioMysteryBench 研究中，坦诚指出 Claude「适合辅助角色，难以主导科研进程」；Google DeepMind 通过 6 个分工精细的 Agent
智能科研：自动化研究的实施路径与操作手册
科研自动化工具正以极快的速度更新，然而多数研究人员依旧依靠传统方式开展实验设计工作，这通常使研究周期增加3至6个月（自然杂志，2024年AI调查）。一篇发表于2025年5月的arXiv文章[1]正在尝试改变这种状况：Kong等人编写的《智能科研：路线图与操作指南》提出了一套系统方法，帮助研究者将人工智能技术整合到整个研究流程中。重要提示该路线图提供了一个可执行的五步法，将假设生成的效率提升十倍（从4.2周减少到3天），为注重研究效率的团队提供了新的解决方案。传统模式：手工研究的效率障碍在传统研究流程中，实
成都市龙泉驿区图书馆引入沁言学术，全流程AI科研平台免费开放试用
面对科研选题是否感到毫无头绪？在海量数据库中搜寻却难觅精准文献？阅读文献难以抓住精髓，撰写论文时却无从下笔？面对堆积如山的文献感到整理无章？喜讯传来！成都市龙泉驿区图书馆为广大读者推出了沁言学术智能全流程科研服务平台的试用机会！“沁言学术”是一款深度结合人工智能技术的全方位学术平台，其核心功能旨在简化研究流程、激发创新思维、提高学术成果质量。与传统工具不同，它能像一位资深科研伙伴一样，协助研究者完成从构思选题、研读文献到记录笔记、撰写论文的全生命周期任务。通过将繁琐流程自动化，沁言学术帮助研究者摆脱机械重
北京AI赋能科研，开启基础研究智能新纪元
凌晨两点，盛虹石化实验室灯火通明却空无一人。机械臂精准抓取样本，AGV小车灵活穿梭，AI系统高速运转实时分析数据。此前这里曾有70多名实验人员，因化学品操作风险，曾有人因皮肤沾染送医。如今，人员不再参与具体操作，仅定期复查结果。每天1600个样本、5000多项分析项目，在无人值守下高效完成。这些变革的背后，是北京正全面推进的一场深刻转型——利用人工智能重塑基础研究，为科研注入“智能引擎”。“黑灯实验室”并非真的关灯，而是指在AI驱动下实现全流程无人化运作。实验路径设计、样品处理、仪器操作、数据分析均由系统
人工智能重塑高教：堪比大学诞生的变革
李星CERNET网络中心副主任、清华大学教授“人工智能对高等教育的冲击，在我眼中，其分量等同于十二世纪现代大学在欧洲的问世，是一场从无到有的根本性重塑。”谈及此话题，清华大学李星教授如是说。“未来，人类终将学会与人工智能共存。”他提出，教育的核心在于赋予人学习能力、解决问题的本领以及适应社会规范的素养，而在人工智能时代，高等教育仍需坚守这些本质，以不变应万变。01人工智能的应用思路将发生转变02教育与科研迈入一个全新时代03大智慧与小聪明的融合
智能翻译新体验：告别排版困扰，专注科研创新
在如今AI技术飞速发展的时代，虽然翻译已成寻常事，但在实际工作中，为何仍让人觉得繁琐复杂？试想：你手握一份前沿学术PDF或合作方刚传来的关键项目PPT。满怀期待地将它导入翻译工具，结果却得到一堆混乱的文字——多栏布局错位、化学结构式丢失、逻辑图表变得面目全非。真正令科研人员沮丧的，并非语言障碍本身，而是当我们试图借助AI提升效率时，反而制造了更多“数字垃圾”。01PDF高精度还原：科研文档的理想形态传统PDF翻译最怕什么？怕分栏、公式和跨页图表。衍因科技最新推出的PDF高保真模式，解决了阅读“沉浸感”的难
2026年广西AI创新平台申报工作正式开启
各有关单位：为深入贯彻落实自治区党委、政府关于加快推动人工智能高质量发展的决定，根据《广西人工智能开放创新平台建设工作指引》、《广西壮族自治区面向东盟联合实验室管理办法（试行）》，现组织开展2026年广西人工智能开放创新平台组建申报工作，现将有关事项通知如下：一、建设目标重点聚焦自治区全力打造的制造业十大现代化支柱产业，深入实施“人工智能+”行动，整合集聚产业资源和创新要素，促进人工智能企业、各行业领军企业、高校院所协同创新，集中建设一批广西人工智能开放创新平台，推动人工智能技术成果转化应用，支撑广西人工
初心实验室：重温誓词，AI赋能化工
初心实验室不忘初心牢记使命01重温入党誓词5月17日下午，学院组织学生党员在党群服务中心举办初心实验室暨AI赋能专题研讨活动。活动开始，全体成员向党旗庄严宣誓：“我志愿加入中国共产党……”这不仅是初心的重申，更是精神的洗礼，激励学生党员筑牢信仰，以昂扬姿态投身实践。重温入党誓词02集中研讨01AI浪潮化学青年如何坚守初心面对AI浪潮，化学青年需摒弃浮躁，专注实验本质，用AI辅助而非替代基础研究，保持严谨求实。02如何利用AI工具实现国家战略面对AI浪潮，青年应坚守报国初心，聚焦新能源、精细化工等刚需，用A
AI助力经管科研：研一新生必备科研工具指南
工欲善其事，必先利其器。在AI技术重塑科研模式的当下，掌握一套高效工具组合，可助你大幅减少科研路上的摸索时间。对于刚入学的研一学生而言，面对繁多的文献、数据处理和论文排版等挑战，许多经管专业同学会遇到“工具选择困难”。Stata和Python该选哪个？LaTeX是否值得学习？Zotero如何使用？哪些AI工具真正能提升效率，哪些只是噱头？本文结合多年科研实战经验，为经管类研究生整理了一份“入学必备工具与AI助手工具清单”，按此配置，科研效率可提升至少3倍。核心工具推荐：Zotegrity免费开源，是文献管
赛博望远镜AI日报：Musk败诉与电影级视频模型
📅 2026年5月19日 🔖 第 23 期| 阿里云HappyHorse电影级视频生成模型上线 || Anthropic收购API工具公司Stainless || Elon Musk起诉OpenAI败诉 || Claude Code跑通全套科研流水线 |核心内容：Anthropic正式宣布完成对知名API开发工具厂商Stainless的收购，此举意在巩固其开发者工具生态，全力推动Claude API的生态系统扩展。详细解读：核心内容：Elon Musk针对Sam Altman及OpenAI发起的诉讼正式宣
AI科研革新：智能技术重塑学术办公模式，专属培训助力高效科研
2026年，AI智能体与人工智能大模型正全面颠覆传统科研与办公模式，成为学术研究、日常工作的核心竞争力。越早掌握这套硬核能力，科研与工作效率越能实现量级跃升。 为此我们打造了2门专业级AI科研实战培训，下滑即可查看2个完整课程详情！📚课程一：学术AI OpenClaw（龙虾）、Claude Code、协助学术研究与日常办公自动化高级研修班📚课程二：人工智能ChatGPT等大语言模型辅助全场景应用与学术科研、日常办公、论文撰写与AI绘图高级培训班课程介绍一：各高校及科研院所、企事业单位及个人：2026年，A