Terence Tao 称 AI 可能引发自 Gödel 以来数学界最大危机
数学家陶哲轩在 2026 年国际数学家大会论文中警告，AI 正在迫使数学界回答“研究到底为了什么”，其冲击或堪比哥德尔不完备定理引发的数学基础危机。核心矛盾不再是“AI 能否做数学”，而是当机器生成的证明泛滥，人类对“理解”和“贡献”的定义将被彻底改写。
celebrityanime
通义千问官方点赞！Unsloth Dynamic V3 让 Qwen3.8-27B 更小更聪明，1-bit 版 8GB 内存就能跑
通义千问官方公开致谢 Unsloth 团队，后者发布的 Qwen3.8-27B GGUF 量化版在减小模型体积的同时提升了精度，其中 1-bit 版本甚至可以在 8GB 内存环境下运行，大幅降低了开源大模型本地部署的门槛。
小米人形机器人首次亮相，已成功注册多枚小米铁大商标
小米在2026世界机器人大会上首次展出新一代人形机器人“铁大”，并已注册多枚相关商标。这表明小米正在加速推进人形机器人的产品化布局，而非停留在概念展示阶段。
还没用过，不过你瞧瞧这个。放个 Codex 作参照。https://t.co/o1pulwoifd
OpenAI 前研究科学家 Thibault Sottiaux 在 X 上晒出一件“尚未使用”的神秘硬件，并以 Codex 设备作为尺寸参照，引发开发者社区对 OpenAI 下一代端侧 AI 硬件形态的密集猜测。
我们现在有了一个前沿团队！一群专门在AI前沿进行探索和实验的人 https://t.co/Fr6mIuvRwt
AI 写作工具公司 Every 成立了一支“前沿团队”，专门抽调人手脱离日常事务，专职探索和实验 AI 的边界应用。这一组织设计反映出 AI 行业从“全员兼做创新”转向“专人专职探索”的新阶段。
If you enjoyed this, sign up for free to my newsletter to get my best AI and product guides. Join 110,000+ subscribers here: https://t.co/yz9xcsfrhF
科技博主 Peter Yang 在 X 上发布了一套 Grok Bot 个人 AI 代理的搭建教程，并对比了 Grok Bot、开源项目 Hermes 与 ChatGPT Work 的差异。这场讨论的焦点是：个人 AI 代理正在从“能用”走向“好用”，但不同产品形态的选择路径才刚刚分化。
Good details on the Stripe + OpenRouter deal here. For AI to diffuse more broadly, developers and enterprises will want ways of being able to mix and match intelligence from a variety of provers seamlessly and better…
Box CEO Aaron Levie 公开评价 Stripe 收购 OpenRouter 一事，认为这是 AI 基础设施走向“混合智能”的关键一步。未来开发者会像管理云资源一样，在不同模型之间自由切换、按需组合，而不是被绑定在某一家大模型供应商上。
I saw this demo last summer and told Sam he needed to ship it, so glad it’s out. It’s really fun. It’s one of the first games that really uses AI capabilities to unlock new gameplay. https://t.co/V86CCDvvHp
由 Sam Rosenthal 团队开发的 AI 猜词游戏 Dartwords 正式上线，它结合了“20 问”与线索推理机制，被早期体验者视为首批真正利用 AI 能力解锁新玩法的游戏之一。
Qwen3.5:9b concurrent call BUG
Ollama v0.17.6 在 ARM 版 DGX Spark 上运行 Qwen3.5:9b 时，因为 qwen35 架构当前不支持并行请求，日志会强制将 Parallel 降级为 1；如果强行并发调用或加载并行图，可能在 ggml_backend_sched_reserve 阶段触发 SIGAB
mRNA vaccines to treat cancer seems extremely promising although ChatGPT tells me there are no active mRNA trials for breast cancer. How does this process work? It has to finish clinical trial for melanoma first then…
mRNA癌症疫苗在黑色素瘤的III期随机对照试验中取得决定性成功，同时针对胰腺癌、三阴性乳腺癌和非小细胞肺癌的个性化mRNA新抗原疫苗也显现出积极信号，意味着这项技术正从单一癌种向多癌种治疗快速扩展。