Banach lattices and phase retrieval: A case study for the use of AI in mathematics

Jaume de Dios Pont; Lukas Liehr; David Muñoz-Lahoz; Mitchell A. Taylor; Pedro Tradacete

Banach lattices and phase retrieval: A case study for the use of AI in mathematics

Jaume de Dios Pont, Lukas Liehr, David Muñoz-Lahoz, Mitchell A. Taylor, Pedro Tradacete

arXivarxiv/2608.07396Aug 7, 2026math.FAscore 0

The ability of large language models to assist professional mathematicians has been progressing rapidly. Earlier this year, a group of researchers in Banach lattice theory and phase retrieval began incorporating this technology into their research workflows. Facing challenges about the reliability of these models, they also decided to couple the discovery process with Lean verification. Here, we present a case study of how this has led to a more united community and a deeper understanding of our field.

Source JSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2608.07396
curl -X POST /api/v1/records/arxiv/2608.07396/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.07396/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'