#学术研究

共 22 篇相关资讯，按重要度与时间排序，每 3 小时更新。

★ 5

陶哲轩邓煜等反对 AI 暴力解题

陶哲轩、邓煜等 25 位菲尔兹奖得主联名发声，反对 AI 以暴力方式解题，认为这会摧毁人类数学精神。声明强调数学研究的核心是概念理解与新洞见，而非单纯给出答案。

量子位51 天前

★ 4

网友用AI解决12年数学难题（待评审）

一位开发者声称借助AI形式化方法解决了一个悬置12年的数学问题，并发布白皮书，目前正等待同行评审。若获证实，将展示AI在数学形式化证明领域的潜力。

Hacker News – AI47 天前

★ 4

数学家直面 AI 末日

《科学美国人》报道数学家如何应对 AI 对数学研究领域的冲击，包括 AI 在证明生成和问题解决上的进展。文章探讨了 AI 是否会取代数学家，以及数学界如何适应这一变革。

Hacker News – AI51 天前

★ 3

OpenAI 推出 GPT-Rosalind 学术计划供科研实验室使用

OpenAI 推出 Rosalind 学术计划，为符合条件的学术实验室提供 GPT-Rosalind 的赞助访问权限及相关工具，用于推进生命科学研究。此举旨在降低学术机构使用前沿模型进行科研的门槛。

OpenAI17 天前

★ 3

研究人员用 AI 设计可切割其他蛋白质的蛋白质

研究人员利用 AI 技术设计出能够切割其他蛋白质的新型蛋白质，展示了 AI 在蛋白质工程领域的精准设计能力。该成果有望推动靶向蛋白质降解、疾病治疗和生物工具开发等应用，是 AI 辅助生物设计的又一进展。

Hacker News – AI17 天前

★ 3

以色列魏茨曼研究所开发 Brain-IT 模型，可用 fMRI 重建所见画面

以色列魏茨曼科学研究所教授Michal Irani团队开发出名为Brain-IT的AI模型，能够通过分析功能性磁共振成像（fMRI）数据，重建受试者观看图像时的视觉画面。该研究推进了脑机接口与视觉解码方向的技术进展。

36氪22 天前

★ 3

研究：AI 辅助降低坚持性并损害独立表现

一篇 arXiv 论文研究发现，使用 AI 辅助会降低使用者的坚持性，并在脱离 AI 后损害其独立完成任务的表现。该结果对教育与企业场景中过度依赖 AI 工具提出警示。

Hacker News – AI22 天前

★ 3

AI 在 22 个科学领域发现隐藏的解决方案

Science 报道称，AI 在 22 个科学领域的问题中找到了「显而易见却未被发现」的解决方案，展示了 AI 在跨学科科研发现中的潜力。该报道引发 Hacker News 社区讨论。

Hacker News – AI23 天前

★ 3

AI成为数学界强大却棘手的新合作者

《金融时报》文章探讨AI在数学研究中日益深入的应用，认为它既是强大的协作工具，也带来可靠性、可验证性等棘手问题。文章触及AI辅助数学证明这一前沿议题，呼应了近期关于AI数学突破的争议。

Hacker News – AI42 天前

★ 2

arXiv 论文调查青年研究者对 AI 进入数学界的反应

一篇 arXiv 论文调研了早期职业研究者如何看待 AI 在数学研究中的使用，涉及工具采纳、信任度与学术规范等议题。属于学术社会学与 AI 交叉的小众研究。

Hacker News – AI20 小时前

★ 2

研究者推动 AI 基准测试走向科学化

《Quanta Magazine》报道一位研究者致力于让 AI 基准测试成为严谨科学而非「玄学」，聚焦评测方法的可复现性与可靠性问题。该话题在 Hacker News 上关注度较低。

Hacker News – AI14 天前

★ 2

研究：智能体 AI 或变革大学，但落地不易

施普林格一篇学术章节探讨了智能体 AI 对大学教育与科研的潜在变革作用，同时指出机构在采纳过程中面临治理、伦理与流程上的多重阻力。文章认为高校需要重新设计教学与管理模式才能释放其价值。

Hacker News – AI17 天前

★ 2

CADFather：协同工具调用实现自主 CAD 重建

论文提出 CADFather，一个自主智能体系统，通过协调互补工具从 3D 网格恢复参数化 CAD 程序。视觉语言助手检查目标与中间重建渲染，决定扩展哪些候选程序、调用哪些工具及何时结束，并维护多个候选程序保留最佳结果。系统无需额外训练，在 DeepCAD、Fusion360、MCB 等测试集上评…

arXiv cs.AI25 天前

★ 2

VoS：从不确定性到行动，学习引导 LLM 智能体

论文研究如何引导 LLM 智能体——是否纠正、在哪一步纠正、用何种机制。作者构建约 8.2 万条反事实续写的逐步结果表（SOT），发现不确定性可识别失败轨迹但无法定位有效干预步骤。据此提出轨迹级监控器 VoS（Value of Steering），在 12 种设置中平均提升 7.8 分，并优于五种…

arXiv cs.AI25 天前

★ 2

研究：让AI模型标记可疑答案的新路径

加州大学河滨分校的研究团队发现了一种新方法，可让AI模型在给出不确定答案时主动发出警示信号。该机制有望提升模型输出的可信度，帮助用户识别可能不可靠的回答。对高风险场景下的AI部署具有潜在价值。

Hacker News – AI27 天前

★ 2

哈佛发布AI时代博士数学教育峰会报告

哈佛大学发布关于AI时代博士数学教育的峰会报告，探讨大模型对数学研究训练与博士培养模式的冲击。报告聚焦AI工具如何改变数学证明、课程设置与学术评价体系。

Hacker News – AI31 天前

★ 2

AI 精灵现象与三类聊天机器人成瘾

一篇 arXiv 论文提出「AI 精灵现象」概念，并将聊天机器人成瘾划分为三种类型。研究试图为 AI 陪伴类产品的心理健康风险建立分类框架。

Hacker News – AI36 天前

★ 2

PrismAlign 提升文档结构化提取精度

PrismAlign 提出从单目感知到多视角立体对齐的新方法，重新定义文档结构化提取的精度上限。该技术有望提升复杂文档解析与信息抽取的准确率。

InfoQ AI39 天前

★ 2

HappyWorld-Bench 提出世界模型统一评测基准

面对各家纷纷投入世界模型研发的现状，HappyWorld-Bench 试图提供一套统一的评测考卷，用于横向比较不同世界模型的能力。该基准意在解决当前评测口径不一、结果难以对比的问题，为世界模型研究提供更规范的衡量标准。