Die Barriere hoher Ordnung in Lehmers Problem mit einer Mensch-AI-Entdeckungsschleife durchbrechen

arXiv:2610.30277v1 Announce Type: new Abstract: Während AI schnelle Fortschritte im mathematischen Reasoning erzielt hat, hängen viele offene Probleme von Strukturen ab, die nur durch großflächige Computerexploration und analytische Synthese offenbart werden. Ein solches Beispiel ist Lehmers Problem