视觉底层任务优秀开源工作：BasicSR 库使用方法
作者丨科技猛兽编辑丨极市平台目录1 什么是 BasicSR 库2 安装 BasicSR3 如何使用 BasicSR 开发自己的项目1 什么是 BasicSR 库BasicSR 是全称 Basic Super-Resolution 的缩写，它是一个基于 PyTorch 的开源图像视
722份数学手稿，OpenAI藏了10个值得看懂的细节
OpenAI称，绝大多数结果来自同一流程、同一个内部模型。作者 | 许有阳来源 | 盒饭财经（ID：daxiongfan）头图及封面来源 | GPT一个负号，牵动了三份证明。北京时间10月7日，OpenAI在GitHub公开了一批内部模型产生的数学结果。
多大仇？美军反恐培训文件竟将社会主义者与恐怖分子划等号
来源：环球时报新媒体据美国调查新闻网站“拦截”（The Intercept）报道，美国海军的反恐培训文件竟然将社会主义者与恐怖分子划等号，还将左翼意识形态与“新纳粹”一起并列。
「论文推荐」试论近水平煤层采场的3种基本结构形式｜冯军发，周英，李回贵，等
基于煤层开挖力学效应和覆岩运动规律，揭示了覆岩破坏垮落过程中产生的压力拱和结构拱现象。研究了结构拱与压力拱的内在统一关系，提出了煤矿采场压力拱的3种形式。
永别了，程序员
1995年以来，互联网的普及迅速打破了生产、流通、消费、服务等所有环节的效率壁垒，全球有史以来最大规模的信息化转型，让每一头会写代码的“猪”都在风口里飞了起来。
23岁年轻人借AI用80分钟解开老难题，却说不知道这是道什么题
本文仅在今日头条发布，谢绝转载。Erdős问题网站上的第1196号问题页面。图源：erdosproblems.com截图一个不懂题的人，80分钟解了一道老题今年4月13日，一个23岁、没有数学高等学历的年轻人Liam Price，给GPT-5.4 Pro发了一次提示。
OpenAI内部模型24天再解百余道数学难题，引入独立顾问组回应学界质疑
AI模型24天又解决了百余道长期悬而未决的数学问题。当地时间9月21日，OpenAI宣布，除此前公布的纳维–斯托克斯（Navier–Stokes，简称NS）千禧年难题外，一款自8月28日开始训练的内部模型，已解决数学多个领域的百余项难题。
100种帐篷、篷房与轻型庇护所
从轻量徒步到家庭露营，一次看懂户外庇护系统帐篷不只是“能睡人的一块布”。不同结构对应不同重量、空间、抗风能力和部署速度。这组图按 8 类整理 100 种常见帐篷、篷房与轻型庇护所，帮助你在出行前快速建立完整概念。
AI连破数学谜题，当答案不再值钱，什么才是重要的？
88小时。OpenAI搞定了纳维尔-斯托克斯（NS）方程的存在性与光滑性问题。回想起我本科论文时候写的是跟Euler方程相关的，NS方程的难度那是高山仰止，连想都不敢想。而就在不久之前，Anthropic在黎曼猜想上也取得了突破，成功将超过2/3（67.