阿里Qwen3.8正式发布：总参数量2.4万亿，第三方榜单仅次于Claude
阿里正式发布新一代旗舰大模型Qwen3.8。8月3日，阿里巴巴正式发布新一代基座大模型Qwen3.8，总参数量2.4万亿，在编程（Coding）和专业办公（Cowork）方面能力大幅提升。
AI与数学相遇，将把彼此带向何方？
【向科学家提问】光明日报记者 张晓华 陆健近年来，AI在数学领域的能力加快突破，已不再局限于辅助计算、定理证明，开始应用于科研级数学，参与猜想探索、证明构建，甚至攻克数十年来人类未解决的数学难题。
为什么五次方程没有求根公式？一个21岁天才死前那一夜写下的东西
先把时间拨回到1832年5月30日的凌晨，巴黎。一个21岁的法国小伙子，在旅馆里就着蜡烛写东西，笔迹潦草，旁边不断涂改。他一边写一边在页边空白处嘟囔一句话的大意："我没有时间了，我没有时间了。
菲尔兹奖陶哲轩公开预警：AI冲击百年体系，数学迈入Math2.0时代
不知道大家有没有想过，在我们印象里，数学一直是一门极度依靠人类思考、靠灵感一点点往前推进的学科。那些困扰人类上百年的猜想，往往要靠顶尖数学家耗费十几年甚至一辈子，才有可能拿出严谨证明。
Gemini 4 来了，谷歌或许回不到AI第一梯队，但我还是天天用它提效
一个是它重构大型代码库的能力，官方放出来的案例里，它帮 Chrome 团队在 4000 万行代码里剥离重构了 600 万行历史代码。
AI与数学相遇，将把彼此带向何方？
【向科学家提问】光明日报记者 张晓华 陆健近年来，AI在数学领域的能力加快突破，已不再局限于辅助计算、定理证明，开始应用于科研级数学，参与猜想探索、证明构建，甚至攻克数十年来人类未解决的数学难题。
桌面数学工作台，截图识别、手写编辑、公式计算全在本地跑
LaTeXSnipper 是一款开源的桌面数学工作台，由 GitHub 用户 SakuraMathcraft 开发，底层由 MathCraft OCR 和 MathLive 驱动。
千问Qwen-Image-2.1开源：当AI开始学会“交付素材”
9月20日，阿里千问团队开源了新一代图像模型 Qwen-Image-2.1。如果只看已经出现的大量报道，这次更新的关键词似乎很好总结：视觉生成部分只有 7B 参数、原生支持 2K 分辨率、最多可以输入 10 张参考图，同时支持文生图和图片编辑。
私有AI实战11：AI就是找不到文档里已有的答案？问题可能出在这里
明明已经把PDF、Word导入知识库，AI却经常回答“没有找到相关信息”。更奇怪的是，把正确的段落直接复制给同一个模型，它又能回答得清清楚楚。问题究竟出在哪里？我估计这是很多人搭建RAG知识库之后，应该会遇到的一种现象。