该研究从七门课程中随机抽取 25 个问题:MIT 的 18.01 单变量微积分、18.02 多变量微积分、18.03 微分方程、18.05 概率与统计概论、18.06 线性代数、6.042 计算机科学数学和哥伦比亚大学的 COMS3251 计算线性代数。
参考消息网11月24日报道 据英国《新科学家》周刊网站11月19日报道，一种寻找非直观数学模式的人工智能（AI）工具似乎能够解决各种各样的数学问题，包括几十年来一直没取得进展的一些问题。尽管AI模型在一些具体数学问题上取得了些许成功，但通常很难解决困扰人类的数学问题。
9月21日，松鼠Ai发起吉尼斯世界纪录™挑战，以成功组织112718名学生荣获24小时内学习线上数学课程人数最多的吉尼斯世界纪录成就。松鼠Ai挑战成功，斩获人工智能在线数学课程参加人数世界第一，成为吉尼斯世界纪录的新纪录称号保持者。
“深度思维”团队利用大语言模型（LLM）对一个著名的数学问题提出了“新见解”，并通过系统的、迭代的评估框架确保其正确。这一研究或可改进LLM用来解决问题和学习新知识的途径。相关论文发表在14日的《自然》杂志上。
提示信息“在应用数学领域，AI相关问题的重要性正逐渐凸显。”11月17日，数学领域的国际最高奖项之一——菲尔兹奖获奖者、南方科技大学讲席教授埃菲·杰曼诺夫在大湾区科学论坛接受采访时指出，“AI就像一个出色的秘书，能打字、提供参考文献，甚至在某些数学领域，AI还能辅助实验。
