Computing
Gamification of Optimisation for Operations Research: Do Human-Computation Games and Learned Solvers Beat Classical Methods?
Foldit and AlphaTensor produce real science, but classical operations-research solvers still win at industrial scale.