GPT-5.6 凸优化、ViteVenom、Stack Overflow、Bun 重写
本文报道了AI编程领域四大热点：UC Berkeley教授用10页Prompt引导GPT-5.6 Sol Pro完成凸优化理论证明并通过Lean验证，关闭30年理论鸿沟；Checkmarx披露ViteVenom供应链攻击，7个恶意npm包利用区块链C2架构瞄准Vite生态；Stack Overflow流量下滑与V2EX热帖呈现AI编程时代开发者的真实感受；开发者7天用C++26重写Bun约20万行代码，引发语言迁移与AI编程能力热议。