➡️

继续阅读

  1. Claude完成费马大定理首个形式化验证：11天超越人类十年预估工期
    Claude借助Lean证明助手，仅用11天完成费马大定理的形式化验证，产出1300万行代码，证明约三万条定理，远超人类预估的10年工期。这冲击了传统同行...
  2. 达里奥·阿莫迪主动喊慢！AI已经快到人类跟不上管控节奏
    Anthropic CEO达里奥·阿莫迪呼吁放慢AI模型能力提升速度，主张安全优先，提出让独立评估者常驻公司实时监督，并推动全球协调，包括禁止AI制造生物...
  3. 雅各布·考克森警告AI可能毁灭人类，Anthropic自家报告暴露安全漏洞
    前OpenAI研究员Coxon警告AI正冲向自我改进超级智能。Anthropic测试显示，移除模型思维链后，离线监控对有害行为的识别率从1%升至约50%，...
  4. 陶哲轩邓煜究竟在反对什么：AI暴力解题摧毁人类数学精神
    25位菲尔兹奖得主联名警告，AI公司以解数学题为基准测试，与数学共同体目标严重错位。AI解题速度已超学界消化能力，且无法提出新问题，只会功利性耗尽开放难题...
  5. 简历上每个名词，都是一张发给面试官的提问许可证 - 编程一生
    简历中的每个名词都可能成为面试官的提问点。作者以五个AI项目案例指出，写“熟练RRF”“双引擎”“私有化”等词若经不起追问，会连真实经历一起贬值。建议定位...
  6. 老派约会之必要
    《老派约会之必要》主张在快餐式恋爱时代放慢节奏：初次约会先推拒后应允，选小店烛光晚餐，聊童年与理想，饭后散步送回家，关手机进行纯粹的灵魂对话。承袭古典小说...
👤 个人中心
在公众号发送验证码完成验证