免费资源！【#全球最大证明类数学题库上线#】它收录了过去半个多世纪以来，来自 47 个国家和地区的超过 30000 道证明类数学问题及解答，规模是此前记录保持者的 5 倍。#MathNet# #数学题库# 目前，该题库已通过 MIT CSAIL 向公众‌免费开放 ‌→ http://t.cn/AXx6Wqgr 。对于大多数非专业人士而言，或许根本无法理解其中的题目，但对于未来可能出现的数学奇才来说，这个资源将是无价之宝。

1959 年，第一届国际数学奥林匹克竞赛（IMO）在罗马尼亚举行，各国派出最有天赋的学生参与角逐。竞赛规则简洁明了——每支队伍需在两天内解决 6 道数学难题。近 70 年来，美国、中国和卢森堡等国的选手曾在不同年份获得满分。然而，IMO 背后还有不为人知的一面。

“每个参赛国都会带来一本册子，里面收录了本国最具新颖性和创造性的数学问题，”麻省理工学院计算机科学与人工智能实验室（CSAIL）的数学家 Shaden Alshammari 解释道，“他们会相互交换这些册子，但长期以来，一直没有人系统地收集、整理并将它们上传到网络上。”

如今，Alshammari 和她的同事改变了这一现状，他们创建的“MathNet”已成为全球最大的证明类数学问题库。对于数学思维和解题方法的多样性呈现而言，这同样是一个重要的里程碑。