乐科技　

马斯克公开分享了一次AI模型对比实验，实验以一名被定罪的比利时男子描述其因仇恨言论被定罪的司法原因为例，马斯克首先询问谷歌的Gemini模型，该男子对其定罪的描述是否准确，Gemini回复称其描述极度不准确。随后，马斯克将Gemini的回复内容复制并粘贴，交给自家的Grok模型 ...全文

PrismML推出1-bit图像生成模型，可在浏览器中本地运行

PrismML于2026年5月27日发布了Binary and Ternary Bonsai Image 4B模型，这是一个创新的1-bit扩散模型，专门用于图像生成任务。该模型文件大小约为3GB，与传统模型如FLUX.2 Klein 4B的16GB相比，体积显著缩减。最引人注目的特点是，它支持100%在用户的浏览器中本地运行，无需 ...全文

快手发布Keye-VL-2.0-30B-A3B多模态大模型，DSA机制解锁256K超长上下文

快手团队正式发布了新一代多模态大模型Keye-VL-2.0-30B-A3B。该模型作为Keye家族的30B级主力基座，首次在多模态理解场景中成功应用了DSA（DeepSeek Sparse Attention）机制，从而突破了超长视觉上下文带来的算力瓶颈，实现了256K超长上下文的深度感知与几乎无损的时序推理能 ...全文

PrismML发布1-bit扩散模型Bonsai Image 4B，支持浏览器本地运行

PrismML于2026年5月27日发布了Binary and Ternary Bonsai Image 4B模型，这是一个创新的1-bit扩散模型，专门用于图像生成任务。该模型文件大小约为3GB，与传统模型如FLUX.2 Klein 4B的16GB相比，体积显著缩减。最引人注目的特点是，它支持100%在用户的浏览器中本地运行，无需 ...全文

Anthropic的Claude Mythos模型以简洁证明解决Erdős单位距离猜想

在OpenAI刚刚解决Erdős单位距离猜想之后，Anthropic公司展示了其最新模型Claude Mythos同样能够解决这一著名的数学难题。据公开信息，工程师Sholto Douglas透露，Claude Mythos在周末用一个“简洁、精巧的证明”攻克了这个自1946年以来悬而未决的猜想。这一进展被视为人工智 ...全文

阿里云发布Qwen3.7-Max模型 并重构云架构为Agentic Cloud支持Agent

阿里云在年度520峰会上集中发布多项成果，核心是构建Agentic Cloud体系，旨在将整个云架构围绕AI Agent的需求进行重构。峰会发布了旗舰模型Qwen3.7-Max，该模型在Arena全球盲测总榜中进入第一梯队，超越了Kimi-K2.6、DeepSeek-v4-pro等模型，实现了国产模型的登顶。同时，阿 ...全文

华为提出韬定律，宣布麒麟2026将采用逻辑折叠技术，从时间维度优化芯片性能

华为半导体业务部总裁何庭波在学术会议上公布了名为“韬（τ）定律”的技术主张，其核心是以“时间缩微”替代传统的“几何缩微”路径。该定律认为，在晶体管微缩收益递减后，芯片性能的提升应聚焦于系统性地压缩信号传播时间（τ）。实现这一目标的四层体系包括器件层、电路 ...全文

Anthropic CFO首次访谈披露公司年收入达300亿美元及超千亿美元算力投入

Anthropic首席财务官Krishna Rao在一次访谈中首次公开披露了公司的多项核心数据与战略细节。他透露，Anthropic过去两年年化收入从2.5亿美元飙升至300亿美元，增长高达120倍。公司当前约30%-40%的资源投入在算力决策上，并采用“不确定性锥体”模型来应对指数级增长带来的挑战 ...全文

谷歌DeepMind的AlphaProof Nexus智能体借助双模型系统，自主证明了9个开放的Erdős数学问题。

谷歌DeepMind公司近期展示了其人工智能智能体在数学推理领域的重大进展。谷歌 DeepMind 的 AlphaProof Nexus 是一种将大语言模型与形式证明检查相结合的 AI 系统，目前已解决 353 个公开埃尔多斯问题中的 9 个，以及《整数数列在线百科全书》中 492 个公开猜想中的 44 个。这 ...全文

腾讯发布开源多语言翻译模型Hy-MT2，支持33种语言

腾讯近日发布了全新的开源多语言翻译模型Hy-MT2。该模型支持33种语言的无缝翻译，并且完全开源。Hy-MT2提供了7B和30B-A3B等不同规模的模型版本，在众多翻译任务中达到了开源模型的最优性能，甚至超越了参数数量多出数十倍的其他模型。
此外，其轻量级的1.8B模型在性能上优于 ...全文

本地AI部署硬件对比：AMD内存优势挑战NVIDIA

本文分析了本地AI硬件部署中的一个常见误区：用户容易被标称算力如“1 PetaFLOP”等数字误导，而忽略了决定大语言模型生成速度的关键在于内存带宽与容量，而非单纯的计算能力。文章以AMD最新发布的Ryzen AI Max与NVIDIA DGX Spark为例进行对比。
在文本生成任务中，由于模型 ...全文

OpenAI推理模型攻克Erdős猜想，菲尔兹奖得主称其为AI数学里程碑

OpenAI的一个推理模型解决了一个自1946年以来悬而未决的数学猜想——数学家保罗·Erdős提出的关于单位距离几何的猜想。据技术社区分享的文章介绍，该模型采用了代数数论中的工具，这些工具是该领域的专家此前未曾预料到的。菲尔兹奖得主蒂莫西·高尔斯称这一结果是“AI数学 ...全文

智谱发布GLM-5.1-highspeed，输出速度达300 TPS以上

智谱近日发布了glm-5.1-highspeed模型。据测试，该模型输出速度可超过300 TPS，首token延迟稳定在1秒。相比之下，原glm-5.1模型输出速度仅35 TPS，延迟9秒，速度提升约10倍。该模型单次激活40B参数，按bf16精度计算需80GB显存。速度提升归功于智谱与TileRT团队的合作，他们从 ...全文

国产显卡砺算科技LX 7G100发布

今天国产消费级显卡砺算LX 7G100正式发布，售价3299元，官方对标是英伟达4060显卡，今天有不少知名博主放出评测视频，根据跑分数据显示：
在游戏方面，7G100跑分水平大概和英伟达2060相当，考虑到后期优化，这张卡的游戏水平大概和3060持平。
从实测帧数来看，在1080分辨率下 ...全文

OpenAI的AI模型反驳离散几何猜想，展示AI数学推理能力

近日，OpenAI在官方网站上发布了一项研究成果，其人工智能模型成功反驳了一个离散几何猜想。这一成就展示了AI在复杂数学推理领域的潜力，标志着AI技术在科学研究中的应用迈出了重要一步。该文章发布后，在技术社区上引发了广泛关注和讨论，相关讨论帖获得了364个积分和227条 ...全文