微软宣布将在2027年底前追加投资54亿兰特（约2.97亿美元），扩大其在南非的云计算和人工智能（AI）基础设施，以满足Azure 云服务在该地区不断增长的需求。此外，该公司还计划为5万名南非学员提供云架构、人工智能和网络安全等高需求技能的认证考试费用，以助力本地人才发展。
一期长达5小时的播客，究竟谁在听？MIT人工智能研究员、知名播客主持人及科技传播者Lex Fridman的对谈节目《Lex Fridman Podcast》近期推出了有关DeepSeek的一期内容： 截至3月7日，这一期节目在YouTube上获得了178万播放量和2.5万like（点赞），对DeepSeek所代表的AI大模型革新的解读，获得了大量科技界、商界从业者的关注。
近日，索尼音乐宣布已采取行动，针对 AI 生成的假冒音乐内容进行了大规模的下架处理。据报道，索尼已下架超过7.5万条与旗下艺人哈里・斯泰尔斯等相关的 AI 伪造音乐。
AGI明年降临？清华人大最新研究给狂热的AI世界泼了一盆冷水：人类距离真正的AGI，还有整整70年！若要实现「自主级智能，需要惊人的10²⁶参数，所需GPU总价竟是苹果市值的4×10⁷倍！
最近AI一直是很火的话题，Deepseek也是一夜爆火，但是实际使用下来发现Deepseek好像和其他大模型一样，并没有什么厉害之处，而且官网经常服务器繁忙。
一直以来，AI 领域的研究者都喜欢让模型去挑战那些人类热衷的经典游戏，以此来检验 AI 的「智能程度」。
半个月前，Anthropic 发布了其迄今为止最聪明的 AI 模型 —— Claude 3.7 Sonnet。
英国初创公司 Quantexa 凭借其采用人工智能和数据分析的企业平台，多年来在打击洗钱和欺诈方面声名鹊起。
随着 DeepSeek-R1 的流行与 AI4Math 研究的深入，大模型在辅助形式化证明写作方面的需求日益增长。作为数学推理最直接的应用场景，形式化推理与验证（formal reasoning and verification），也获得持续关注。
见识过32B的QwQ追平671的DeepSeek R1后——刚刚，7B的DeepSeek蒸馏Qwen模型超越o1又是怎么一回事？新方法LADDER，通过递归问题分解实现AI模型的自我改进，同时不需要人工标注数据。
