Just seems very weird to call getting Fields-medal-level results "inference over a bounded search space" and "not actually challenging".