跳到正文
今天10月16日周五1 条
10月13日周二
10月11日周日
  1. 量子位62

    陶哲轩:数学2.0时代已至,证明泛滥后数学家护城河在哪

    菲尔兹奖得主陶哲轩发文提出数学2.0时代已至,建立在证明稀缺之上的数学1.0时代即将落幕。他认为AI让获取解答的门槛降低,但判断解答是否正确、贡献多大以及与已有研究衔接仍需认真处理,否则会出现解出题却未增加理解的错位。他呼吁建立更透明的评估机制,把失败结果和AI算力成本一并纳入报告,并主张减少对抢先生成证明的强调,增加对解释、评审和知识整理的重视。

10月9日周五
10月7日周三
  1. Simon Willison22

    Jake Boggan 谈 Barnette 猜想被 AI 证明后的复杂心情

    Jake Boggan 在 Hacker News 评论 openai/math 相关讨论时表示,自己曾为 Barnette 猜想投入 24 年、数千小时,去年夏天还一度以为解出了它,如今该猜想据称已在问题 180 处被证明。他说听到它被解决让自己有种遥远的悲伤,像听说前女友突然死于车祸,并认为今晚很多人都会有类似的奇怪情绪。

10月6日周二
10月4日周日
10月2日周五
10月1日周四
9月30日周三
9月18日周五
9月17日周四
  1. TechCrunch · AI26

    Al Gore:AI 的真正风险不是数据中心

    Al Gore 在 TechCrunch 采访中表示,AI 数据中心的排放不应是公众最该担心的,其总量只是全球未覆盖垃圾填埋场排放的一小部分,更值得关注的是 AI 行业内部人士发出的警告。他认为美国多地反对数据中心的情绪,更多源于对失业和自动化冲击的焦虑,而非碳排放,并称 Dario Amodei、Sam Altman 和 Elon Musk 的警告是真诚的。

9月14日周一
  1. TechCrunch · AI30

    AI 行业最新末日警告背后:Anthropic 研究员离职与 P(doom) 之争

    AI 研究员 Jacob Coxon 从 Anthropic 离职,称头部 AI 公司正在"拿我们的生命赌博",Anthropic 对齐负责人随即发帖称"我们确实真诚相信 AI 可能杀死全人类",并给出未来十年超过 10% 的概率。TechCrunch 的 Equity 播客围绕这轮警告展开讨论,质疑"我们"指谁、10% 这一数字缺乏依据,并追问这类表态是否在为公司 IPO 造势。

9月12日周六
  1. The Decoder71

    25 位菲尔兹奖得主联署警告 AI 正在让数学界变笨

    25 位菲尔兹奖得主发表联署声明,警告 AI 产业与数学界的目标严重错位,用 AI 批量产出解题答案可能摧毁数学赖以发展的理解过程。声明指出,著名未解难题的价值在于解题过程中产生的新思维,而 AI 生成的解答往往没有时间做完整写作、方法梳理和引用,带来严重的署名与抄袭问题。

9月10日周四
9月9日周三
  1. TechCrunch · AI36

    ControlAI 的 Connor Leahy:为什么超级智能“不是武器,而是对手”

    ControlAI 美国执行董事 Connor Leahy 在 TechCrunch Equity 播客中主张,应直接阻止企业开发超级智能,而非仅靠对齐与遏制来管理风险。他谈到 Sanders-Casar“Ban Superintelligence Act”、ControlAI 参与建议的英国平行立法,以及 AI 能构建更好 AI 时才是真正的不可逆节点。

9月3日周四