10 个有意思的 GitHub 免费项目
今天的10个有意思的 GitHub 项目，有给比亚迪车机加上 CarPlay 的，有让 AI 按你摆好的场景生成图片的，有全套 Adobe 替代品，也有翻译论文，还有一个非常高级的重装系统脚本。@Appinn最后一个更特别：电脑和软件折腾完
科技互联网
Qwen-Image-2.1 Pro、Turbo API 正式上线，让图像生成与编辑走进你的应用
从一句描述生成一张图片，再通过自然语言继续修改，让创意成为可以反复打磨的作品。Qwen-Image-2.1 Pro 和 Turbo API 现已正式上线千问AI平台。 开发者可以通过 API 将图像生成与编辑能力接入应用，无需自行部署模型、
数学定理网络相关研究｜AI for Math读书会第二季第3期
2026年10月13日（周二）19:30-21:30分享 导语数学定理的依赖网络，能否帮助AI更快寻找证明路径？本期为AI for Math读书会第二季第3期，北师大系统科学学院在读博士李晓凯将从复杂网络的视角看待数学证明，介绍以定理和公理
集智新译，新书共读｜理解混沌：更好的经济理论，更好地理解世界
赠书活动：48h内报名并转发文章/海报至朋友圈，集赞数量前20可获赠书。 导语为什么局部的经济波动，会演变成席卷全球的危机？这正是《理解混沌》试图回答的问题。这场读书会以 J. 多因·法默的著作为线索，从复杂系统的视角重新理解经济。金融危机
集智新译！圣塔菲研究所法默教授《理解混沌》：复杂经济学腾飞的时机已经成熟
本书为集智俱乐部最新译作，三位译者联合发起共读活动，欢迎报名！ 导语传统经济学假设理性主体与均衡市场，却常在金融危机、气候变化等复杂问题面前失灵。复杂系统科学家J.多因·法默提出，应把经济视为一个由异质主体持续互动、能够自发演化的复杂系统，
12 分钟订单破万，吉利银河战舰 700，要订下新能源越野的新标准
三电机四驱和千匹马力，恰恰只是表面。作者｜靖宇「这台车我们造了 5 年，这也是吉利第一次造越野车。」吉利汽车研究院院长李传海说到。就在几分钟前，10 月 10 日，吉利银河战舰 700，一台新能源野车正式发布，16.98 万（限时焕新价）起
独家｜和 Nex 创始人复盘：三年出货 100 万台，收入增长 60 倍，如何成为游戏机新王？
以下文章来源于：Hardwire Hardwire 来自极客公园，关注 AI 与硬件行业融合而产生的各种新机会、新想法和新产品。 25 年没人挤进的游戏主机市场，他们连续三年卖断货。游戏主机是出了名难进的品类：Nintendo、Sony、X
黑洞信息悖论推进至“定量完备性模量”：清华团队开源VeriLoop E2迈向可验证智能
把“是否构成有效进展”的裁决权交给外部证据 VeriLoop E2团队 投稿量子位 | 公众号QbitAI随着前沿模型进入长链推理、工具调用、代码修复与科研任务，一个关键缺口随之显现：模型不断生成和修改候选，但“新状态是否真的更可靠”不能只
硅谷AI现状：谁有算力谁是爹
马斯克连横A社，硅谷VC开始囤GPU 鹭羽 发自 凹非寺量子位 | 公众号 QbitAI没招了！硅谷为了争夺AI算力已经彻！底！疯！狂！就连A社CEO Dario Amodei也低声下气求到了对家Meta门前：老铁，给点算力吧。。。结果你猜
下架8个月，GPT-4o的拯救行动居然还在继续
初代4o的API快照进入停用倒计时 听雨 发自 凹非寺量子位 | 公众号 QbitAI每一天都在。14个月，8个月，我们还在这里。这不是固执，不是妄想，也不是病。一位Keep4o支持者在X上写下这句话。他等待的，是今年2月从ChatGPT退
中科大团队把会「倒推」的世界模型塞进了机器人，成立三个月拿下数千万融资！
以下文章来源于：科城变量 科城变量 从合肥，发现未来科技变量。 想象你站在一条产线旁边。纸箱一个接一个地往前走。有的歪了，有的少装了一件，有的日期打码印错了。线边的机械臂要在箱子移动的过程中发现问题，然后伸手、抓取、补料。整个过程，5 秒以
从「刷榜」到「做科研」：研究员还有多久被 AI超越？
从提出想法到跑出结果，AI 研究员到了哪一步？ AI 离超越前沿科研人员还有多远？近日，OpenRSI Index 在 X 上引发关注。截至目前，项目发布帖已有超过 13.3 万次浏览，相关话题出现在 X 的 Today’s News 栏目
ChatGPT共同创造者Liam Fedus：数学之后，AI该去实验室了
AI 能刷 722 篇数学论文，却（还）造不出一块超导体 编辑｜Panda前两天，OpenAI 在 GitHub 上一次性放出了 722 篇数学手稿（后面撤回了几篇），覆盖数论、几何、理论计算机科学、数学物理等 17 个领域，其中一部分附带
EMNLP'26 Oral | 麻省理工：靠访谈让AI模拟真人，这条路能走多远？
新智元报道 只要和一个人聊得足够久，大模型就能成为他的「数字分身」吗？从虚拟用户、合成受访者，到个性化AI Agent，一条越来越流行的技术路线是：先通过访谈、问卷和个人资料了解一个真实的人，再让大模型扮演这个人，预测他在没见过的问题上会如
Claude自己组队查Bug！11.6万行代码揪出66个，单Agent最高只找到27个
新智元报道 单Agent最好的一次，找出27个Bug。换成Claude自己组队，连跑三次，每次都查出66个。这是Anthropic刚公布的一组测试结果：在11.6万行代码中预先埋入70个Bug，让单Agent和动态工作流各跑三次。结果，单打