Notablereasoning

Advancing Mathematics Research with AI-Driven Formal Proof Search

arXiv:2605.22763Papers with Code →

George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, Anja Surina, Moritz Firsching, Gergely Bérczi

Published
May 21, 2026 — 17:24 UTC
Turing Wire

By Callan Zhang · May 21, 2026 · Editorial standards →

Summarised from the primary source with AI assistance under human editorial oversight. Turing Wire is not a primary source — read the original for the authoritative account.

Source: arXiv cs.AI