Jared Duker Lichtman 是 Stanford 的数学教授。
摘要
一篇由 Stanford 的 Jared Duker Lichtman 教授撰写的题为 'Long Gaps' 的研究论文托管在 OpenAI 平台上，这表明 AI 研究中注重数学方面。
论文：https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/long_gaps.pdf
相似文章
惧怕AI的数学巨星——刚刚在OpenAI任职（9分钟阅读）
菲尔兹奖得主Jacob Tsimerman将加入OpenAI从事AI安全研究，运用他的数学专长来应对AI带来的生存风险。
数学与理论计算机科学的十项进展
OpenAI使用内部模型Astra解决了十个停滞了十多年的数学问题，每个问题花费不到2000美元，并发布了Lean 4形式化证明及一篇论文。这些结果引发了对AI在数学中作用的反思。
人工智能与数学的未来（2分钟阅读）
Grant Sanderson 与 Dwarkesh Patel 探讨了人工智能在数学领域的快速进展、概念突破的本质，以及随着AI的进步这对其他领域意味着什么。
从求解器到研究者：大型语言模型驱动的前沿形式化数学
这篇立场论文回顾了LLM驱动的形式化数学的现状，指出了将这些系统应用于开放性研究数学的关键局限性，并提出了一条战略性路线图，用于开发能够推进数学前沿的AI智能体。
数学的终结
Daniel Litt 探讨了一个假设的未来：AI 在数学上超越人类，这可能由于重复性工作和数学界人类参与度降低而引发进展停滞。