新对话 DeepSeek-Prover 核心作者辛华剑
辛华剑，现在是爱丁堡大学人工智能专业的一年级博士生，研究方向是使用大语言模型进行形式化数学定理自动证明的任务。本科就读于中山大学哲学系逻辑学专业，深入学习了这类形式化方法的理论基础，后来在中山大学梁小丹老师的指导下开始以 AI 研究的视角切入这个问题，随后分别在华为诺亚方舟实验室和 DeepSeek AI 做了一系列探索性的工作，现在在读博士的同时也在字节跳动 Seed 团队继续进行这一方向的研究实习。
新智能体网络协议技术报告 – MCP、A2A、ACP、ANP等比较与分析
W3C的《智能体网络协议技术报告》，对当前主要智能体 网络协议（MCP、A2A、ACP、ANP等）进行了系统比较与分析。 给出智能体网络的四大核心趋势：智能体取代传统软件成为互联网基础设施、智能体间实现普遍互联互通、基于协议的原生连接模式、以及智能体的自主组织与协作能力。
新历年全国各地高考各科真题大合集 (2008年-2025年)
历年全国各地高考各科真题大合集 (2008年-2023年)
新Claude Code 官方中文使用教程 – 抄作业的福音
Claude Code 是一款智能编码工具，它存在于您的终端中，理解您的代码库，并通过自然语言命令帮助您更快地编码。通过直接集成到您的开发环境中，Claude Code 简化了您的工作流程，无需额外的服务器或复杂的设置。
新ChatGPT 的 Project 功能 – 根据不同应用场景，无需额外提示词
J.Cling 这边推荐一下@宝玉 推荐的 ChatGPT 的 Project 功能：“我自己是重度用户，相当的方便好用，有点像 GPTs，但是是你私有的，并且你可以选择任何模型，我会创建一个用来翻译的 Project，写上翻译的提示词，选择好模型，直接翻译你不需要额外输入提示词。
新学好基本功，AI才能真正助你一臂之力
我最近一直在尝试把 AI 融入到日常工作中。必须承认，在处理像增删改查（CRUD）、数据解析这类琐碎任务时，AI 确实是个神器。你只需要下达指令，它就能帮你搞定，极大地解放了生产力。但软件开发远不止于此，我们还需要整合系统、性能优化、技术研究，这些都需要真正的理解力。
新张雪峰高考志愿填报课程 – 避免信息差、认知差｜高考志愿填报指导
高考分数决定下限，志愿填报才决定上限！可悲的是，80%的家长还在用10年前的思维选专业，直到孩子毕业即失业才后悔莫及。张雪峰团队调研显示：2024届考生中，超35%因志愿填报失误导致‘高分低就’，甚至被迫复读。为什么明明考了600分，却输给了550分的同学？为什么有些专业看似热门，毕业却成了‘天坑’？
最全各类打印纸样式+计划表样式大合集
J.Cling 前几天发布了《凹凸工坊 – AI模拟真实手写字迹生成工具》，支持自定义DIY背景笔记样式，突然想到可以顺势发布一些各类打印纸或者计划表的电子档，这样搭配起来效果也许会更好。
【100P】田曦薇壁纸合集下载（一）
田曦薇壁纸合集下载（一）
【100P】田曦薇壁纸合集下载（二）
【100P】田曦薇壁纸合集下载（二）
【100P】田曦薇壁纸合集下载（三）
【100P】田曦薇壁纸合集下载（三）
【100P】田曦薇壁纸合集下载（四）
【100P】田曦薇壁纸合集下载（四）
【100P】田曦薇壁纸合集下载（五）
【100P】田曦薇壁纸合集下载（五）
【100P】田曦薇壁纸合集下载（六）
【100P】田曦薇壁纸合集下载（六）
【100P】田曦薇壁纸合集下载（七）
【100P】田曦薇壁纸合集下载（七）
GPT-Translated-PDF-zh – 前沿AI学习资源中文翻译合集
J.Cling 在开源社区GitHub 上找到大神整理的众多计算机科学、数学、机器学习领域的经典教材中文翻译版，涵盖从基础算法到前沿 AI 技术的各个方面。所有资料都是 PDF 格式，下载后即可离线阅读，值得看下有没有你在寻找的资料中文翻译版。
Bond Capital 339页 2025-05 AI风向报告出炉
Bond Capital (BOND)，是一家位于美国旧金山的风险投资公司。这家公司由著名的 "互联网女皇" Mary Meeker 创立。Bond Capital 的 2025-05 AI 风向报告出了，这个 PPT 长达 339 页。包含了 AI 在所有领域的数据和洞察。
国内各大高校留学、保研、考研、就业经验汇总【持续更新】
开源社区大佬NWUzmed 纯手工整理了 各大高校留学、保研、考研、就业经验分享，高校涵盖北京大学、清华大学、复旦大学等国内各类知名高校。