Jared Duker Lichtman is a professor of mathematics at Stanford.
Summary
A research paper titled 'Long Gaps' by Professor Jared Duker Lichtman of Stanford is hosted on OpenAI's platform, suggesting a focus on mathematical aspects in AI research.
Similar Articles
The Math Superstar Who's Terrified of AI—and Just Took a Job at OpenAI (9 minute read)
Fields Medal winner Jacob Tsimerman is joining OpenAI to work on AI safety, using his mathematical expertise to address existential risks from AI.
Ten advances in mathematics and theoretical computer science
OpenAI used an internal model, Astra, to solve ten mathematical problems that had stalled for over a decade, spending under $2,000 per problem and releasing Lean 4 formalizations and a paper. The results prompt reflections on AI's role in mathematics.
AI and the future of math (2 minute read)
Grant Sanderson and Dwarkesh Patel discuss how AI is making rapid progress in mathematics, the nature of conceptual breakthroughs, and what this means for other fields as AI advances.
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier
This position paper reviews the current state of LLM-driven formal mathematics, identifies key limitations in applying these systems to open-ended research mathematics, and proposes a strategic roadmap for developing AI agents capable of advancing mathematical frontiers.
The End of Mathematics
Daniel Litt discusses a hypothetical future where AI becomes superhuman at mathematics, potentially leading to stagnation in progress due to duplicative efforts and reduced human engagement in the mathematical community.