「Web3工具」共找到 3803 篇相关文章
半世纪难题48小时破解！陶哲轩组队把AI数学玩成打怪游戏了
陶哲轩与多名数学家合作，借助多种AI工具，仅用48小时就解决了尘封50年的Erdős问题。此次解题既有“人与人的协作”，也有“人与AI的协作”，这种方式正成新趋势。
告别AI“乱画图表”！港中文团队发布首个结构化图像生成编辑系统
现有AI生图工具在结构化图像生成上问题多，理解与生成能力有鸿沟。港中文等校联合团队提出首个综合性方案，涵盖数据集构建、模型优化、评估基准三大模块，助多模态模型画准图，推动其发展。
字节&MAP重塑大模型推理算法优化重点，强化学习重在高效探索助力LLM提升上限
强化学习虽提升大语言模型表现，但面临探索难题。字节跳动等团队提出FR3E框架，分两阶段重建探索机制，在多数学推理基准实验中显著优于强基线，为大模型强化学习提供新范式。
从OpenAI离职创业到估值1700亿美元，Anthropic用4年时间引硅谷巨头疯狂押注
最新消息，Claude背后公司Anthropic即将达成新一轮融资50亿美元，总估值达1700亿，不到半年估值涨近3倍。该公司由前OpenAI员工创立，获亚马逊、谷歌等投资，其模型在代码生成领域优势明显。
DeepSeek终于丢了开源第一王座，但继任者依然来自中国
几千人盲投中，Kimi K2超越DeepSeek成全球开源第一，总榜第五紧追顶尖闭源模型。虽有人质疑其采用DeepSeek V3架构，但团队称有参数调整。当下开源模型崛起，正打破性能弱的刻板印象。
马斯克星舰第九次试飞失败，为测试极限拆除100块隔热瓦，返航途中燃烧解体
马斯克星舰第九次飞行测试，二百万网友围观。虽点火、升空顺利抵达太空，但随后意外不断。部署卫星舱门无法打开，星舰轨道失控翻滚，进入大气层后燃烧，最终在59.3千米高空失联，官方确认“快速非计划解体”。
小米的中国芯，与雷军没说的“四个秘密”
本文围绕小米玄戒芯片展开，介绍其推出背景、工艺选择、研发成本及应用前景。指出华为、OPPO调整业务给小米带来契机，3nm工艺因品牌与成本平衡成首选，还分析了自研成本和知识产权等挑战。
一夜暴涨至2100亿！开源新王MiniMax M2.5，革了Opus 4.6的命
新智元报道，国产AI春节档，MiniMax M2.5昨夜登场，今日市值涨至2108亿港元。其编码性能逼平Claude Opus 4.6，价格仅为1/20，适配开发者工具，在办公、深度研究等场景表现出色，基于Agent RL技术体系。
天玑9500s正式登场！扩图消除本地跑，《原神》极高画质满帧运行
联发科技发布次旗舰新品天玑9500s，搭载旗舰机NPU，可流畅运行复杂端侧生成式AI模型，还采用3nm制程等，让《原神》极高画质满帧。此外，还推出天玑8500，Redmi Turbo 5 Max将首发天玑9500s。
智能体请求暴增9.4倍，token账单却没涨：Uber 公开AI软件工厂省钱方法
Uber 在 2026 年 AI 工程师大会分享软件工厂愿景。其 AI 工具嵌入开发各阶段，2 至 8 月智能体请求增 9.4 倍，成本稳定。介绍智能体会话四层、成本公式及优化手段，如选优模型、优化 token 等。