该标签下共有 4 篇文章
作者: aeks | 发布时间: 2026-06-09 00:03
学科: 数学 物理学 系统科学 计算机科学与技术
人工智能正在成为数学和理论物理研究的得力助手，而非替代者。它能自动验证证明、寻找反例、提出中间步骤，大幅提高研究效率。本文介绍AI在解决经典难题、辅助猜想生成、形式化推理等方面的最新进展，并探讨人类科学家如何与AI协同工作。
标签: 人工智能辅助数学 人机协同科研 形式化证明 数学猜想生成 理论物理与AI
作者: aeks | 发布时间: 2026-05-25 18:03
学科: 管理科学与工程 计算机科学与技术
科研人员正重新评估是否值得为AI工具付费：AI虽能加速 coding、文献分析和数据提取，但订阅涨价、用量限制变严，且AI出错还需人工反复核查——省时省力不等于真省钱。
标签: AI用量限制 人机协同科研 大模型误用风险 科研AI成本
作者: aeks | 发布时间: 2026-05-21 20:01
学科: 天文学 智能科学与技术 物理学 计算机科学与技术
本期《自然》播客介绍AI科研助手如何加速科学发现，包括耐高温水熊虫、南极原始冰芯记录太阳系轨迹、以及用激光雷达‘拐弯’探测等前沿研究，还探讨了人类与AI在科研中不可替代的协作关系。
标签: AI科研助手 人机协同科研 南极古冰芯 水熊虫耐热机制 非直视激光雷达
