「数学问题」共找到 3452 篇相关文章
小红书hi lab首次开源文本大模型，训练资源不到Qwen2.5 72B 的四分之一
6月6日，小红书hi lab团队首次开源文本大模型dots.llm1，采用MIT许可证。该模型激活参数量140亿，总参数量1420亿，上下文长度32K。训练资源不到Qwen2.5 72B的四分之一，在多个测评中表现出色。
极低成本，复现GPT-4o图像风格化一致性！NUS推出OmniConsistency
NUS ShowLab 推出 OmniConsistency，解决开源扩散模型在图像风格化一致性上与商业 API 的差距。它成本低，能在保持风格化效果时精准保留图像细节等，还解决了风格化与一致性的跷跷板问题，且兼容性强。
o4-mini暴击六大数学天团，攻破陶哲轩难题！4.5h激战人类阵地失守
Epoch AI团队举办竞赛，约40位数学精英分成8组与o4 - mini - medium在FrontierMath基准上对决。o4 - mini击败6组团队，虽未完全超越人类，但Epoch AI预测到2025年底AI可能超30% - 50%人类基准。
初稿出炉：首部AI数据标注合规标准，欢迎参与起草与研讨
数据标注影响大模型性能，国家正推进数据标注产业发展，但行业合规问题突出。智合标准中心启动《面向人工智能的数据标注合规指南》团体标准研制，初稿已出，邀多方参与起草，标准将助AI企业解决合规难题。
这款小众 AI 产品，真让我眼前一亮
AI笔记应用Granola获4300万美元融资，估值达2.5亿美元。它打破传统会议记录模式，发挥人和AI优势。其创始人分享创业和产品理念，探讨产品决策、用户反馈筛选等问题，还谈及旅行对直觉的影响及产品发展方向。
奥特曼：我不会让儿子和AI交朋友！与丈夫的家庭生活首曝光
2025年奥特曼出席美国国会山听证会，反对强监管，称其会对美AI竞赛造成灾难性影响，还透露OpenAI首个开源模型今夏发布。此外，他分享了智能时代路线图，谈到中美AI竞争等问题，其家庭生活也首次曝光。
二十年老牌 IDE 栽在 AI 上！JetBrains 被差评逼疯批量删除评论，用户怒打更多1星抗议
JetBrains 2023 年 12 月发布的 AI 助手插件下载超 2200 万次，但评分仅 2.3 分。该公司批量删负面评论引用户不满，其还存在安装难移除、体验差等问题。虽推出免费套餐和 Junie 智能体，仍面临成本和竞争压力。
MinerU又开源了！这次专治OCR跨页失忆症
文档解析领域，MinerU团队开源了专门给OCR结果做“后处理”的4B小模型MinerU - Popo。它能把碎成一页一页的OCR结果重新拼成文档级结构，解决了当前OCR跨页逻辑断裂问题，且效果和成本优势突出。
不做手机缩小版：AI 健康记录迁到手腕，要跨过哪些工程鸿沟？
文章围绕HarmonyOS的穿戴应用，如‘小卡健康’等，探讨将AI健康记录迁移到手腕面临的工程挑战。介绍了应用场景、系统能力调用，以及从接口到产品可用需解决的问题，强调要以用户体验为导向进行产品优化。
财报里的AI医生「大为」，撬动京东健康价值重估
京东健康AI医生「大为」让用户足不出户解决就医问题。财报显示其已覆盖超1000种病症，“618”服务用户数同比增近4倍，满意率超98%。它凭借数据、场景和履约能力实现问诊到服务落地，并探索长期健康管理。