Meta says Muse Spark wrote search code that disproved a symmetry conjecture

Meta says researchers disproved a proposed rule about mathematical structures that describe symmetry using a counterexample found by search code generated by Muse Spark. The research team verified the result and completed the proof. The model's reported contribution was generating the search code; the researchers supplied the verification and finished proof.