“你把Nomi做出来，我第一时间就把它一拳砸碎。” 2015年，世界还没见过今天被很多人联想到“AGI”的AI技术，但刚刚创办蔚来第二年的李斌却已经决定要在车上做一个AI助手： 它必须有自己的物理实体，并且是超级智能的，有感情的。
价格战的烽烟终究是吹到了OpenAI，取代GPT-3.5的GPT-4o mini正式上线，每100万Token的输入/输出分别是15美分/60美分。而在此之前，国内的大模型厂商已经把大模型的体验成本降低到了几乎免费。 继“百模大战”后，越来越多企业意识到大模型只是“技术和能力”，只有利用这个新工具帮行业解决实际问题，才能让大模型在业务层面带来效率提升，本质上这也是大模型“商业化”的必经之路。
新一年度的中国开发者调查报告出炉
人工智能为什么会让人们在工作中更加孤立？
协同办公软件能把AI变成“真需求”吗？
WAIC2024揭晓“镇馆之宝”，AI应用新风向。
张雪峰和AI，各做各的生意
「忙碌海狸」难题困扰了计算机科学家40多年。如今，来自全球各地20+业余开发者和数学家们，终于取得了突破性进展。他们抓到了第五只忙碌海狸——用Coq辅助证明，得到答案47176870。对此陶哲轩激动地表示，这再次体现了证明助手对数学研究协作的重要性。
20美元，所有眼镜都能变成AI智能眼镜
夸克App升级高考AI搜索、智能志愿工具等功能，辅助千万考生家庭提升填报效率。
