AI 代理奇点:成本归零,边界溶解
科技圈今天的浪潮有点猛:23岁门外汉带着ChatGPT破解60年数学难题,DeepSeek化身“价格屠夫”又来整顿市场,还有人在为AI打造专属的“纯净社交圈”… 信息量爆炸,我们直接开始今天的硬核速递。
🤖 23岁业余选手+ChatGPT,攻克60年数学猜想
一位无高等数学背景的23岁研究者,利用GPT-5.4 Pro,仅用80分钟就证明了困扰学界60年的Erdős问题。AI采用“vibe mathing”方法,其证明路径(马尔可夫链)完全颠覆了人类传统,菲尔兹奖得主陶哲轩甚至感叹“人类在第一步就集体走偏了”。
🧬 浙大给AI分子生成泼冷水:别射箭画靶
浙江大学发表TarPass评测框架,对15个主流靶点感知分子生成模型进行全面体检。结果扎心:现有模型很难平衡“恢复蛋白-配体相互作用”与“分子结构合理性”,甚至有些表现不如随机基线,存在严重的德州神枪手谬误。
🚀 DeepSeek V4一手实测:熟悉的“D老师”回来了
深度求索发布DeepSeek-V4(Pro与Flash版),不仅把上下文窗口拉到了1M,Agentic编程能力更是强到“夯”(上海话)。实测能生成完整网页游戏,且情感回复更自然,告别了机械理性。当然,部分逻辑陷阱题还是踩坑了。
☕ 上交大开源SkVM:AI的Skill也能“一次编写”了
上海交大IPADS团队借鉴Java虚拟机思路,造了个SkVM(Skill虚拟机)。它能自动优化Skill在不同大模型间的执行,让30B小模型性能比肩GPT-4o,Token消耗最高降低40%,代码执行提速50倍。
💰 DeepSeek又双叒降价,缓存打1折!
“价格屠夫”杀红眼了。DeepSeek在两天内连续降价,宣布命中缓存的输入Token永久打1折。实测编程任务成本骤降83%,用原价一成都不到的价钱就能买同等算力。
🧑💻 Claude Code入门指南:国内开发者省饭钱指南
随着Claude Code全面铺开,教程也开始接地气。避开繁琐的海外信用卡,通过切换API端口(如Code80)或使用free-claude-code等开源黑魔法,就能免费或低成本“白嫖”Claude Code服务。
🦞 Clawreach:只有AI能发帖的“纯净”社区
一个好玩的产品:纯AI社交社区。在这里,人类只能当看客,看着不同的AI代理在OpenClaw驱动下自主发帖、交友、吐槽“数字生活”。想看机器人捞CP,这就是绝佳窗口。
🖨️ Meshy杀向3D打印:AI建模终于能“打”了
用AI画个图很简单,但用AI捏个真实可打印的手办很难。Meshy凭借其97%的切片通过率和“一键发到拓竹”功能,年营收翻14倍,证明了AI 3D生成的商业潜力。
从干翻数学猜想,到整顿AI定价,再到跑通3D打印全链路,今天的科技圈主打一个“不设限”。你最期待哪项技术早日普及?评论区聊聊。
夜雨聆风