Von der Meta-Idee zur fortgeschrittenen mathematischen Entdeckung – gemeinsame Human-AI-Entdeckung von Sign-Embedding-Quantenalgorithmen

arXiv:2606.24899v1 Ankündigung: Neue Arbeit. Abstrakt: AI-gestützte Mathematik wird oft anhand der Lösung vordefinierter Probleme bewertet. In der Praxis beginnen jedoch viele wichtige Fortschritte früher, wenn eine vage Forschungsintuition in ein konkretes Problem, einen vielversprechenden Weg und eine Theoremfamilie transf