全流程数学研究智能体发布自主攻克多项长期公开数学难题
7月6日，中国科学院数学与系统科学研究院（以下简称数学院）发布基于大语言模型的数学研究智能体“数学机械化智能体（MechMath Agent Team，简称MMAT）”，该智能体搭建起了覆盖数学研究全流程的研究框架，是数学家的全新智能研究助手，这标志着我国大模型驱动的定理证明技术实现前沿科研级突破。 经过两个月内部测试验证，MMAT独立或与数学家交互攻克了代数计算理论、微分代数、数论领域8项长期公开问题，比如稀疏多项式计算复杂性与最优算法、广义艾里算子等价问题，以及BSD猜想重要研究内容等。其中2项问题由MMAT全自动独立解决，6项问题的核心关键引理由MMAT完成证明。同时，MMAT还给出了2项难题证明过程的形式化验证，验证结果严谨可靠。 研发团队负责人、数学院研究员高小山介绍，MMAT采用分层多智能体协同的核心设计思路，构建了系统、完整的大模型推理框架。他们首先将数学家的研究思路和环节进行模块化，打造出二十个左右具备专......阅读全文
全流程数学研究智能体发布－自主攻克多项长期公开数学难题
7月6日，中国科学院数学与系统科学研究院（以下简称数学院）发布基于大语言模型的数学研究智能体“数学机械化智能体（MechMath Agent Team，简称MMAT）”，该智能体搭建起了覆盖数学研究全流程的研究框架，是数学家的全新智能研究助手，这标志着我国大模型驱动的定理证明技术实现前沿科研级突
新研究提出大模型智能体电网调度框架
近日，华南理工大学教授朱继忠团队与合作者在《自然-通讯工程》上发表研究成果，提出一种面向智能电网运行的大模型智能体（LMA）定制框架，为新能源高渗透、电气化负荷增长及分布式能源广泛接入背景下的电网调度控制提供新思路。 论文共同通讯作者朱继忠对《中国科学报》表示，该框架的核心并非让通用大模型直接
数学研究表明衰老不能阻止
美国亚利桑那大学研究人员带来了坏消息：从数学上看，像人类这样的多细胞生物，衰老无法阻止。 研究人员之一、亚利桑那大学教授乔安娜·梅塞尔在一份声明中说：“从数学上看，衰老不可避免，完全不可避免。逻辑上、理论上和数学上都没有办法。” 梅塞尔和博士后保罗·纳尔逊在新一期美国《国家科学院学报》上报告
滨州刘徽数学研究会成立
5月16日，滨州刘徽数学研究会成立大会暨弘扬科学家精神报告会在山东航空学院举行。刘徽，山东滨州邹平人，我国魏晋时期数学家，是中国古典数学理论的奠基者之一，被誉为“世界数学泰斗”。他的著作《九章算术注》和《海岛算经》，是中国宝贵的数学遗产。去年11月，第42届联合国教科文组织大会审议通过中国科协推荐的
中科院数学院田野研究员获晨兴数学金奖
本报讯 世界华人数学家大会日前在台北举行，并颁发了晨兴数学金奖。中科院数学与系统科学研究院研究员田野因对数论领域的杰出贡献而获此殊荣，同时获奖的还有香港科技大学数学系副教授何旭华。 据了解，世界华人数学家大会每三年举行一次，1998年设立的晨兴数学金奖旨在表彰45岁或以下在基础数学和应
国内首个“基于大模型的可进化智能体”研究启动
近日，阿里云与清华大学智能产业研究院（AIR）共同启动“基于大模型的可进化智能体”的研究，探索模型智能体（AI Agent）共性基础技术，提升大模型多语言、多模态基础能力。这是国内首个关于可进化智能体系统化产学研融合的专项研究，也是人工智能模型能力走向持续进化的一个重要里程碑。 智能体（AI
汕头大学发布研究生教育AI智能体
1月20日，汕头大学研究生教育AI智能体发布会在该校桑浦山校区举行。发布会正式揭幕“领潮”藻类和“领潮”心理学两个AI智能体，全面阐述了AI赋能研究生培养的汕头大学方案与实践。汕头大学校长郝志峰、执行校长王泉、医学院院长夏欧东出席会议，研究生院院长杜虹主持发布仪式。发布现场。汕头大学供图 会上
人工智能帮助数学家发现新的猜想和定理
中新网北京12月2日电 (记者 孙自法)国际著名学术期刊《自然》最新一期封面发表一篇计算机科学论文称，科研人员研发出一个机器学习框架，能帮助数学家发现新的猜想和定理。 该机器学习框架由知名人工智能(AI)企业DeepMind开发，已经帮助发现了不同纯数学领域的两个新猜想，这项研究展示出机器
生活中的数学之荧幕数学
数学作为社会生活的基本元素，不仅存在于教材中，也被不断挖掘于集时间艺术与空间艺术的复合体——影视艺术中。数学为电脑模拟真实世界提供了重要的途径，科学计算为视觉效果提供了无限可能。 美国数学家协会的数学家们曾说“特效产业是出现在数学家面前的一个令人兴奋的、全新的前沿领域，特效是数学的洞察力与电影
研究发现大脑中的“数学神经元”
德国图宾根大学和波恩大学最近进行的一项研究表明，大脑中的神经元会在特定的数学运算中被激活。研究结果显示，一些被检测到的神经元只在做加法时活跃，而另一些则在做减法时活跃。相关研究成果2月14日发表于《当代生物学》。众所周知，3个苹果加2个苹果等于5个苹果。然而，在这样的计算过程中，大脑发生了什么？波恩
研究发现大脑中的“数学神经元”
德国图宾根大学和波恩大学最近进行的一项研究表明，大脑中的神经元会在特定的数学运算中被激活。研究结果显示，一些被检测到的神经元只在做加法时活跃，而另一些则在做减法时活跃。相关研究成果2月14日发表于《当代生物学》。 众所周知，3个苹果加2个苹果等于5个苹果。然而，在这样的计算过程中，大脑发生了什
数学模型如何助力人类疾病研究？
在科学研究的道路上，科学家们常常会开发多种模型来帮助研究，其中数学模型就是研究者们经常使用的一种模型，随着近年来研究的不断深入，就有研究人员开发出新型的数学模型来解析中和抗体和HIV-1之间相互作用的机制，当然除此之外，科学家们还利用数学模型对其它疾病进行了大量研究，本文中，小编盘点了近年来多篇
数学模型如何助力人类疾病研究？
在科学研究的道路上，科学家们常常会开发多种模型来帮助研究，其中数学模型就是研究者们经常使用的一种模型，随着近年来研究的不断深入，就有研究人员开发出新型的数学模型来解析中和抗体和HIV-1之间相互作用的机制，当然除此之外，科学家们还利用数学模型对其它疾病进行了大量研究，本文中，小编盘点了近年来多篇
研究发现大脑中的“数学神经元”
德国图宾根大学和波恩大学最近进行的一项研究表明，大脑中的神经元会在特定的数学运算中被激活。研究结果显示，一些被检测到的神经元只在做加法时活跃，而另一些则在做减法时活跃。相关研究成果2月14日发表于《当代生物学》。 众所周知，3个苹果加2个苹果等于5个苹果。然
美斥巨资打造国立数学研究所
近日，美国布朗大学获得了一笔由美国国家科学基金会(NSF)资助的1550万美元的经费，用于兴建一座国立数学研究机构——计算与实验数学研究所（ICEM）。该所建成后，将成为NSF资助的第8个数学研究所。 ICEM建成后，将长期开展一系列具有国际水准的科研项目，范围涵盖应用数学与经典数学
研究人员发现学数学可损伤大脑
据国外媒体报道，一项研究显示，害怕数学可激活和生理痛有关的大脑区域。美国芝加哥大学研究人员伊恩-里昂斯和西恩-贝洛克在《公共科学图书馆-综合》杂志上撰文说，一个人对一项数学任务的焦虑越高，和检测内脏威胁有关的大脑区域就越活跃。 这些研究报告的作者说，以前的研究显示，社会排斥或创伤性精神崩溃
研究发现大脑中的“数学神经元”
德国图宾根大学和波恩大学最近进行的一项研究表明，大脑中的神经元会在特定的数学运算中被激活。研究结果显示，一些被检测到的神经元只在做加法时活跃，而另一些则在做减法时活跃。相关研究成果2月14日发表于《当代生物学》。 众所周知，3个苹果加2个苹果等于5个苹果。然
做数学题，人工智能与人类高手不相上下
一年前，美国谷歌旗下DeepMind公司开发的人工智能问题解决器AlphaGeometry，在国际数学奥林匹克竞赛（IMO）中达到银牌选手水平，震惊了世界。IMO是为有天赋的高中生设置的难度极高的数学竞赛。DeepMind团队现在表示，系统升级后的AlphaGeometry2的性能已经超过了IMO金
南开大学启动“数学与人工智能实验班”项目
5月27日，南开大学数学科学学院与多点数智有限公司、智现未来科技有限公司、淡水泉投资管理有限公司正式签署合作共建备忘录，联合启动数学与人工智能实验班项目。 根据共建备忘录，数学与人工智能实验班将于2025年高考启动招生报名工作，并纳入“省身班”管理体系，采用“数学基础+人工智能技术”双轨培养以
北京雁栖湖应用数学研究院新园区启用
原文地址：http://news.sciencenet.cn/htmlnews/2023/7/504939.shtm7月17日，由菲尔兹奖得主丘成桐领衔筹建的新型研发机构，北京雁栖湖应用数学研究院新园区正式启用。 ?北京雁栖湖应用数学研究院部分建筑。（崔雪芹摄影）北京雁栖湖应用数学研究院
研究显示：AI破解数学难题效果提升显著
核心数据：AI模型50%成功率推翻80年猜想1946年，著名数学家保罗·埃尔德什提出了一个关于单位距离问题的猜想：在平面上放置若干点，使得尽可能多的点对之间距离相同，埃尔德什认为最佳排列方式是使用规则网格。八十年来，无人能够证明或推翻这一猜想。然而，OpenAI的研究者将这一猜想交给AI模型处理后，
知名数学家刘克峰加盟上海数学与交叉学科研究院
近日，上海数学与交叉学科研究院（英文缩写“SIMIS”）官网更新信息显示，知名数学家刘克峰已经加盟该研究院，担任教授。刘克峰公开资料显示，刘克峰，1985年毕业于北京大学数学系，1988年在中国科学院数学研究所获得硕士学位，1993年在美国哈佛大学数学系获博士学位，2002年为美国加州大学洛杉矶分校
智能一体化蒸馏仪
智能一体化蒸馏仪主要由加热装置、蒸馏装置、循环冷却水装置和接收装置四部加热装置设置了加热速率智能控制功能，可实现加热温度和加热效率精密控制；蒸馏装置为ZL性设计，蒸馏效率高、冷凝效果好；循环冷却装置设置了冷却温度显示和控制功能，可确保冷却效果。 接收装置设置了蒸馏终点检测和自动停止加热功能
智能体SoulAgent让用户听会无需“赶场”
7月2日至5日，2026全球数字经济大会在北京召开，大会引入北京智源人工智能研究院（以下简称智源）自主研发的智能体SoulAgent，并将其作为官方专属人工智能（AI）助手。 7月4日下午，大会议程进入多论坛并行阶段。SoulAgent并行接入两场论坛同期举办论坛——第六届中国数据要素50人论
2025年度中德科学基金研究交流中心“智能数值数学”双边学术研讨会项目指南
为促进中德科研人员交流合作，中德科学基金研究交流中心（以下简称中德科学中心）将于2025年9月15日至17日在北京组织召开“智能数值数学（Intelligent Numerical Mathematics）”中德双边学术研讨会。 本次研讨会将包含“基于学习的数值计算(Learning-base
新研究：简单数学图形可描述神经丛林连接
如果按大小和形状给神经元分类，那种类数量惊人。各种各样的神经元之间彼此连接，形成密密匝匝的细胞“丛林”，要想找出其中的规律极其困难。据物理学家组织网近日报道，英国伦敦大学学院的科学家找到了一种能用简单图形描述所有树枝般神经元的新方法，并为100多年前的神经元形状假说提供了证明。相关论文发表在美国
“数学和应用研究”重点专项项目安排公示通知
关于国家重点研发计划“数学和应用研究”重点专项2021年度项目安排公示的通知 根据《国务院关于改进加强中央财政科研项目和资金管理的若干意见》（国发〔2014〕11号）、《国务院关于深化中央财政科技计划（专项、基金等）管理改革方案的通知》（国发〔2014〕64号）和《财政部科技部关于印发的通知》（财
研究提出反常霍尔角的双变量数学模型
磁性材料的反常霍尔输运效应来源于能带内禀贡献及杂质外禀散射，其重要参量反常霍尔角代表纵向电流密度驱动横向反常霍尔电流密度的能力。大反常霍尔角在反常霍尔磁传感、自旋电子学磁畴翻转等方面发挥关键作用。过去70年来，反常霍尔角长期处于0.1°~3°（0.2%~5%）较低水平，且缺乏调控模型和实验方案，导致
这家研究院要为中国培养顶尖数学家
走进位于上海市杨浦区的数学与交叉学科研究院（以下简称研究院），数学的元素扑面而来。正对大门是一个典型的卡拉比-丘流行模型，大堂上方挂着各个年代杰出的数学家。 该研究院由著名数学家、中国科学院外籍院士丘成桐牵头，中国科学院院士、复旦大学教授李骏担任首任院长。在今年1月2日举行的世界华人数学家联盟年会上
芬兰最新研究表明：孕期血压高孩子数学差
秋冬季是准妈妈患妊娠高血压的高发季，怀孕期间高血压会对胎儿智力发育产生巨大影响。据英国《每日邮报》报道，发表于《神经病学》杂志上的一项最新研究显示，孕妇在怀孕期间如果患有高血压，可能影响胎儿的终生智力。 芬兰赫尔辛基大学的研究人员对398位男性进行了智商测试，他们的母亲在孕期罹患高血压，结果发现