Van meta-idee tot geavanceerde wiskundige ontdekking — mens en AI ontdekken samen sign-embedding kwantumalgoritmes

arXiv:2606.24899v1 Aankondigingstype: nieuw Samenvatting: AI-ondersteunde wiskunde wordt vaak beoordeeld op het oplossen van vooraf gedefinieerde problemen. In de praktijk beginnen veel belangrijke doorbraken echter eerder, wanneer een vage onderzoeksintuïtie wordt omgezet in een concreet probleem, een veelbelovende route en een stellingfamilie die het bewijzen waard is. Dit rapport bestudeert die fase aan de hand van een casestudy die leidde tot sign-embedding kwantumalgoritmes voor matrixvergelijkingen en matrixfuncties — fundamentele bouwstenen in de kwantumlineaire algebra.