Jalapeño-chip 🌶️, Anthropic beschuldigt Alibaba ⚖️, Gemini-computergebruik 🖥️

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 stellingenfamilie die het bewijzen waard is. Dit artikel 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.