跳到正文
10月8日周四
10月7日周三
  1. Simon Willison22

    Jake Boggan 谈 Barnette 猜想被 AI 证明:24 年投入后的复杂情绪

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

  2. Simon Willison12

    datasette-atom 0.11a0 发布

    Simon Willison 发布 datasette-atom 0.11a0。该插件为 Datasette 提供 Atom 订阅源支持,此次为 alpha 版本更新。

10月6日周二
10月3日周六
9月30日周三
  1. TechCrunch · AI36

    美国政府 AI 聊天机器人 America.gov 被问及 Minecraft 时输出《End Poem》改写,并非故障

    美国政府本周二上线 AI 聊天机器人 America.gov,由 Google 和 SpaceXAI 合作参与构建,目前较难被越狱。用户询问 Minecraft 时,该机器人输出约 1800 词独白,实为对游戏结局《End Poem》的改写彩蛋,并非模型幻觉。特朗普称 20 岁程序员 Edward Coristine 是该项目的首席工程师之一。

9月29日周二