给 AI 补数学课，人工智能可证明数学数据库中 82% 的问题了
不得不说，科学家们最近都在痴迷给AI补数学课了。这不，脸书团队也来凑热闹，提出了一种新模型，能完全自动化论证定理，并显著优于SOTA。要知道，随着数学定理愈加复杂，之后再仅凭人力来论证定理只会变得更加
2022-12-19 资讯 我要分享
苦瓜数学家柯西的故事及柯西中值定理
在历史上，有一位数学家叫欧拉，他的徒弟叫拉格朗日，他徒弟的徒弟叫柯西。这个徒弟的徒弟虽然比不上他，但是还是写了些东西的做出了一些成就的，他....他的...
盘点人类历史上最重要的数学事件及其推动者，一开始数学并不难
公元前约18000年，扎伊尔出土的Ishango骨殖（可能是最早的先民进行计算的证据）。约4000年，中东使用泥制的计算标志。约3400-3200年，苏美尔人记数系统的发展。约2050年，60进制位值
2022-12-21 资讯 我要分享困扰人类 358 年的数学谜题，几代数学家接力破解
这是一个挑战智者之谜，不知有多少人为它耗尽了一生，最后还是倒在了它的脚下。它的命题极为简单，使人看着着迷，破解中的艰难却又令人生畏，它向人们挑战了整整358年，最终被英国数学家安德鲁・威尔斯破解。19
2022-12-21 资讯 我要分享天才高斯 ——19 世纪最伟大的数学家之一，近代数学的奠基者
卡尔・弗里德里希・高斯（1777~1855）是一个神童。19岁差一个月的他作出了一项非凡的发现。2000多年以来，人们知道如何用直尺和圆规作等边三角形和正五边形（还有其他的正多边形，其边数是2、3、5
2022-12-21 资讯 我要分享数学很难的原因之一是，很多简单的概念被推广到了难以理解的程度
在数学中，当一个重要的数学定义已经提出，一个重要的数学定理已经证明后，事情还远未结束。不论一项数学工作已经如何清晰了，总还有更多的了解它的余地，最常用的方法之一，就是把它陈述为一个更广泛的东西的特例（
2022-12-21 资讯 我要分享伟大的数学家们是在多大的时候改变的世界？
英国数学家戈弗雷・哈罗德・哈代(G.H.Hardy)有一句名言："...比起其他艺术或者科学，数学更像一个年轻人的游戏。"这里，他对"年轻人"的理解有多正确呢？诚然，证明一个数学定理需要大量的创造力、
2022-12-21 资讯 我要分享数学应该是一门科学…… 吧？
数学是科学吗？答案一方面取决于什么是"数学"，另一方面也取决于什么是"科学"。一部分德高望重的科学哲学家会给出否定的答案，而其他人会坚信"答案是肯定的"。所以在回答问题之前，我们需要对问题中各个词语的
2022-12-21 资讯 我要分享“无毛”黑洞模拟再次证明爱因斯坦的广义相对论
北京时间11月4日消息，一项新的物理学研究再次表明爱因斯坦的广义相对论是正确的，即使是对于"无毛"的黑洞也是如此。黑洞是一个引力极其强大的时空区域，在其范围内，包括光线在内的任何事物都无法逃脱被吸引并
理发师悖论真是一个悖论吗？
本文来自微信公众号：返朴（ID：fanpu2019），作者：文兰（中国科学院院士、北京大学数学学院教授）理发师悖论真是一个悖论吗？1、什么是悖论我们给悖论下一个"进行式"的定义：悖论就是导致矛盾但原因
2022-12-21 资讯 我要分享
怎样做数学研究？
学习数学的唯一方法是做数学。——Paul Halmos有谁能告诉别人怎样去做研究，怎样去创造，怎样去发现新东西？几乎肯定这是不可能的。在很长一段时间里，我始终努...
他可能是古代西方的第一位数学家 —— 泰勒斯
原文标题：《谁是西方历史上"第一个"数学家？》"没有什么能比思想更活跃，因为它可以穿越整个宇宙；没有什么比必然性更强大，因为任何事物都需要服从它。"数学是一门真正有趣的学科，部分原因在于它是自然界通用
2022-12-21 资讯 我要分享
微分几何与代数几何中的正性
Riemann映照定理是复变函数中最基本的定理之一，它叙述为复平面C中每个单连通区域（复平面C除外）均可由1-1解析映射映成单位圆盘D。这个定理是由Riemann在185...
登峰造极，20 几岁的阿贝尔，做出了 19 世纪最伟大的数学发现之一
1801年，天文学家应该能在夜空中观察到，一群出色的数学天才即将大放异彩，开创数学史上最伟大的世纪。在那一群光彩夺目的天才中，没有比尼尔斯・亨里克・阿贝尔（NielsHenrikAbel）更闪耀了。埃
2023-02-12 资讯 我要分享
