用1000页论文证明一个问题，再用1000页来填补漏洞
证明是数学的精髓。任何数学结果都应按照严格的逻辑从第一原理推导得出。证明是将数学与其他智力活动区分开来的东西，也是数学之所以优美并纯粹的原因。 最近，帝国理工学院的纯数学教授 Kevin Buzzard 在剑桥举办的一次研讨会上表示，证明是一种很高的标准，它被兢兢业业地应用到了本科的数学课程中，却没有应用到更高层次的数学研究中。 有些证明是存在漏洞的，有些证明是有错误的，还有些证明在全世界只有一两个人能理解。即使是发表在学术期刊上的东西，也不一定都正确。想要确切地知道哪些结果是可信赖的，你得成为一个能接近那些达成了共识的专家的圈内人。Buzzard 说：“事情有些失控。” Buzzard 自己就是这样一位专家，从 1998 年以来，他就是一名专业的数学研究人员。在博士期间，他研究与费马大定理的证明有关的一些数学。不过最近几年，对学术界中的数学证明标准的担忧，悄然袭上了他的心头。他说，这种担忧或许部分源于他的数学中年危机......阅读全文
AI证明数学定理，3年内AI会赶超数学家？
原文地址：http://news.sciencenet.cn/htmlnews/2023/7/504007.shtm ·越来越多的数学研究者关注人工智能对该领域的影响，在各种讨论会上辩论，采用不同的AI工具尝试解答数学问题。 ·数学是机器学习能做什么或不能做什么的试金石。推理是数学过程的精髓
多国研究团队宣称罗塔猜测已被证明 震惊数学界
一个由新西兰维多利亚大学数学家杰夫·惠特尔、加拿大滑铁卢大学数学家吉姆·吉伦和荷兰马斯特里赫特大学数学家伯特·杰拉德斯组成的研究团队日前宣称：他们经过15年的艰辛努力，终于找到了所有的必要的证据去证明著名的罗塔猜测。此消息一出，震惊数学界。 罗塔猜测是美国数学家和哲学家吉安-卡洛·罗塔19
生活中的数学之荧幕数学
数学作为社会生活的基本元素，不仅存在于教材中，也被不断挖掘于集时间艺术与空间艺术的复合体——影视艺术中。数学为电脑模拟真实世界提供了重要的途径，科学计算为视觉效果提供了无限可能。 美国数学家协会的数学家们曾说“特效产业是出现在数学家面前的一个令人兴奋的、全新的前沿领域，特效是数学的洞察力与电影
吴文俊：中国正从数学大国走向数学强国
中国科学院院士、数学泰斗吴文俊十一月二日在北京表示，经过七十多年发展，中国数学事业已今非昔比，中国正在从数学大国走向数学强国。 中国数学会第十次全国代表大会暨二○○七学术年会当日在北京开幕，吴文俊致辞时作上述表示。他希望年轻的数学家不断努力，使中国数学发展像“嫦娥”奔月一样，奔向数学强国。 另一位知
数学家试图借数学模型揭示肥胖之谜
肥胖研究似乎不属于数学范畴，但美国俄亥俄州立大学数学研究人员侯赛因·焦什昆不这样认为。他带领一个研究团队，试图借数学模型揭示脂肪细胞形成的过程并解开肥胖之谜。筛选 焦什昆阅读大量与前脂肪细胞转变为脂肪细胞相关的学术文章后，找出16种在这个转变过程中看起来最活跃的蛋白质，从中
《数学大师》：华罗庚先生从事应用数学事业的点滴回忆
《贴近人民的数学大师》，徐伟宣主编，科学出版社2010年10月出版，定价：50.00元 华罗庚教授是享誉世界的数学家，他的成就遍及数学很多重要领域。他把数学方法创造性地应用于国民经济领域，取得了显著的社会与经济效益，被誉为“卓越的人民数学家”。 11月12日是华罗庚教授诞
《数学简史》：数学，人类文明的一面镜子
新年伊始，浙江大学数学系教授蔡天新连连收获喜讯，他撰写的科普作品《数学传奇——那些难以企及的人物》获得了国家科学技术进步奖二等奖，去年10月出版的《数学简史》又入选2017年度“中华优秀科普读书榜”。做数论研究的他，撰写科普读物的动力是用感性的方式把数学的意义传递给普通读者。让我们跟随《数学简史
张继平：期待更多“凝聚态数学式”的大数学出现
什么是大数学发展观？3月14日，2023年的国际数学日，中国科学院院士、北京大学博雅讲座教授张继平受中国数学会和中国工业与应用数学学会、中国运筹学会的邀请，以“大数学发展观”为题发表演讲。张继平化用国学大师王国维先生的“学术无新旧之分，无中外之分，无有用无用之分”之语称，数学无新旧之分，无中外之分，
数学院等调控网络数学建模揭示干细胞分化关键转录因子
近期，国际学术期刊《细胞-干细胞》（Cell Stem Cell）在线发表了由中国科学院数学与系统科学研究院和美国斯坦福大学科研人员合作的干细胞分化的基因调控网络建模成果。这一成果提出了利用匹配的基因表达和染色质可及性数据刻画转录因子和调控元件结合调控下游基因表达的数学模型，构建了描绘细胞状态转
青年数学家陈景润投身材料性质相关的数学研究
原文地址：http://news.sciencenet.cn/htmlnews/2023/4/497867.shtm 数学家陈景润曾经是一个时代的偶像，励志故事激励了无数后来者。近日，又有一位叫做陈景润的青年数学家引发高教界广泛关注。 澎湃新闻记者注意到，“中国科大新创校友基金会”微信公众号
中科院数学院田野研究员获晨兴数学金奖
本报讯 世界华人数学家大会日前在台北举行，并颁发了晨兴数学金奖。中科院数学与系统科学研究院研究员田野因对数论领域的杰出贡献而获此殊荣，同时获奖的还有香港科技大学数学系副教授何旭华。 据了解，世界华人数学家大会每三年举行一次，1998年设立的晨兴数学金奖旨在表彰45岁或以下在基础数学和应
季理真：从中国现代数学的摇篮到数学的未来
不久前，在清华大学美丽和宁静的校园，来自14个国家的数学家们举行了会议，制定了未来的数学合作和协作计划，讨论了在数学领域未来需要解决的问题。他们代表40个主要的数学系和研究中心，如哈佛大学、剑桥大学、牛津大学等。 数学的未来是什么？这有赖于对学生和年轻一代的教育，他们掌握着未
郭雷院士：数学的妙用
随着现代实验、观测、计算和模拟技术与手段的不断进步，数学作为逻辑推理和定量研究的有力工具，深刻影响着科技进步和社会发展。在人类社会的发展过程中，数学的贡献不胜枚举，比如，在著名的阿波罗登月工程中，火箭上升和轨道修正就分别运用了 “极大值原理”和“卡尔曼滤波”两个关键数学方法；而Pa
我们需要怎样的数学教育
“空气动力学、大数据，所有这些技术的发展都根植于数学。”世界数学大师、菲尔兹奖获得者、南方科技大学讲席教授埃菲·杰曼诺夫院士说，“数学毕业生，从我的经验来看，在技术公司的发展前景非常好。” 杰曼诺夫是享誉世界的数学大师，他解决了20世纪群论中最根本最困难的问题，把有限维约当代数的理论推广到无限
数学研究表明衰老不能阻止
美国亚利桑那大学研究人员带来了坏消息：从数学上看，像人类这样的多细胞生物，衰老无法阻止。 研究人员之一、亚利桑那大学教授乔安娜·梅塞尔在一份声明中说：“从数学上看，衰老不可避免，完全不可避免。逻辑上、理论上和数学上都没有办法。” 梅塞尔和博士后保罗·纳尔逊在新一期美国《国家科学院学报》上报告
让竞赛“退烧”，让数学“变热”
据报道，当地时间2月25日，第十一届罗马尼亚数学大师杯赛结果公布。在团体排位中，中国队排名第六；在个人成绩排名中，中国选手的最高成绩是第15名。6名中国选手中，4人获得银牌，1人获得铜牌。 在2017第九届罗马尼亚数学大师杯赛中，中国选手曾获得个人第一名和团队第三名的好成绩。对比之下，有人将
世界强国必然是数学强国
世界强国必然是数学强国。2019年，李克强总理强调，“卡脖子”问题根子在基础研究薄弱，四部委联合发文加强数学研究，任正非等企业家在不同场合多次强调数学之重要……全社会对数学的重视程度前所未有，数学研究迎来了发展的春天。未来，数学仍将乘风破浪，在解决国家重大需求和强国建设中担当重任。 过去一年
雷达液位计的数学原理
电磁波在空气中是以光速传播的, 雷达液位计距离物料表面的距离可用下式表示： D =（1/2）*CT 式中: D ———雷达液位计距离物料表面的距离； C ———光速 T ———脉冲时间。 则液位为： L = E -D 式中:L ———液位； E ———罐的总高； D ———空
北大数学，再发顶刊！
9月5日，北京大学刘毅教授在国际顶尖数学期刊《Inventiones mathematicae》在线发表了题为 “Finite-volume hyperbolic 3-manifolds are almost determined by their finite quotient groups”
“中科院数学院成立20周年数学著作系列展”举办
近日，中科院数学与系统科学研究院（以下简称“数学院”）为纪念建院20周年，在数学家、中科院院士王元、杨乐，以及数学院研究员李文林等人的倡导下，推出了“数学院成立20周年数学学术著作系列展”。 从陈建功、熊庆来、姜立夫、苏步青、江泽涵等中国现代数学先驱人物的代表作，到华罗庚、陈省身、许宝騄、丘成
让时间证明你的力量
一、事由 上周，友人P请我吃饭。饭后，我想起多年往事， 8年前他因别人对他的研究工作不理解而心里不舒服….我多次对他说： “还是那句老话，相信群众，相信党！你的努力、你的研究工作必将得到大家认可…… 8年后的今天，现在看来，我的话说对了。P的工作得到上下广泛肯定，质疑全面消失
研究再次证明核桃确实补脑
提起补脑，很多人首先想到的肯定是核桃。的确，核桃补脑的说法由来已久，人们深信不疑。但是权威部门似乎从未就核桃补脑进行过相关的专项研究。这也是很多人一直在质疑的问题。近日，军事医学科学院卫生学环境医学研究所一项专项研究报告《桃乳改善学习记忆的实验研究》证明核桃乳确实具有提高学习记忆能力的健脑功效。
疤痕疙瘩的诊断证明
(1)病程超过9个月而无自发消退征象。 (2)皮肤损害超过原有损伤范围并向周围正常皮肤侵犯。 (3)以前作过手术切除或冷冻、激光、激素封闭或放疗等而又复发者。
蜜蜂能理解抽象数学概念“零”
一个国际研究团队发现，蜜蜂可以理解“零”这个重要数学概念，与海豚、一些灵长类动物及学前儿童一样“聪明”。 图片来源于网络 发表在最新一期美国《科学》杂志上的研究表明，蜜蜂尽管脑子不大，却能理解复杂、抽象的数学概念，这为开发更加简洁的人工智能算法提供了新思路。 论文通讯作者、
AI首次创建高效准确数学算法
英国《自然》杂志封面以“矩阵游戏”为题，发表了人工智能（AI）公司“深度思维”团队的最新发现：AI可解决矩阵乘法问题。这是第一个可为矩阵乘法等基本任务发现新颖、高效且正确算法的AI系统。换句话说，这个名为“AlphaTensor”的AI能自行发现新算法，从而解决了50年来数学领域一个悬而未决的问
国际数学论坛落户三亚
12月23日，令人期待的首届三亚国际数学论坛终于开幕了。其实，浓浓的数学热早已在海南掀起来。所有媒体都给予了前所未有的特别关注，除了全方位报道与论坛有关的一切准备情况，还开设专门的栏目“解码数学”；不仅把曾经刊登过的关于丘成桐的报道重新转载，还把中国的数学名人也重新报道一遍。唯一一
蜜蜂能理解抽象数学概念“零”
据新华社电 一个国际研究团队发现，蜜蜂可以理解“零”这个重要数学概念，与海豚、一些灵长类动物及学前儿童一样“聪明”。 发表在最新一期美国《科学》杂志上的研究表明，蜜蜂尽管脑子不大，却能理解复杂、抽象的数学概念，这为开发更加简洁的人工智能算法提供了新思路。 论文通讯作者、澳大利亚皇家墨尔本理工
做数学要慢一点
2019年，热闹和光环一起涌到了42岁的数学家孙斌勇面前。 1月初，他独立完成的“典型群表示论”成果荣获“国家自然科学二等奖”，这一成果被国际同行认为是“孙的突破”；11月，他当选中国科学院院士。 “最年轻的新晋院士”“数学奇才”......被贴上许多标签的孙斌勇迅速走进了数学界以外的公众视
河海大学成立数学学院
原文地址：http://news.sciencenet.cn/htmlnews/2023/7/505038.shtm 7月17日，河海大学举行数学学院成立大会。中国科学院院士、武汉大学校长、中国工业与应用数学学会理事长张平文，中国科学院院士、中国数学会计算数学分会理事长、北京应用物理与计算数学研
平板导热仪数学表达意思
平板导热仪是一种基于傅立叶导热定律而进行材料导热系数测量的仪器，在导热过程中，单位时间内通过给定截面的热量，与该截面的面积和垂直于该截面方向的温度梯度成正比，在一维稳态导热时，其数学表达为： Q——为通过被测材料试样的传热量，W; h——为被测材料试样的厚度，m; A——为计量板的面积，