Ai能力
科技人工智能
DeepSeek发布V4.1-Flash-1017模型更新版本
DeepSeek推出了V4.1-Flash-1017，这是对其Flash模型系列的一次更新。新版本采用稀疏混合专家架构，基于因果编码器-解码器（CED）设计，在输入时激活8B参数、输出时激活16B参数。该模型在推理、编码、代理任务和视觉基准上实现了实质性改进，同时通过压缩KV缓存等优化手段，使缓存内存降低至前一代Fl…
科技人工智能
人工智能冲击数学学科认可体系
近五千名数学家（包括二十五位菲尔茨奖得主）签署了名为《AI在数学中的严重错位》的声明，对人工智能在数学研究中的作用提出了关切。声明认为，尽管AI能够解决复杂问题，但这些解法绕过了概念理解这一数学研究的根本目标。签署者指出，大量通过AI生成的"真假"数学陈述可能摧毁而非促进新思想的产生。