数学应该是一门科学…… 吧？
数学是科学吗？答案一方面取决于什么是"数学"，另一方面也取决于什么是"科学"。一部分德高望重的科学哲学家会给出否定的答案，而其他人会坚信"答案是肯定的"。所以在回答问题之前，我们需要对问题中各个词语的
2022-12-21 资讯 我要分享给 AI 补数学课，人工智能可证明数学数据库中 82% 的问题了
不得不说，科学家们最近都在痴迷给AI补数学课了。这不，脸书团队也来凑热闹，提出了一种新模型，能完全自动化论证定理，并显著优于SOTA。要知道，随着数学定理愈加复杂，之后再仅凭人力来论证定理只会变得更加
2022-12-19 资讯 我要分享伟大的数学家们是在多大的时候改变的世界？
英国数学家戈弗雷・哈罗德・哈代(G.H.Hardy)有一句名言："...比起其他艺术或者科学，数学更像一个年轻人的游戏。"这里，他对"年轻人"的理解有多正确呢？诚然，证明一个数学定理需要大量的创造力、
2022-12-21 资讯 我要分享悬赏百万美元求证明，这道数学题为啥这么值钱？
1900年的一个夏日，两百多位最杰出的数学家在法国巴黎召开了一次国际数学家大会。会上，著名德国数学家希尔伯特作了一次题为"数学问题"的重要演讲。在演讲中，他列出了一系列在他看来最重要的数学难题。那些难
2022-12-21 资讯 我要分享
一张PPT搞定数学界最大难题？当世最伟大数学家似乎玩砸了
人类的个人英雄主义情节总能映射到所有的领域之内，科学领域也不例外。 做英雄也是极其有风险的一件事情，这意味着你的容错率很低，一旦犯下一些错误的时...
丘成桐成立不用高考的清华求真书院，只为培养数学家，还称 AI 有望帮忙检查数学证明
首位华人菲尔兹奖得主丘成桐：AI有望用来检查数学证明，还可以帮数学家更透彻地理解外文文献（比如拉丁文、德文…）。这段发言来自2022届世界人工智能大会开幕式，丘成桐与前微软执行副总裁沈向洋的对话中。知
2022-09-13 资讯 我要分享登峰造极，20 几岁的阿贝尔，做出了 19 世纪最伟大的数学发现之一
1801年，天文学家应该能在夜空中观察到，一群出色的数学天才即将大放异彩，开创数学史上最伟大的世纪。在那一群光彩夺目的天才中，没有比尼尔斯・亨里克・阿贝尔（NielsHenrikAbel）更闪耀了。埃
2023-02-12 资讯 我要分享如何把圆等面积地变成正方形？这个问题困扰了数学家数千年
图片来源：Pixabay直觉告诉我们，给定一个圆，一定存在一个面积与之相等的正方形。可是这个正方形要怎样画出来呢？这个"化圆为方"的问题困扰了数学家几千年，他们先是证明了，仅靠尺规作图无法实现化圆为方
2022-12-21 资讯 我要分享盘点人类历史上最重要的数学事件及其推动者，一开始数学并不难
公元前约18000年，扎伊尔出土的Ishango骨殖（可能是最早的先民进行计算的证据）。约4000年，中东使用泥制的计算标志。约3400-3200年，苏美尔人记数系统的发展。约2050年，60进制位值
2022-12-21 资讯 我要分享
北大教授证明黎曼猜想？但在前一天取消了
明夏 发自 凹非寺量子位 报道 | 公众号 QbitAI空欢喜一场。原本定于周四下午北大李忠教授的证明黎曼猜想的报告取消了。不少人慕名而来，却失望而归。这到底是...
Chat-GPT 可以做数学吗
翻译：蒋迅译者注：本文试图说明Chat-GPT在数学证明领域里还有缺陷。所以下面除了最基本的问题外，Chat-GPT给出的证明都是不正确的。请读者不要把这里的证明当作标准答案。Chat-GPT是Ope
2023-02-12 资讯 我要分享数学家死磕欧拉方程 10 年，用计算机找到了让它失效的“奇点”
原文标题：《华人数学家死磕欧拉方程10年，用计算机找到了让它失效的"奇点"》专研长达10年，论文足足177页。数学家通过计算机，找到了让著名欧拉方程失效的"奇点"。△图源：QuantaMagazine
2022-12-21 资讯 我要分享AI 又对奥数下手，刷题刷出“模考”最好成绩
AI在最不擅长的数学方面，这次大幅刷新了最好成绩。其中关键角色是OpenAI给Lean做的一个定理证明器。听起来有点耳熟？没错，就是去年参加国际数学奥林匹克竞赛（IMO）的"非人"选手Lean~自从2
900 页数学论文证明旋转的黑洞不会爆炸，丘成桐：30 多年来广义相对论首次重大突破
能被丘成桐评价为"90年代以来广义相对论首次突破"的是什么研究？原来，有人用一篇900多页的数学论文证明了一种缓慢旋转的黑洞是稳定的，并不会爆炸！论文的研究对象克尔黑洞（Kerrblackholes）
2022-09-13 资讯 我要分享只用 300 小时，17 岁高中生解开困扰数学家 27 年难题，因张益唐「入坑」数论
只因在电视上多看了一眼数学家张益唐的纪录片，中学生开始沉迷数论，还独立发表了一篇"博士级别"数学论文。解决的数学问题，还是曾难住3位正经数学家整整27年的那种。当这3位数学家中的卡尔・波梅兰斯（Car
2022-12-21 资讯 我要分享人工智能已经可以解决复杂的数学问题了，还有哪些工作是无法被取代的
大型语言模型（LLMs）是指采用机器学习技术，利用大量文本数据进行训练，以能够自然地理解和生成自然语言文本的人工智能模型。这些模型可以用于自然语言处理任务，如文本分类、文本生成、语言翻译、问题回答和摘
2023-02-24 资讯 我要分享
等了159年 Atiyah用1页PPT宣布他证明了黎曼猜想
注：图片来源于网络每一种证明思路都将进一步推进这一理论的发展，以及对其他学科的渗透。策划&撰写：Lynn刚刚，在德国召开的海德堡获奖者论坛演讲上，菲...
OpenAI一次性公开数百项AI数学成果
OpenAI在GitHub公开数百项由内部未发布模型生成的数学研究成果，大量证明已经Lean形式化验证。公司称几乎每项成果都由单个智能体、单条提示完成，数学界对新模型未公开持保留态度。
2026-10-07 人工智能 我要分享
