QbitAI

OpenAI 把千禧年难题当 Benchmark 刷

• 量子位爆料 OpenAI 的数学成果直指霍奇猜想这一千禧年难题
• 将顶级数学难题当作模型能力评测的"Benchmark"
• 凸显 OpenAI 在数学推理上的激进布局

1 个月前访问原文链接

HackerNews

新一代 Transformer：循环并非关键

• 一篇技术博客探讨下一代 Transformer 架构方向
• 观点认为"循环/递归"并非提升模型推理能力的关键路径
• 提出更值得关注的其他架构改进方向（基于标题摘要推断）

1 个月前访问原文链接

HackerNews

OpenAI 千禧难题成果附 Lean 4 形式化证明

• OpenAI 发布的纳维-斯托克斯相关成果中包含了 Lean 4 形式化证明
• 用机器可验证的形式化方法增强数学结果的可信度
• 被视为 AI 与形式化验证结合的标志性实践

1 个月前访问原文链接

HackerNews

侯世达再谈：类比是认知的核心

• 认知科学家侯世达在视频中重申类比思维是人类认知的核心机制
• 观点直指当前大模型"统计关联"式智能与真正理解的差距
• 引发关于 AI 是否真正"思考"的经典争论

1 个月前访问原文链接

HackerNews

研究者质疑 OpenAI 滥用未发表数学成果

• 数学界持续质疑 OpenAI 在训练与证明中是否使用了未公开的研究成果
• 讨论聚焦企业模型是否应披露训练数据与证明来源
• 事件引发学术界对 AI 公司数据透明度与学术伦理的广泛关注

1 个月前访问原文链接

HackerNews

AI正悄悄让学术研究变"孤岛"

• 文章借"Waymo效应"比喻：AI工具提高个人产出，却让研究者之间的协作与交流减少
• 当AI能独立完成更多环节，学者倾向单打独斗，论文合著与思想碰撞频率下降
• 长期看可能削弱科学共同体的知识扩散与同行评议质量

1 个月前访问原文链接

HackerNews

Anthropic推出Claude Science科研工具

• Anthropic发布Claude Science，专门面向科研场景的AI辅助工具
• 支持文献综述、实验设计建议、数据分析辅助等科研全流程
• 定位为科学家和研究人员的AI协作伙伴，而非替代品

3 个月前访问原文链接