← Feed @Bielefelder@mathstodon.xyz Post #2819035 2026-02-05 21:05 UTC Is AlphaEvolve good at Max-SAT problems? Replies (0) No replies.