HackerNews
1991年慕尼黑：追溯当前AI繁荣的根源
- 文章回顾1991年慕尼黑学术会议对现代AI的奠基作用。
- • Jürgen Schmidhuber等学者早期贡献塑造了今日深度学习格局
- • 神经网络、自监督学习等概念早在30年前已萌芽
- • 重新审视AI历史有助于理解当前技术路线的来龙去脉
10 天前访问原文链接
HackerNews
用 AI 软件证明欧拉和公式的实践经验 [PDF]
- • 学术论文记录使用 AI 工具辅助数学证明的全过程
- • 探讨 AI 在数学研究中的实用价值与局限
- • 提供可复现的实验方法
22 天前访问原文链接
HackerNews
强化学习之父 Rich Sutton 谈 AI 创造力与科学发现
- • RL 先驱 Rich Sutton 发表对 AI 创造力的最新看法
- • 讨论 AI 在科学发现中的角色
- • 引发学术界与工业界广泛讨论
22 天前访问原文链接
HackerNews
Gwern：通过「弹射机制」构建类人神经网络
- • Gwern 新文探讨 LLM 如何实现类人推理的「弹射」机制
- • 认为当前架构通过强化学习可以达到超越人类的跳跃式推理
- • 挑战了 LLM 只是「随机鹦鹉」的传统批评
25 天前访问原文链接
HackerNews
数学家集体发声：AI在数学领域的快速渗透引发警告
- • 数学家群体在Science杂志发文警告AI对数学研究的冲击
- • AI在定理证明、猜想生成等方面展现惊人能力，呼吁建立伦理框架和质量标准
28 天前访问原文链接