电报

7×24 小时实时快讯，自动刷新北京时间：

全部 A·重要 B·普通 #数学 ✕
B
【OpenAI发布前沿大模型的全新数学能力测试成果‌】10月7日电，OpenAI正在公开其内部前沿大模型生成的一系列全新数学研究成果，相关内容通过GitHub代码库发布，同时附带了论文修订与引用的规范协议。本次公开的成果包含Lean语言形式化证明，可让数学证明内容直接通过计算机完成校验；单份成果平均消耗的算力，约等于ChatGPT Pro三小时的深度推理时长。
#ChatGPT#OpenAI#大模型#GPT#数学#EA#算力#人工智能10-07 06:26
B
【“十五五”时期 加强基础研究将重点推进4个方面工作】在国务院新闻办公室今天（29日）举行的“开局起步‘十五五’”系列主题新闻发布会上，科技部龙腾副部长介绍，基础研究是整个科学体系的源头，是所有技术问题的总机关。近年来，中国基础研究整体实力显著增强，在基础数学、量子科技、物质科学、空间科学等领域取得一批重大原创成果，基础研究已进入全面提升、重点突破的新阶段。下一步，科技部将重点推进4个方面的工作。 一是强化基础研究战略导向和原创导向。从国家急迫需要和长远需求出发，进一步明确基础研究的主攻方向和重点领域，统筹推进原始创新和关键核心技术攻关。广泛调动各方力量，强化科技力量协同联动，整合资源推进原创性颠覆性创新，全面提升基础研究体系化攻关能力。不断完善学科设置调整机制，关注扶持冷门学科、薄弱学科，培育新兴学科，鼓励多学科交叉融合和跨学科研究。 二是大力扶持优秀青年科技人才。加大对优秀青年科技人才的稳定支持力度，支持优秀青年科技人才在重大科研任务中挑大梁、当主角。完善基础研究人才资助体系，接续培养青年人才队伍。高校、科研院所加大对职业早期青年人才的稳定支持力度，支持青年人才练好科研基本功。加强基础研究后备力量建设，吸引优秀青年学生投身基础研究。 三是健全多元化投入格局。持续增加中央财政投入，完善基础研究竞争性支持和稳定性支持相结合的投入机制。鼓励地方结合经济社会发展需求，强化对基础研究的支持。鼓励引导企业加大基础研究投入，落实好企业投入基础研究的税收优惠政策，加大国家自然科学基金委与企业设立联合基金的力度。鼓励社会力量以设立科学基金、科学捐赠等多渠道投入基础研究，拓展支持基础研究的金融政策。 四是健全基础研究支持保障体系。加快推进基础研究平台基地建设，持续加强高端科研仪器研发，深入推进科学数据库和种质资源库建设，加快建设世界一流科技期刊，进一步加强重大科技基础设施和高端科研仪器开放共享，提高科技基础条件自主保障能力。 (央视新闻)
#数据库#数学#科研09-29 15:26
B
【报告：以大模型为代表的新一轮人工智能技术创新在数学推理等基准上已接近甚至超越人类基线】9月23日电，近日，中国信息通信研究院（简称“中国信通院”）政策与经济研究所正式发布《数字包容发展研究报告（2026年）——面向人工智能时代的技术普惠与实践探索》。报告核心观点指出，人工智能技术浪潮推动数字包容内涵演进。以大模型为代表的新一轮人工智能技术创新，在数学推理、多模态理解、博士级科学问答等基准上已接近甚至超越人类基线，作用对象转向人类“认知”本身，在扩散速度、涉及领域、影响深度上较以往技术变革更为剧烈，对经济社会包容发展的冲击加大。
#人工智能#多模态#大模型#数学09-23 13:36
B
【OpenAI成立独立的数学顾问团队】9月22日电，OpenAI成立独立的数学顾问团队。自8月28日以来，OpenAI模型解决了超过100个数学问题。
#OpenAI#数学#环球市场情报09-22 01:38
B
【最复杂、速度最快的分子计算机诞生 可实现100比特、连续25次不同运算】9月20日电，据最新一期《自然》杂志报道，爱尔兰梅努斯大学的研究人员研制出一种新型DNA分子计算机，可利用DNA分子相互作用完成加法、乘法和除法等数学运算。这是目前已报道的最复杂、速度最快的分子计算机，已实现100比特计算，并可连续完成多达25次不同运算。这项研究有望为低能耗计算和长期数据存储提供新的技术路径。 (科技日报)
#DNA#数学#分子09-20 09:21
B
【OpenAI据报接近解决又一“千禧年大奖难题” 或将攻克霍奇猜想】9月17日电，据报道，OpenAI已接近解决“千禧年大奖难题”中的另一道数学难题——霍奇猜想（Hodge Conjecture）。OpenAI员工预计这一问题可能在不久后得到解决。霍奇猜想是美国克雷数学研究所提出的7个“千禧年大奖难题”之一，解决其中任何一道均可获得100万美元奖金。
#OpenAI#数学#人工智能09-17 22:19
B
【智谱：Co-work商业化快于预期 行业订单已超10亿元】《科创板日报》16日讯，智谱9月16日在电话交流会中表示，目前公司商业化拓展在Co-work领域开始上量。 GLM-5.3发布后1个月内，Co-work行业订单金额已超10亿元人民币。Co-work从验证阶段进入生产级部署阶段。网络安全防御是率先落地的垂直场景，已有100家安全企业将GLM模型接入安全产品和业务流程，覆盖国内主要安全厂商、互联网大厂、研究机构和金融机构。智谱认为Co-work是未来大模型重要方向，在金融、法律、工业、制造、生命科学、数学等领域具有广泛应用前景。 (科创板日报记者 李明明)
#网络安全#大模型#GLM#数学#智谱#人工智能09-16 15:01