「大数据任务」共找到 7898 篇相关文章
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
八大顶尖机构推出开源定理证明器Goedel - Prover - V2，有32B和8B两版本。它在多个基准测试击败671B的DeepSeek - Prover，采用创新技术，以少算力刷爆SOTA，十位华人是核心贡献者。
什么都不做就能得分？智能体基准测试出现大问题
随着AI智能体走向实际应用，其基准测试变得至关重要。但现有基准测试问题多，如WebArena判错答案、τ - bench给无操作智能体高正确率。文章提出有效性判据和ABC清单，还揭示主流基准测试诸多问题。
用MoE打造DNA基础模型更强范式！人大实现seq2func全新突破
中国人民大学团队提出SPACE模型，通过引入物种感知编码器和谱系分组增强解码器，革新架构，提升了DNA基础模型性能与泛化能力，在多项测试中表现优于主流模型。
人类下一个奇点，超级智能时代
OpenAI联合创始人Sam Altman在博客《温和的奇点》中表示，人类已越过技术转折点，迈向数字超级智能时代。他预测2025 - 2027年将有系列智能成果出现，到2030年代智力和能源将丰富，虽有挑战但前景乐观。
摩尔线程之后，又一家国产 GPU 独角兽完成上市辅导
6月23日，国产GPU龙头沐曦IPO辅导完成，将提交申报材料。其为异构计算提供全栈GPU方案，产品有曦思N、曦云C、曦彩G系列。曾与书生・浦语3.0合作，2024年交付多个算力集群。此外，国产GPU厂商纷纷IPO。
老黄新鲜一刀，RTX 5050正式官宣
英伟达官宣RTX 5050桌面/笔记本GPU，7月上市，国内2099元起。它搭配DLSS 4技术，性能提升显著，但显存“新旧混搭”。网友大多不太买账，认为能耗高、性价比低。
1分钟烧掉165万元！马斯克死磕OpenAI，300亿新融资豪赌AGI
xAI每月烧钱10亿美元，正进行43亿美元股权融资，计划明年再筹64亿，还有50亿债务融资。马斯克有三张王牌，xAI预计2027年盈利，其目标是创造AGI，这场豪赌结果待时间揭晓。
AI进化三年，产业落地真拐点可能就在这场全球顶尖金融智能赛事里
AI发展三年走到关键转向点，应用价值成关键。金融行业是AI应用复杂领域，AFAC2025金融智能创新大赛聚焦解决产业真问题，设百万奖金池，开放多赛道赛题，已开启报名。
从browser-use 出发，品 Agent 实现
本文作者以学习总结视角，从browser - use出发解析Agent实现。介绍LLM不同阶段，阐述Agent记忆、规划、工具等要素，通过对话演示和源码分析展示运行机制，还探讨MCP集成和Coze space应用模式。
文档OCR新范式0.84 页/秒，吊打MinerU Qwen2.5VL
MonkeyOCR采用SRR三元组范式，简化多工具管道，避免整页文档处理低效率。与MinerU、Gemini 2.5 Pro等对比，性能表现优，处理速度达0.84页/秒，但对扫描件效果欠佳，架构含多模型，可通过特定地址测试。