👋 Qui suis-je
Je m’appelle Chen Yuliang. En 2025, j’ai été admis à l’Université des sciences et technologies de Chine et j’ai rejoint la Classe Hua Luogeng pour les talents en mathématiques au sein de l’École des jeunes surdoués. Hua Luogeng fut l’un des fondateurs des mathématiques chinoises modernes ; étudier dans une classe qui porte son nom est à la fois un honneur et un rappel constant de rester humble et travailleur.
📐 Ce que j’aime
- Les mathématiques pures — j’aime ces moments en algèbre ou en analyse où une seule équation courte capture quelque chose de profond
- La vérification formelle de preuves — je crois que laisser les ordinateurs vérifier les mathématiques transformera la manière dont les mathématiciens travailleront dans les décennies à venir, et je passe actuellement beaucoup de temps avec Lean 4
- L’apprentissage automatique — je cherche à comprendre pourquoi ces méthodes fonctionnent, plutôt que de les considérer comme des boîtes noires
- La programmation compétitive — j’ai résolu un bon nombre de problèmes d’olympiades en lycée et je prends toujours plaisir à écrire un code propre qui résout un problème concret
🧭 Quelques points marquants
- Au lycée, j’ai obtenu une médaille d’argent aux Olympiades chinoises de mathématiques et un premier prix (Guangdong) aux NOIP — la première m’a décidé à étudier les mathématiques ; le second m’a convaincu que la programmation serait un précieux allié pour un mathématicien
- Depuis 2026, en collaboration avec Tianyang Sun (doctorant à l’École des sciences mathématiques), j’ai aidé à organiser un groupe de lecture interne sur la formalisation en Lean, où j’occupe le rôle d’assistant d’enseignement. Expliquer ce que l’on apprend reste le meilleur test pour vérifier que l’on a vraiment compris (notes et enregistrements dans le dépôt Lean4-group)
- À l’été 2026, je rejoindrai le programme d’été de recherche en ligne de l’Université de Cambridge, sur le thème de l’apprentissage automatique et des séries temporelles pour la prédiction de matchs de football — un sujet qui combine les statistiques et le sport, deux choses que j’apprécie
- Au printemps 2026, j’ai obtenu un premier prix (province de l’Anhui) au Concours national de mathématiques pour étudiants de licence, puis un premier prix à la finale nationale du 17ᵉ Concours national de mathématiques pour étudiants de licence (division inférieure, filière mathématiques)
📮 Contact
Si vous souhaitez discuter de mathématiques, de Lean, d’apprentissage automatique — ou simplement dire bonjour — n’hésitez pas à m’écrire :
📧 cyl2500@mail.ustc.edu.cn
Vous pouvez aussi me trouver sur GitHub.