Pareil, ce message me plaît.
Et ce projet en général me plaît.
A part qu'on sait absolument pas à quoi il sert mais c'est un détail 🤣😂🤣🤣
Rien de transcendant, un programme qui crée des programmes 
(j'ai bon 
) ? 
Détrompez-vous : leur idée me semble lumineuse.
Ils prennent toutes les suites de nombres entiers répertoriées dans l'OEIS :
https://oeis.org/?language=frenchEt ils essaient de trouver un programme minimal (en nombre de caractères) qui les génère si j'ai bien compris.
Prenons par exemple cette suite qui est dans l'OEIS :
https://oeis.org/A000796Cette suite donne les décimales du fameux nombre pi=3.141592...
Ces décimales sont calculées avec pleins de formules connues, dont certaines sont très efficaces.
Imaginons une seule seconde que Loda trouve un nouveau programme plus simple qui génère ces décimales, mais d'une manière encore inconnue.
Et bien cela nous apprendrait des choses nouvelles sur pi et ça pourrait jeter des ponts entre pi et un autre domaine des mathématiques avec lequel pi n'aurait en apparence aucun rapport.
Et ils font ce travail avec toutes les suites d'entiers qui figurent dans l'OEIS.
Il y en a de bien plus curieuses que celles qui développent "simplement" les décimales des constantes connues.
Par exemple, Loda n'a encore trouvé aucun programme qui génère une suite d'entiers que j'ai moi-même proposé à l'OEIS et qui avait été validée :
https://oeis.org/A238382.
Et si Loda trouve un tel programme, cela va m'épater, car franchement, je ne vois pas comment on pourrait générer cette suite de manière plus simple que ce que j'ai fait.
Et qui c'est, cela donnera peut-être une méthode des millions de fois plus efficace pour chercher ces nombres que je m'évertue à calculer.
Nan, nan : Loda, c'est du sérieux, du très sérieux même !!!
C'est un truc très nouveau, comme la machine de Ramanujan d'ailleurs.
Et si ça ne conduit pas la communauté à une révolution, ce sera du sérieux quand même, car cette démarche est trop particulière pour qu'elle ne mène à rien d'intéressant.
