牛哥精选 · 所有

今日本周本月三个月半年一年所有

📋 全部 🤖 AI·大模型 ⚡ 效率工具 📝 深度技术 🚀 产品观察 💰 商业科技 🔓 开源项目 🎨 设计创意 📖 阅读推荐 🏷 资源合集 🌱 成长效率

1

🚀 产品观察量子位 2026-07-09

2026年世界人工智能大会，7月17-7月20上海举办

2026世界人工智能大会7月上海开幕，1400+嘉宾、1100+企业参展，规模与亮点创历史之最。

180家企业携成果入驻

年世界人工智能大会上海举办世界人工智能大会 waic 2026

2

🤖 AI·大模型量子位 2026-06-24

2026世界人工智能大会SAIL奖TOP30及青年优秀论文奖TOP20发布

世界AI大会公布SAIL奖与青年论文奖入围名单，周鸿祎宣布打造中国版Mythos并启动安全协作计划

卓越人工智能引领者奖颁布

世界人工智能大会及青年优秀论文奖发布

3

📝 深度技术 arXiv 机器学习 2026-06-03

SAIL: Sound Abstract Interpreters with LLMs

用大模型驱动可靠的抽象解释，SAIL方法让静态分析兼顾精度与效率

arXiv:2511.13663v2 Announce Type: replace-cross Abstract: How to construct globally sound abstract interpreters to safely approximate program behavior…

sail llm 抽象解释静态分析程序验证

📅 日期

2026-05-20 2026-05-19