物理芝士数学酱
26-05-13 23:37 微博认证:科学科普博主 微博原创视频博主

#今天要来点数学吗?# #资源#

之前收录 Erdős problem的网站 http://t.cn/A6pTHDLJ,在AI领域掀起的惊涛骇浪,多伦多大学教授Daniel Litt也创建了一个新项目 “Problems I Like” 网站problemsilike.com。

目标:收集他个人喜欢的开放数学问题,并附上背景、难度和趣味性的评论。

目前大约有 10 个问题,每周会增加几个。

他希望通过这个网站 跟踪数学问题的进展,衡量人类对这些问题的理解,以及 AI 工具在解决它们时的作用。

这是他思考 “证明过剩(proof abundance)”时代 的一步:在这个时代,生成证明可能比验证和理解更容易。

公共问题清单在 AI 数学能力增强的背景下变得越来越重要。

在组合数学、离散几何等领域,像 Erdős 问题库这样的资源为研究者和 AI 提供了具体目标。

他坦言,尽管 AI 工具对他的研究越来越有用,但在他最关心的问题上,AI 的自主贡献仍然有限。

网站由他和 Thomas Bloom 合作搭建,Bloom 在 Erdős 问题库方面已有经验。

每个问题都附有他对难度和趣味性的看法,避免“移动门柱”式的模糊态度。

问题难度跨度大:有的突破性,有的可能在专家关注下很快解决。

他也欢迎研究数学家的投稿。

目前应该还没有上线。

发布于 黑龙江