我科学家首次用中国大模型攻克世界级数学难题
近日，困扰数学界30余年的世界级难题——三维Ghys猜想取得突破。大湾区大学理学院教授许地生团队依托上海人工智能实验室书生科学多模态大模型S2（以下简称书生-S2），基于“通专融合”技术路径，通过人机协同完成了三维Ghys猜想证明。相关论文已在预印本平台arXiv发布，形式化代码已在GitHub公开。 北京大学董彬教授团队与刘若川院士团队利用其开发的SHEAF框架，对本次证明进行了形式化验证，确认了该工作的正确性。这标志着中国科学家首次借助中国大模型完成世界级数学难题证明。 “Ghys猜想”由法国数学家艾蒂安·吉斯（étienne Ghys）于1995年提出，猜测：每个紧致复流形上的全纯Anosov系统，都双全纯共轭于某个复infra-幂零流形上的全纯仿射自同构。该问题兼具理论难度与学科标志性价值，被动力系统领域专家公认为该领域重要的长期公开问题之一，也是检验数学推理能力的试金石。 突破的起点，是书生大模型在2025年......阅读全文
我科学家首次用中国大模型攻克世界级数学难题
近日，困扰数学界30余年的世界级难题——三维Ghys猜想取得突破。大湾区大学理学院教授许地生团队依托上海人工智能实验室书生科学多模态大模型S2（以下简称书生-S2），基于“通专融合”技术路径，通过人机协同完成了三维Ghys猜想证明。相关论文已在预印本平台arXiv发布，形式化代码已在GitHub
国内学者使用国产大模型攻克世界级数学难题
近日，上海人工智能实验室（上海AI实验室）访问学者、大湾区大学教授许地生宣布，其团队依托书生科学多模态大模型S2（书生-S2），基于“通专融合”技术路径，通过人机协同完成了三维Ghys猜想证明。中国科学院院士刘若川、北京大学教授董彬团队利用其开发的SHEAF框架对本次证明完成形式化验证，验证了这一工
世界级数学难题，人大团队攻破！
日前，以中国人民大学数学学院院长郑志勇教授为首的现代密码学研究团队，运用理想格理论与中国剩余定理，首次提出了不依赖重采样技术的无界全同态加密算法，在信息安全领域顶尖学术期刊上发表主题为《基于理想格和中国剩余定理的无界全同态加密技术》的开创性研究成果，并先后出版以世界上首本对抗量子密码进行系统性数学证
数学证明难题终于有解了
闸门已经打开。就在OpenAI的新大语言模型取得二十年来最大数学突破一个月之后，这家公司又放出了一批成果：据称多达三百七十二项结果，每一项都解决或实质性推进了数学或理论计算机科学中的某个重大公开问题。这些结果于美国东部时间傍晚六点发布在一个公开代码仓库中，数学界需要数月才能逐一消化、理解，以判断
西北油田攻克世界级稠油开采难题
资料图片：中国石化西北油田分公司工人作业中 记者从中国石化西北油田分公司获悉，近日，由西北油田分公司自主创新，我国首例注气稀油气举先导试验在超深特稠油井成功实施。 据介绍，稠油产量占西北油田总产量的40%以上，常温下呈沥青状，而塔河油田的稠油往往都在5000米以下，其开采难度在世界罕见。
数学家试图借数学模型揭示肥胖之谜
肥胖研究似乎不属于数学范畴，但美国俄亥俄州立大学数学研究人员侯赛因·焦什昆不这样认为。他带领一个研究团队，试图借数学模型揭示脂肪细胞形成的过程并解开肥胖之谜。筛选 焦什昆阅读大量与前脂肪细胞转变为脂肪细胞相关的学术文章后，找出16种在这个转变过程中看起来最活跃的蛋白质，从中
量子计算机解开“绳结”数学难题
量子计算机在解决拓扑学难题上展现出巨大潜力。据英国《自然》网站日前报道，总部位于英国剑桥的Quantinuum公司研究人员在arXiv网站发布预印本论文称，他们可利用量子计算机H2-2根据拓扑特性区分不同类型的绳结，且速度可能超越经典计算机。 研究团队利用量子算法计算绳结的“琼斯不变量”（描述
青藏铁路勘测过程中，他攻克了一个世界级难题
原文地址：http://news.sciencenet.cn/htmlnews/2023/10/509748.shtm 他被誉为中国工程勘察大师，也是我国地质工程遥感技术的奠基者和开拓者。他曾负责主持了成昆、青藏、朔黄等30多条铁路线路的工程地质遥感工作，他就是卓宝熙。 近日，总台《吾家吾国
生活中的数学之荧幕数学
数学作为社会生活的基本元素，不仅存在于教材中，也被不断挖掘于集时间艺术与空间艺术的复合体——影视艺术中。数学为电脑模拟真实世界提供了重要的途径，科学计算为视觉效果提供了无限可能。 美国数学家协会的数学家们曾说“特效产业是出现在数学家面前的一个令人兴奋的、全新的前沿领域，特效是数学的洞察力与电影
构建新数学模型解析复杂疾病
原文地址：http://news.sciencenet.cn/htmlnews/2023/10/510702.shtm
AI破解数学难题正成为新风口
人工智能或许刚刚改写了数学史。据多家报道，AI 已攻克数学界六大"百万美元"公开难题之一，证明支配流体运动的纳维-斯托克斯方程在本质上存在缺陷。如果属实，这将是至少二十年来数学领域最具分量的一天。 纳维-斯托克斯方程描述的是从浴缸排水口的漩涡到厄尔尼诺横扫北美的狂风等一切流体运动。经过两个世纪的研
AI求解数学难题正成为新风口
人工智能公司Anthropic用大语言模型生成了一份渗流理论核心猜想的证明，仅在其预言者发文数日后便宣告成功。 渗流理论研究随机网络中连通性的出现，一个长期圣杯问题便是刻画网络从有限簇到无限簇的相变阈值。 具体而言，数学家长期寻求理解一个阈值：高于它，某网络由无限开放连接构成的概率高；低于它，该概率
人工智能数学评测难题终于有解了
人工智能模型正在变得越来越擅长数学，但领先者几乎都来自商业公司。名为首次证明的项目，旨在客观评估公开人工智能模型的数学推理能力，于今日发布第三批结果。它们既印证了近期头条所显示的——某些大语言模型正成为强大的科研工具，也暗示所谓前沿实验室的专有订阅模型，远胜更透明、更易获取的开放权重模型。斯坦福大学
攻克世界级焊接难题－他用焊枪接通“梦想之桥”
原文地址：http://news.sciencenet.cn/htmlnews/2023/4/499701.shtm 如果说桥梁杆件是一座桥的骨头，那么焊接就是连骨成架的关键一环，只有精湛的焊接技艺才能让桥梁跨山越海，坚如磐石。中铁山桥桥梁分公司焊接特级技师张明，从事焊接工作16年来，他一路从学
全流程数学研究智能体发布－自主攻克多项长期公开数学难题
7月6日，中国科学院数学与系统科学研究院（以下简称数学院）发布基于大语言模型的数学研究智能体“数学机械化智能体（MechMath Agent Team，简称MMAT）”，该智能体搭建起了覆盖数学研究全流程的研究框架，是数学家的全新智能研究助手，这标志着我国大模型驱动的定理证明技术实现前沿科研级突
高端AI模型难题终于有解了
高端AI模型难题终于有解了 什么可能给Anthropic即将到来的、价值数万亿美元的IPO热潮泼上一盆冷水？答案是：人们比起它旗舰级的AI产品，更偏爱便宜的模型。支付集团Ramp收集的、来自7万家美国公司的近期支出数据显示，在其AI工具的总支出中，花在Anthropic最昂贵也最强大的模型Fabl
数学模型如何助力人类疾病研究？
在科学研究的道路上，科学家们常常会开发多种模型来帮助研究，其中数学模型就是研究者们经常使用的一种模型，随着近年来研究的不断深入，就有研究人员开发出新型的数学模型来解析中和抗体和HIV-1之间相互作用的机制，当然除此之外，科学家们还利用数学模型对其它疾病进行了大量研究，本文中，小编盘点了近年来多篇
数学模型如何助力人类疾病研究？
在科学研究的道路上，科学家们常常会开发多种模型来帮助研究，其中数学模型就是研究者们经常使用的一种模型，随着近年来研究的不断深入，就有研究人员开发出新型的数学模型来解析中和抗体和HIV-1之间相互作用的机制，当然除此之外，科学家们还利用数学模型对其它疾病进行了大量研究，本文中，小编盘点了近年来多篇
花椰菜类几何图案数学模型出炉
据物理学家组织网近日报道，最近，一个由西班牙卡米亚斯大主教大学(UPCO)、马德里卡洛斯三世大学(UC3M)的科学家组成的研究小组，首次开发出一种表现普适机制的数学模型，能描述某些复杂自然花纹形成的规则，比如花椰菜的表面图案。相关论文发表在最近出版的《新物理学》杂志上。 该研究属于分形几何
科学家构建花序发育数学模型
近日，北京大学现代农业研究院教授焦雨铃团队等建立了一个具有普适性的花序发育数学模型，用以解释小麦、玉米、水稻及大麦等作物的穗部发育过程。相关成果发表在在《自然-植物》。花序结构决定了植物的花和种子数目，在作物中则直接影响穗粒数，是影响产量的核心要素。禾本科包含小麦、玉米、水稻等主要粮食作物，也是最大
塔里木油田攻克一项油气高效开发世界级难题
中石油新疆塔里木油田近年来依靠科技创新和尖端配套技术应用，逐渐掀起了碳酸盐岩油藏的“盖头”，攻克了油气高效开发的世界级难题。截至目前，塔里木油田碳酸盐岩原油产量累计突破1000万吨，探明地质储量逾3亿吨，这标志着塔里木盆地碳酸盐岩油气藏开发进入新时期。 碳酸盐岩是碳酸盐矿物组成的岩石的总称，具
研究显示：AI破解数学难题效果提升显著
核心数据：AI模型50%成功率推翻80年猜想1946年，著名数学家保罗·埃尔德什提出了一个关于单位距离问题的猜想：在平面上放置若干点，使得尽可能多的点对之间距离相同，埃尔德什认为最佳排列方式是使用规则网格。八十年来，无人能够证明或推翻这一猜想。然而，OpenAI的研究者将这一猜想交给AI模型处理后，
AI数学证明可信性难题终于有解了
本周二，聊天机器人制造商开放人工智能发布数百篇新论文，声称包含各类数学问题的证明，这正值其人工智能智能体求解纳维-斯托克斯方程的方式引发巨大争议之后。这一发布的处理方式，如同纳维-斯托克斯事件一样，惹恼了该领域的专家，他们对该公司模型可能使用其成果感到恼火，也反感隐含的期望——即他们应去从事拆解并
青年数学家王虹斩获两项世界级大奖
据美国普林斯顿高等研究院官网28日消息，34岁的中国青年数学家王虹荣获2025塞勒姆奖。该奖被视为数学界最高奖项——菲尔兹奖的风向标。值得一提的是，就在此前一天，王虹还斩获了第十届世界华人数学家大会（ICCM）数学奖金奖。ICCM有“华人数学界菲尔兹奖”的美誉，与菲尔兹奖一样，该奖项只授予45岁
数学院等在贝叶斯模型选择渐进行为研究中取得进展
近日，中国科学院数学与系统科学研究院和英国伦敦大学科研人员合作的关于贝叶斯模型选择的渐进行为的研究成果，在线发表在PNAS上。研究表明，贝叶斯模型选择的病态渐进行为是使用贝叶斯方法进行物种进化树估计得到不合理结果的可能原因。 模型选择与假设检验是统计学中比较棘手的问题。经典统计与贝叶斯统计的处
俯冲带温度模型难题终于有解了
科学家在巴布亚新几内亚东部发现一块神秘岩石，它大约在四百四十万年前被拖入地球内部深处，带回了一段改写认知的温度故事。随着岩石被俯冲带的力量推向星球更深处，它的温度走势并未如科学家预期。 通常而言，地球越深越热，但温度梯度并非始终笔直平滑。这块来自巴布亚新几内亚的岩石正是佐证。它采自古迪纳夫岛一处
中国海油攻克海上“双高”气田开发的世界级难题
据中国海洋石油总公司最新消息，我国海上首个高温高压气田——中国海油东方1-1首批调整井，经过近6个月作业成功完钻，并创出一系列领先国际水平的高效作业、安全和产能纪录。以此为标志，中国海油在“双高”天然气成藏理论、“双高”地层压力预监测、钻前预测和钻后评价等核心技术上均取得突破，系统攻克了海上高温
科学家构建肿瘤生长趋势数学模型
据美国物理学家组织网8月2日报道，美国迈阿密大学和德国海德堡大学的研究人员日前开发出了一种能够帮助人们理解和预测肿瘤生长趋势的数学模型。研究人员希望该模型能够帮助医生为患者制定出高度个性化的治疗方案。相关论文发表在《自然》杂志旗下的新刊《科学报告》杂志网络版上。 从宏观角度来
新数学模型RSIT助力地震前兆预警
原文地址：http://news.sciencenet.cn/htmlnews/2023/9/508419.shtm
如何选择适合指示生物监测的数学模型？
选择适合指示生物监测的数学模型可以考虑以下几个关键因素：数据特征：分析所收集的数据类型（连续型、离散型、分类数据等）、数据量大小、变量之间的关系（线性或非线性）以及数据的分布情况。研究目的：明确监测的具体目标，是预测生物的数量变化、评估生物的健康状况、还是研究环境因素对生物的综合影响等。环境复杂性：