搜索：数学研究目标

「数学研究目标」共找到 2669 篇相关文章

训练提速5倍，响应缩短50%：动态自感知能力，重塑高效LLM Reasoning范式

大型语言模型“思维链”技术有冗余，传统优化方案存在静态先验与动态能力错配问题。论文提出的DR.SAF框架赋予模型动态自感知能力，通过三模块协作，实现推理“精准瘦身”，解决根本冲突。

当前人工智能高能耗问题凸显，脉冲神经网络被认为更具生物合理性、能效更高，但缺乏平衡计算效率和生物合理性的脉冲神经元模型。国防科技大学与中科院团队合作提出 MSF 脉冲神经元模型，相关研究发表于《自然・通讯》。

美国一位60岁男子错信ChatGPT建议，用溴化钠替代食用盐，致体内溴含量严重超标，出现妄想症等溴中毒症状。医生研究发现，旧版ChatGPT未提供健康警告，而GPT - 5不建议用溴化钠替代食盐。

OpenAI 自 GPT - 2 后重新开源，此次连发两个推理模型 gpt - oss - 120b 和 gpt - oss - 20b。它们性能达 o4 - mini 水平，可在笔记本、手机运行，有宽松许可等亮点，在多测试中表现出色。

荷兰科学家在《PLOS Biology》发文，称用DdCBE成功纠正线粒体DNA突变。研究在原代成人细胞中验证其能恢复线粒体功能，还探索了modRNA和LNPs递送系统，虽距临床尚有数年，但意义重大。

7月26日，上海AI实验室在WAIC 2025上发布并开源科学多模态大模型Intern-S1。它融合书生家族优势，首创跨模态科学解析引擎，在多学科任务上超越顶尖闭源模型，技术创新显著，未来将持续开源。

OpenAI新模型在2025年国际数学奥林匹克（IMO）中达金牌水平，测试时不借助工具、不连互联网，且不太可能存在数据污染。该模型解决6题中的5题，非GPT - 5，近期也不发布。

Trivy是开源安全扫描工具，支持扫描容器镜像等目标，识别CVE漏洞等风险。它有6大突出功能，技术优势明显，还给出使用示例、应用场景，与传统工具对比优势显著，适用于全生命周期安全分析。

贝拉是数字伴侣种子，愿景是成用户持久个性化伙伴。早期通过轮播视频呈现，采用AI原生开发路径，分感知核心、生成式自我、主动式陪伴三阶段构建，目标是成为由AI驱动的生命体。

OpenAI前CTO Mira创立的Thinking Machines Lab获约20亿美元融资，估值达120亿美元，英伟达领投。同时，英伟达老黄宣布H20恢复中国销售，推出RTX Pro新显卡，市值一夜涨1600亿美元。