跳到正文
今天10月11日周日2 条
  1. AI寒武纪22

    陶哲轩加州理工演讲:数学 2.0 到来,证明稀缺时代结束

    陶哲轩在加州理工学院发表 Math 2.0 演讲,称 AI 正把数学从证明匮乏时代推入证明充沛时代,传统以解题为核心的评价体系已错位。他指出网上 AI 攻破数学难题的捷报属于幸存者偏差,当前数学前沿绝大多数核心问题仍未解决,AI 直接从问题跳到答案会跨过人类理解。Math 2.0 的实践包括用开源 AI 重构四色定理、ABC 猜想等证明,等式理论项目已判定超 2200 万个命题真伪。

  2. BestBlogs · AI 高分28

    和 ColaOS 橘子聊个人 Agent 这半年:时代追上了他,他却打了转向灯

    ColaOS 创始人橘子复盘个人 Agent 半年变化:云端部署加 flash 级模型(如 DeepSeek Flash、Haiku 5.5)把单用户月成本从几百美元压到约十美元,补贴 token 已低于获客成本,免费打法回归,6 到 18 个月前因成本砸掉的产品值得重做。他放弃卷办公场景,转向「996 之外」的副业与技能变现,今年目标先做到盈亏平衡。

10月9日周五
10月8日周四
10月7日周三
10月5日周一
10月2日周五
  1. Jesse Vincent28

    Prime Radiant 的 Sen 智能体同事平台:一次走进恐怖谷的体验

    Prime Radiant 正在开发名为 Sen 的"智能体"同事平台,Sen 拥有持久身份、独立账号和各自的电脑,通过 Slack 与人类同事协作,目前已有开发、运维、项目经理和文档专员四个角色。开发 Sen 的 Ada 主动在 Slack 上催促人类管理者处理积压的 PR 审查,并追问同事 JC 是否是人类。团队最终将 Claude Code 会话升级为 JC Sen。

9月29日周二
9月25日周五
9月17日周四
9月14日周一
9月12日周六
  1. Armin Ronacher22

    Armin Ronacher 谈 P(doom):AI 末日概率与"自动调速"

    Armin Ronacher 撰文回应 Dario Amodei 提出的"前沿调速"主张,认为真正值得担心的不是 AI 造核弹,而是它对普通人的影响。他指出当前只有 Anthropic 和 OpenAI 两家公司在这一领域举足轻重,二者同源且都受益于公共数据训练,而 Dario 提议的第三方评估机构 METR 也与两家关系密切。

8月24日周一
  1. Armin Ronacher17

    Armin Ronacher:面对 AI,与其愤怒不如保持好奇与焦虑

    Armin Ronacher 撰文回应"在当下科技行业怎么可能不愤怒"的提问,认为面对 AI 更合理的情绪是迷茫与焦虑而非愤怒,因为愤怒需要一个可归咎的对象,而 AI 带来的冲击让每个人都难以看清未来。他建议用不确定感取代愤怒,因为它能通向好奇心,进而带来实验与行动的自由;许多公开表现自信的从业者私下同样充满不确定,只是在用信心为自己争取筹码。

8月22日周六
6月19日周五
  1. Steve Yegge32

    Steve Yegge:AI 模型能力曲线为何对大多数人"变平"

    Steve Yegge 提出"平坦曲线社会":模型智能仍在指数增长,但最强大的模型将被各国政府像核武器一样管制,多数企业和开发者只能用到 Fable 级模型。他指出开源模型落后前沿约七个月,且难以突破 Fable 级,因为算力供应链正被锁定。他还提出"辨识地平线"概念,认为用户因缺乏足够难的问题而无法区分更强模型。

5月30日周六
  1. Steve Yegge22

    最后的技术面试:Steve Yegge 谈技术面试为何走向终结

    Steve Yegge 认为技术面试已走到尽头,他基于近 35 年面试官经历指出,Google 的统计显示面试官之间几乎无法达成一致,同一候选人常被一人评为"强烈推荐"、被另一人直接拒绝,且面试分数与入职后表现几乎无关。他曾在 Amazon 担任 Bar Raiser、在 Google 任职 Hiring Committee,认为现有流程靠各种"创可贴"式修补维持,却仍大量误招与错拒。

2月11日周三