kave comments on “AI achieves silver-medal standard solving International Mathematical Olympiad problems”

[kave]

I think it would still be correct to it resolve no for time reasons, even if it feels like it could be parallelisable (if it were parallelised, I would feel differently).