Ramanujan Machine

[fzs600]

Infos utiles.
Projet sur invitation pour le moment et il faut d'abord se créer un compte sur le site du projet.
Code d'invitation :  RNM->Run
https://www.ramanujanmachine.com/
Le projet a un serveur discord :  https://discord.com/invite/VK8kBFdXvu
Merci a Kao pour l'info.
La chaine YouTube de Ramanujan Machine : https://www.youtube.com/@RamanujanMachine


Statut : actif
URL du projet : https://rnma.xyz/boinc/
Application disponible : https://rnma.xyz/boinc/apps.php
État du serveur : https://rnma.xyz/boinc/server_status.php
L'alliance Francophone : https://rnma.xyz/boinc/team_display.php?teamid=4
Classement mondial de L'af : https://www.boincstats.com/stats/198/team/list/


Résumé.
Les constantes fondamentales comme e et π sont omniprésentes dans divers domaines scientifiques, notamment la physique, la biologie, la chimie, la géométrie et les mathématiques abstraites. Néanmoins, depuis des siècles, les nouvelles formules mathématiques relatives aux constantes fondamentales sont rares et sont généralement découvertes sporadiquement par l'intuition ou l'ingéniosité mathématique.

La Ramanujan Machine est une nouvelle façon de faire des mathématiques en exploitant la puissance de votre ordinateur pour faire de nouvelles découvertes. La Ramanujan Machine a déjà découvert des dizaines de nouvelles conjectures.

Nos algorithmes recherchent de nouvelles formules mathématiques. La communauté peut suggérer des preuves pour les conjectures ou même proposer ou développer de nouveaux algorithmes. Toute nouvelle conjecture, preuve ou algorithme proposé portera votre nom.

Nous espérons que le projet Ramanujan Machine inspirera les générations futures en matière de mathématiques et de science basée sur l'IA. Veuillez rejoindre notre liste de diffusion si vous souhaitez être tenu au courant de nos travaux.

"La constante de couplage observée, e, l'amplitude d'émission ou d'absorption d'un photon réel par un électron réel, soulève une question très profonde et magnifique. Il s'agit d'un nombre simple qui a été déterminé expérimentalement comme étant proche de 0,08542455. (Mes amis physiciens ne reconnaîtront pas ce nombre, car ils aiment s'en souvenir comme l'inverse de son carré : environ 137,03597 avec une incertitude d'environ 2 à la dernière décimale. C'est un mystère depuis qu'il a été découvert il y a plus de cinquante ans, et tous les bons physiciens théoriques affichent ce nombre sur leur mur et s'en inquiètent). Immédiatement, on aimerait savoir d'où vient ce nombre pour un couplage : est-il lié à pi ou peut-être à la base des logarithmes naturels ? Personne ne le sait. C'est l'un des plus grands mystères de la physique : un nombre magique qui nous parvient sans que l'homme puisse le comprendre. On pourrait dire que la "main de Dieu" a écrit ce nombre, et "nous ne savons pas comment Il a poussé son crayon". Nous savons quel genre de danse il faut faire expérimentalement pour mesurer ce nombre très précisément, mais nous ne savons pas quel genre de danse il faut faire sur l'ordinateur pour faire sortir ce nombre, sans l'introduire secrètement !- Richard P. Feynman (1985)"
Traduction  JeromeC


Mis a jour par fzs600 le 9 septembre 2023.

[[AF>Libristes] Pascal]

Merci fzs600

Le projet ne veut pas de mon adresse e-mail

[cougarpelardou]

C'est parti J'attends mes premières UT

Le projet a l'air original Espérons qu'il va se développer 

[JeromeC]

Les constantes fondamentales comme e et π sont omniprésentes dans divers domaines scientifiques, notamment la physique, la biologie, la chimie, la géométrie et les mathématiques abstraites. Néanmoins, depuis des siècles, les nouvelles formules mathématiques relatives aux constantes fondamentales sont rares et sont généralement découvertes sporadiquement par l'intuition ou l'ingéniosité mathématique.

La Ramanujan Machine est une nouvelle façon de faire des mathématiques en exploitant la puissance de votre ordinateur pour faire de nouvelles découvertes. La Ramanujan Machine a déjà découvert des dizaines de nouvelles conjectures.

Nos algorithmes recherchent de nouvelles formules mathématiques. La communauté peut suggérer des preuves pour les conjectures ou même proposer ou développer de nouveaux algorithmes. Toute nouvelle conjecture, preuve ou algorithme proposé portera votre nom.

Nous espérons que le projet Ramanujan Machine inspirera les générations futures en matière de mathématiques et de science basée sur l'IA. Veuillez rejoindre notre liste de diffusion si vous souhaitez être tenu au courant de nos travaux.

"La constante de couplage observée, e, l'amplitude d'émission ou d'absorption d'un photon réel par un électron réel, soulève une question très profonde et magnifique. Il s'agit d'un nombre simple qui a été déterminé expérimentalement comme étant proche de 0,08542455. (Mes amis physiciens ne reconnaîtront pas ce nombre, car ils aiment s'en souvenir comme l'inverse de son carré : environ 137,03597 avec une incertitude d'environ 2 à la dernière décimale. C'est un mystère depuis qu'il a été découvert il y a plus de cinquante ans, et tous les bons physiciens théoriques affichent ce nombre sur leur mur et s'en inquiètent). Immédiatement, on aimerait savoir d'où vient ce nombre pour un couplage : est-il lié à pi ou peut-être à la base des logarithmes naturels ? Personne ne le sait. C'est l'un des plus grands mystères de la physique : un nombre magique qui nous parvient sans que l'homme puisse le comprendre. On pourrait dire que la "main de Dieu" a écrit ce nombre, et "nous ne savons pas comment Il a poussé son crayon". Nous savons quel genre de danse il faut faire expérimentalement pour mesurer ce nombre très précisément, mais nous ne savons pas quel genre de danse il faut faire sur l'ordinateur pour faire sortir ce nombre, sans l'introduire secrètement !- Richard P. Feynman (1985)"

Traduit avec www.DeepL.com/Translator (version gratuite)

Relu vite fait, la trad m'a l'air nickel.

"L'informatique rend paresseux, elle préfigure la fin de l'humanité." (moi, maintenant)

[JeromeC]

Exécuter la machine de Ramanujan

Vous pouvez faire tourner la machine de Ramanujan pour découvrir de nouvelles conjectures mathématiques. Les conjectures découvertes par votre ordinateur porteront votre nom !

Pour exécuter la machine de Ramanujan, visitez notre dépôt d'algorithmes sur GitHub et exécutez le code Python. Une liste de tous les algorithmes est disponible dans la page Code et de nouveaux algorithmes seront mis à disposition.

Nous sommes également en train de construire une application distribuée et des économiseurs d'écran basés sur BOINC pour vous permettre d'exécuter la machine de Ramanujan lorsque votre ordinateur est inactif et sans avoir besoin de connaissances préalables en programmation, mais ils ne sont pas encore disponibles. Si vous souhaitez contribuer à cet effort, veuillez nous contacter.

Donc "ça commence tout juste à devenir disponible".

[[AF>Amis des Lapins] Jean-Luc]

Waouh !
Je sens que ce projet va me plaire !

[Maeda]

J'en ai une.

Code Sélectionner Étendre

name: RNM_210902_195241_7921_2
   WU name: RNM_210902_195241_7921
   project URL: https://rnma.xyz/boinc/
   received: Wed Oct 20 07:24:55 2021
   report deadline: Fri Oct 22 07:24:55 2021
   ready to report: no
   force report: no
   state: downloaded
   scheduler state: scheduled
   active_task_state: EXECUTING
   app version num: 105
   resources: 1 CPU
   estimated CPU time remaining: 7908.148065
   slot: 9
   PID: 23129
   CPU time at last checkpoint: 0.000000
   current CPU time: 207.370000
   fraction done: 0.025988
   swap size: 569 MB
   working set size: 121 MB

Comme indiqué ci-dessus : temps estimé : un peu plus de 2h sur mon i7 4770, avec ~121Mo de RAM.
La ligne de commande de l'exécutable n'est pas super jolie, ni identifiable : execute_from_js

Edit : crédits : 84.25

[[AF>Amis des Lapins] Jean-Luc]

Je viens d'en choper 24 !
Calcul en cours...

[[AF>Amis des Lapins] Jean-Luc]

Calculs terminés, mais les WUs restent en "Prêt à valider" et ne partent pas !
Jamais vu ça, alors qu'il n'y a aucun problème de serveur.
Comportement étrange !
Temps de calcul de 1h10 à 2h25.

[fzs600]

Calculs terminés, mais les WUs restent en "Prêt à valider" et ne partent pas !
Jamais vu ça, alors qu'il n'y a aucun problème de serveur.
Comportement étrange !
Temps de calcul de 1h10 à 2h25.

Il n'y a pas une erreur serveur 403 ?
Jette un coup d'œil dans le journal des événements après une mise a jour.
J'ai eu le mème probleme résultats :  Erreur (913) après les avoir toutes calculés des dizaines d'heures perdu 

[[AF>Amis des Lapins] Jean-Luc]

Si, bien vu, il y a une erreur 403 !
Je dois faire quoi, du coup ?
Les WUs sont foutues ?

[toTOW]

Linux seulement ...

[fzs600]

Si, bien vu, il y a une erreur 403 !
Je dois faire quoi, du coup ?
Les WUs sont foutues ?

Perso j'ai recommencé le projet et perdu du coup toute les UT. 
Le probleme viens du projet, du serveur du projet, je pense, et comme il n'y a pas de forum pour le moment impossible d'avertir un admin.

[[AF>Amis des Lapins] Jean-Luc]

Je suis sous Linux !
Je leur ai envoyé un mail...
On verra.

[Kao]

Ils ont un serveur discord : https://discord.com/invite/VK8kBFdXvu (pour le moment totalement vide).
Ça peut être intéressant de l'ajouter dans le premier post.

[[AF>Amis des Lapins] Jean-Luc]

Perso j'ai recommencé le projet et perdu du coup toute les UT. 
Le probleme viens du projet, du serveur du projet, je pense, et comme il n'y a pas de forum pour le moment impossible d'avertir un admin.

Et quand tu as retiré et réinstallé le projet, ça a fonctionné normalement ?

[[AF>Amis des Lapins] Jean-Luc]

Ils ont un serveur discord : https://discord.com/invite/VK8kBFdXvu (pour le moment totalement vide).
Ça peut être intéressant de l'ajouter dans le premier post.

Ça veut dire quoi ?
Tu penses qu'il faut les contacter par ce biais là ?

[Kao]

Discord si tu ne connais pas c'est un logiciel de discussion instantanée.
S'ils en ont fait un c'est peut-être dans l'idée qu'on puisse leur parler via ce serveur oui, néanmoins à l'heure actuelle il semble totalement inactif.

[[AF>Amis des Lapins] Jean-Luc]

Discord si tu ne connais pas c'est un logiciel de discussion instantanée.
S'ils en ont fait un c'est peut-être dans l'idée qu'on puisse leur parler via ce serveur oui, néanmoins à l'heure actuelle il semble totalement inactif.

Merci Kao pour ces explications.
Je verrai cela un de ces jours.
Mais pour l'instant, pas de réponse à mon mail pour tenter de sauver mes 24 tâches calculées.
Dead line : demain, 17h00 !

[Kao]

Je suis en train de discuter avec un des gérants du projet sur leur Discord, je vous tiens au courant.

Edit : ils sont au courant du soucis et travaillent dessus.
L'export des stats n'est pas encore activé mais ils vont en discuter
Du windows et du mac arriveront sûrement à l'avenir

[fzs600]

Je suis en train de discuter avec un des gérants du projet sur leur Discord, je vous tiens au courant.

Edit : ils sont au courant du soucis et travaillent dessus.
L'export des stats n'est pas encore activé mais ils vont en discuter
Du windows et du mac arriveront sûrement à l'avenir

Il devrait activer le forum sur le site du projet.   

[[AF>Amis des Lapins] Jean-Luc]

OK, je garde les tâches calculées pour le moment.
On verra bien si elles partent demain...
Super Kao, j'attends avec impatience de tes nouvelles !

fzs600, quand tu as supprimé et réinstallé le projet, cela avait réglé le problème pour toi ?

[JeromeC]

Du windows et du mac arriveront sûrement à l'avenir

w00t !

[fzs600]

fzs600, quand tu as supprimé et réinstallé le projet, cela avait réglé le problème pour toi ?

Elles étaient toutes prêtes a valider. 
https://rnma.xyz/boinc/results.php?hostid=31&offset=0&show_names=0&state=6&appid=
Mais plus d'erreur 403.

[Kao]

Le problème semble avoir été résolu, mes tâches sont parties et j'ai récupéré des crédits.