#今天要来点数学吗?# #资源#
之前收录 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 问题库方面已有经验。
每个问题都附有他对难度和趣味性的看法,避免“移动门柱”式的模糊态度。
问题难度跨度大:有的突破性,有的可能在专家关注下很快解决。
他也欢迎研究数学家的投稿。
目前应该还没有上线。
发布于 黑龙江
