「数学2.0」共找到 2816 篇相关文章
8种LLM架构设计大比拼：从 DeepSeek-V3 到 Kimi K2，究竟有啥不同
文章对比了8种LLM架构设计，如DeepSeek-V3、OLMo 2等。介绍各模型关键技术，像DeepSeek-V3的多头潜在注意力和混合专家架构，还分析不同设计对性能、效率的影响，助读者了解LLM架构差异。
2.2K 标星的龙虾办公可视化项目！OpenClaw 专属的像素风「赛博办公室」！
由`海幸Hyacinth`和`Simon_阿文`联手打造的Star-Office-UI（龙虾办公室）在GitHub开源，获2.2K标星。它把AI助手工作状态变成像素风看板，打破人机交互冰冷感，还具多亮点及API，上手简单。
2.2K Star！21 种手绘风一键调用，这个 GitHub 开源项目把画风漂移治好了！
AI生图领域，画风描述不稳定、换工具后风格漂移是常见痛点，该GitHub开源项目hand-drawn-styles整理了21套经验证的手绘画风提示词配方，工具无关适配各类Agent，可固定风格解决漂移问题，目前已收获2.2K Star。
今夜的荣光属于MiMo V2.6。
本文作者实测对比同日发布的Grok 4.7与小米MiMo V2.6两大模型，认为MiMo V2.6在性能、价格、速度上满足大模型"不可能三角"，体验超预期且全面开源，对AI从业者实用性极强。
陶哲轩最新演讲：数学正在进入“工业时代”
当地时间7月24日，菲尔兹奖得主陶哲轩在2026年国际数学家大会上发表演讲，指出AI参与数学研究，或使数学站在类似历史节点，研究方式和价值体系受挑战，还探讨了AI对数学研究各方面的影响及应对方向。
GPT-Image-2平替！最强开源生图模型来了
OpenAI推出GPT Image 2引发AI生图大战，国内厂商商汤反击，推出多模态理解生成模型SenseNova U1并全面开源。它通过自研架构实现理解、推理、生成统一，实测表现惊艳，能力全维度，与GPT-Image-2范式不同。
春天见，第 20 届 D2 如期而至
2026年3月14日，第20届D2技术大会将在杭州阿里总部举办，主题为「AI新」。大会设多场专场沙龙，涵盖AI写代码、改变体验等内容，还有夜场沙龙探讨终端与AI未来。此外，开放议题征集，公布了参会购票信息。
Sora 2 App 上手体验攻略，附Sora AI视频
本文是Sora 2 App上手体验攻略。Sora 2 PC版能依提示词生成精美电影感视频，还可创建虚拟形象；App交互似抖音，能录制上传自身形象生成视频。其生成视频镜头自然，有“AI导演感”，但目前时长较短。
火速吃瓜：Kimi K2.6设计能力超越Claude Design
Claude Design刚冲击设计行业，就被中国的Kimi K2.6反超。Kimi K2.6设计能力强，价格比Claude Design便宜7倍，且“设计”只是副业。Anthropic拉软件大佬组联盟反击，胜负待察。
Kimi新模型数学反超DeepSeek！北大校友刘征瀛等领衔
Kimi新定理证明模型超越DeepSeek，基于Qwen2.5 - 72B打造，采用Kimi k1.5强化学习训练流程。有两大技术创新，还有精简版本，官方有Demo。双方此前比赛就打得有来有回。