Par contre, sans forcément aller chercher trop loin dans les maths, je pense que des épreuves qui font découvrir des notions d'algorithmiques non triviales intéresseraient du monde. Deux-trois trucs qui viennent à l'esprit:
- programmation dynamique. La distance d'édition peut faire un sujet marrant  "Bob vient de recevoir un clavier Dvorak (et un pack de limonade trop sucrée) et a tapé son texte n'importe comment. Aide le à reconstruire le texte qu'il a voulu taper en choisissant pour chaque mot du texte le mot du dictionnaire fourni [ici] le plus proche selon les règles suivantes [ici distance d'édition].
- algo d'approximation : un voyageur de commerce euclidien ~ 2 approx.
etc.

Bonjour,

Je me permets de filer un pointeur ici vers https://projecteuler.net/ qui est un superbe site qui propose chaque semaine un problème qu'il faut résoudre intelligemment en alliant jolie mathématiques et code efficace. Il commence à y avoir pas mal de problèmes différents et très intéressants et on peut apprendre pas mal en gratouillant ces problèmes.

Je pense que ce genre d'épreuves a sa place sur NC. Par contre, comme l'a déjà mentionné quelqu'un, ça pourrait tout autant aller dans logique si la réponse demandée concerne une entrée suffisamment grande pour tuer le brute force et ce serait peut-être plus en adéquation avec ce que les challs de logique proposent que les challs de programmation.