馬克·扎克伯格表示，他相信在未來一年半內，大部分 Meta 的代碼將由 AI 代理編寫。扎克伯格在與播客主持人 Dwarkesh Patel 進行的一小時採訪中做出了這一預測。
"我猜在未來的 12 到 18 個月內，我們將達到這樣一個點，大部分針對這些努力的代碼將由 AI 編寫，"扎克伯格說，他指的是公司內部開發 AI 代理的努力。“我不是說像自動完成那樣…我是說你給它一個目標，它可以運行測試，它可以改進事物，它可以發現問題，它編寫的代碼質量比團隊中平均非常優秀的人還要高。”
這不是扎克伯格第一次做出這類預測。今年早些時候，他在《喬·羅根經驗》節目中尷尬亮相時說，“大概在 2025 年，我們在 Meta，以及其他基本上也在從事這項工作的公司，將會有一個 AI，它能有效地成為你公司中的一個中級工程師，能夠編寫代碼。”
注意目標已經改變。不到五個月前，祖克伯格說能有效取代大部分人類程序員的編碼代理已觸手可及。現在，這些系統最早要到 2026 年中期才會到來。

  
      

      Engadget
  

  
    

Mark Zuckerberg 'predicts' AI will write most of Meta's code within 12 to 18...

  Another day, and another overly optimistic prediction about how quickly AI will replace coders.

deepseek在github上开源了仓库，包含一些常用的数学能力benchmark以及一个自己的测评数据集
  

      github.com
  

  
    
  

  GitHub - deepseek-ai/DeepSeek-Prover-V2

    通过在 GitHub 上创建帐户来为 deepseek-ai/DeepSeek-Prover-V2 开发做出贡献。


  

  
    
    
  

  


其中 PutnamBench（最接近真实数学的测评）拿到了49分，是原top1 kimina-prover-7b 的4.9倍，而且在这个评测上，o4-mini-high 仅有2分，gemini-2.5-pro 也只有3分

原来今天五一呀 看成918了

简介
这是我用python实现的原创工具，完全开源免费，用于clash代理节点全自动采集、去重、批量检测、移除失效节点，按延迟/下载速度排序，支持mac、linux、windows，支持WebUI操作

在线体验地址

  
      

      cf.252035.xyz
  

  
    

Streamlit



  

  
    
    
  

  


项目地址

  

      github.com
  

  
    
  

  GitHub - fish2018/ClashForge: clash代理节点全自动采集、去重、批量检测、移除失效节点，按延迟/下载速度排序，支持mac、lin...

    clash代理节点全自动采集、去重、批量检测、移除失效节点，按延迟/下载速度排序，支持mac、linux、windows，支持WebUI操作


  

  
    
    
  

  


功能


将hysteria2://|hy2://、trojan://、ss://、vless://、vmess://协议链接转换为clash可用的代理节点配置


支持从input目录下的所有txt文档中按行读取代理链接(每条代理链接占一行)


支持从input目录下的所有yaml/yml读取proxies


支持指定代理类型过滤，指定参数allowed_types=[‘ss’]


支持从订阅源提取代理节点，支持订阅源类型:clash、v2ray、trojan、vmess、vless、ss源(链接需以"|ss"结尾)


支持从某些github的README.md获取代理节点


链接以"|links"结尾，表示链接返回内容中直接包含代理链接，用正则匹配出来


支持占位符匹配，Y年m月d日H时M分 例:{Ymd} {Y_m_d} {Y-m-d}


支持github文件名模糊匹配，{x}.yaml表示不确定文件名的yaml文件


将所有获取的代理节点汇聚到一个配置文件里，自动去重，name重复自动添

专线已经更新为BGP线路 为了给大家更好的体验
感谢大家支持
官网

官网 （点击了解更多详细信息）

五一第一天，钓鱼开始！
抓到一只小龙虾，这样应该不算空军了吧