matrix-equations

本文呈现了数学领域中人类与AI共同发现的一个案例研究，AI协助将关于符号嵌入量子算法的直觉扩展为正式框架和证明，而人类判断则指导路线选择。