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线路 为了给大家更好的体验
感谢大家支持
官网

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

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

我记得这里是岂曰无衣的吧

目前ChatGPT, Gemini, Grok这几个模型，哪个模型更好用，体验更好呢？欢迎大家讨论交流。