AI Proof WatchKeep up with AI contributions

Archive

Subject
Ratings and dates
Clear filters

1052 matching entries · Page 22 of 22

Mathematical discoveries from program search with large language models

Bernardino Romera-Paredes, Mohammadamin Barekatain, Alexander Novikov, Matej Balog, M. Pawan Kumar, Emilien Dupont, Francisco J. R. Ruiz, Jordan S. Ellenberg, Pengming Wang, Omar Fawzi, Pushmeet Kohli, Alhussein Fawzi

The FunSearch paper reports new large cap-set constructions improving the authors’ stated finite-dimensional and asymptotic baselines.

AI involvementAI-centered
ImportanceNotable
Technical verificationFormal (exact computation)
Human understandingFull
Read paperPaper date: Website revision:

Discovering faster matrix multiplication algorithms with reinforcement learning

Alhussein Fawzi, Matej Balog, Aja Huang, Thomas Hubert, Bernardino Romera-Paredes, Mohammadamin Barekatain, Alexander Novikov, Francisco J. R. Ruiz, Julian Schrittwieser, Grzegorz Swirszcz, David Silver, Demis Hassabis, Pushmeet Kohli

The authors report an algorithm multiplying 4×4 matrices over the two-element field using 47 scalar multiplications, compared with 49 from two levels of Strassen’s algorithm.

AI involvementAI-centered
ImportanceNotable
Technical verificationFormal (exact computation)
Human understandingFull
Read paperPaper date: Website revision:

Source freshness

These dates show source checks, not the latest research. Failed checks can leave gaps.

arXiv · algebra-geometry — last successful metadata check: 29/10/2026, 07:11:12 UTC

arXiv · algorithms-formal — last successful metadata check: 29/10/2026, 07:11:09 UTC

arXiv · analysis — last successful metadata check: 29/10/2026, 07:11:15 UTC

arXiv · combinatorics — last successful metadata check: 29/10/2026, 07:11:06 UTC

arXiv · followups-1-38fbbcf4 — last successful metadata check: 29/10/2026, 07:11:35 UTC

arXiv · followups-2-a99cef30 — last successful metadata check: 29/10/2026, 07:11:38 UTC

arXiv · followups-3-33f4355a — last successful metadata check: 29/10/2026, 07:11:41 UTC

arXiv · followups-4-d1f0a466 — last successful metadata check: 29/10/2026, 07:11:44 UTC

arXiv · followups-5-ddecabb5 — last successful metadata check: 29/10/2026, 07:11:47 UTC

arXiv · followups-6-f56d26bb — last successful metadata check: 29/10/2026, 07:11:51 UTC

arXiv · followups-7-b9e8a0e5 — last successful metadata check: 29/10/2026, 07:11:54 UTC

arXiv · followups-8-32681583 — last successful metadata check: 29/10/2026, 07:12:01 UTC

arXiv · geometry-topology — last successful metadata check: 29/10/2026, 07:11:19 UTC

arXiv · logic-foundations — last successful metadata check: 29/10/2026, 07:11:28 UTC

arXiv · optimization-information — last successful metadata check: 29/10/2026, 07:11:31 UTC

arXiv · probability-dynamics-physics — last successful metadata check: 29/10/2026, 07:11:22 UTC

arXiv · theoretical-physics — last successful metadata check: 29/10/2026, 07:11:25 UTC