| Accelerating mathematical research with language models: A case study of an interaction with GPT-5-Pro on a convex analysis problem |
Analysis, LLM |
arXiv 2025 |
|
| AlphaEvolve: A coding agent for scientific and algorithmic discovery |
Matrix Multiplication, Analysis, Combinatorics, Discrete Geometry, LLM |
arXiv 2025 |
Unofficial Code |
| Counterexample to majority optimality in NICD with erasures |
Analysis, LLM |
arXiv 2025 |
|
| Discovery of Unstable Singularities |
Analysis, PINN |
arXiv 2025 |
|
| Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers |
Analysis, Transformer |
NeurIPS 2024 |
Code |
| Mathematical exploration and discovery at scale |
Combinatorics, Analysis, Number Theory, Discrete Geometry, LLM |
arXiv 2025 |
Code |