Le Forum de l'Alliance Francophone
Boinc et les projets distribués => Mathématiques => Maths-Projets terminés => Discussion démarrée par: fzs600 le 25 March 2014 à 17:35
-
Infos utiles.
La "Conjecture de Beal" est une conjecture de la théorie des nombres dans laquelle A, B, C, x, y, et z sont des entiers positifs et x,y,z >2, Et A,B et C ont un facteur premier commun.
Beal's conjecture : http://en.wikipedia.org/wiki/Beal%27s_conjecture (http://en.wikipedia.org/wiki/Beal%27s_conjecture)
Statut : Projet terminé
URL du projet : Site inaccessible
État du serveur : http://bealathome.com/server_status.php (http://bealathome.com/server_status.php)
Application disponible : http://bealathome.com/apps.php (http://bealathome.com/apps.php)
L'alliance francophone : http://bealathome.com/team_display.php?teamid=4 (http://bealathome.com/team_display.php?teamid=4)
Temps de calcul et points de sauvegarde : http://wuprop.boinc-af.org/results/projet.py?projet=Beal%40Home&application=Beal+Engine (http://wuprop.boinc-af.org/results/projet.py?projet=Beal%40Home&application=Beal+Engine)
Classement mondial de L'AF : http://boincstats.com/fr/stats/148/team/list/ (http://boincstats.com/fr/stats/148/team/list/)
Résumé.
Le banquier milliardaire Andrew Beal a formulé cette conjecture en 1993 alors qu'il étudiait la possibilité d'une généralisation du Dernier Théorème de Fermat. Il a été dit que la même conjecture avait déjà été formulée [indépendamment des travaux de Beal] par Robert Tijdeman et Don Zagier, et était connue sous le nom de "Conjecture de Tijdeman-Zagier".
Beal a tout d'abord offert une prime de $ 5.000.- en 1997, l'augmentant à $ 50.000.- entre 1997 et 2007, pour finir à $ 1.000.000.- depuis pour toute publication dans une revue scientifique/mathématique de la preuve ou d'un contre-exemple [démonstration de l'exactitude ou de l'erreur] de sa conjecture. [refereed = qui jouerait le rôle d'arbitre]
Traduction Phil1966
Mis a jour par fzs600 le 14 février 2015
-
Encore un projet vachement utile ... :/
Et si le projet trouve un contre exemple, ils comptent nous verser une part de la récompense j'espère ?
-
Beal's conjecture is a conjecture in number theory:
where A, B, C, x, y, and z are positive integers with x, y, z > 2, then A, B, and C have a common prime factor.
Billionaire banker Andrew Beal formulated this conjecture in 1993 while investigating generalizations of Fermat's last theorem. It has been claimed that the same conjecture was independently formulated by Robert Tijdeman and Don Zagier, and it has also been referred to as the Tijdeman-Zagier conjecture.
For a proof or counterexample published in a refereed journal, Beal initially offered a prize of US $5,000 in 1997, raising it to $50,000 over ten years, but has since raised it to US $1,000,000.
La "Conjecture de Beal" est une conjecture de la théorie des nombres dans laquelle A, B, C, x, y, et z sont des entiers positifs et x,y,z >2, Et A,B et C ont un facteur premier commun.
Le banquier milliardaire Andrew Beal a formulé cette conjecture en 1993 alors qu'il étudiait la possibilité d'une généralisation du Dernier Théorème de Fermat. Il a été dit que la même conjecture avait déjà été formulée [indépendamment des travaux de Beal] par Robert Tijdeman et Don Zagier, et était connue sous le nom de "Conjecture de Tijdeman-Zagier".
Beal a tout d'abord offert une prime de $ 5.000.- en 1997, l'augmentant à $ 50.000.- entre 1997 et 2007, pour finir à $ 1.000.000.- depuis pour toute publication dans une revue scientifique/mathématique de la preuve ou d'un contre-exemple [démonstration de l'exactitude ou de l'erreur] de sa conjecture. [refereed = qui jouerait le rôle d'arbitre]
Voir : http://en.wikipedia.org/wiki/Beal%27s_conjecture
Pour l'instant il n'y a qu'une appli Linux + aucune info concernant le partage de la prime ;) :gniak:
-
Andrew Beal, un milliardaire ayant fait fortune dans la banque, a formulé cette conjecture en 1993 quand il enquêtait sur des généralisations du dernier théorème de Fermat (http://fr.wikipedia.org/wiki/Pierre_de_Fermat). On a affirmé que la même conjecture avait été formulé de manière indépendante par Robert Tijdeman et Don Zagier, aussi désignée comme la conjecture Tijdeman-Zagier.
Pour une preuve ou un contre-exemple publié dans une revue scientifique, Beal a d'abord offert un prix de 5000 USD en 1997, qu'il a augmenté à 50 000 USD sur dix ans, mais qu'il a finalement augmenté à 1 000 000 USD.
Voilà, c'est pas parfait, mais c'est moins dégueulasse que googletrad :o
Edith : Haha, grillé :o
-
MErci pour l'info.
J'attendrais un peu avant de calculer quelques unités de voir comment ce que ce projet évolue
-
Projet LINUX Only pour le moment ...
-
:kookoo: Si vous avez des "Echecs de téléchargement" sur ce projet c'est parce que le fichier projects/bealathome.com/input est erroné. :/
Il devrait contenir :1000 1 1000
mais on le reçoit vide.
La manip à faire est de corriger l'adresse du serveur qui doit nous envoyer le fichier.
Pour cela, stopper le boinc-client et ouvrir le fichier du dossier boinc client_state.xml et remplacer la ligne :
<download_url>http://bealathome.com/download/30a/input</download_url>
par la ligne :
<download_url>http://bealathome.com/download/input</download_url>
puis redémarrer le boinc-client.
J'ai reçu un bon paquet d'unités sans durée estimée et les premières sont en cours de calcul.
Il n'y a pas de progression d'avancement pour l'instant.
Je vous tiendrai au courant s'il y a une unité de validée. :siflotte:
-
3 unités de terminées en 28500 secondes environ et en attente de validation.
http://bealathome.com/results.php?userid=1897&offset=0&show_names=0&state=2&appid=
Ça fait donc presque 8 heures de calcul. Je ne pourrai jamais terminer pour le 31 mars la quantité d'unités que le serveur m'a envoyé. :priz2tet:
-
:kookoo: Mes premières unités ont été validées et rapportent 250 points pour environ 7 heures de calcul.
Une particularité, peu commune, de ce projet est qu'il y a un quorum de 2 et que les 2 calculs se font sur le même ordinateur ! :D
http://bealathome.com/results.php?userid=1897&offset=0&show_names=1&state=4&appid= (http://bealathome.com/results.php?userid=1897&offset=0&show_names=1&state=4&appid=)
-
T'es sur que les deux calculs se font toujours sur la même machine ? C'est pas plutôt parce qu'il y a pas assez de participants ou de machines similaires qu'il n'a pas pu l'envoyer à deux personne différentes ?
-
T'es sur que les deux calculs se font toujours sur la même machine ? C'est pas plutôt parce qu'il y a pas assez de participants ou de machines similaires qu'il n'a pas pu l'envoyer à deux personne différentes ?
Oui c'est plutôt ça. :kookoo:
-
Ma foi, c'est bien possible. Mais c'est quand même étonnant que je sois le seul sur ce projet.
Actuellement, 18 unités ont été validées, en réalité 9 calculées deux fois.
http://bealathome.com/results.php?userid=1897&offset=0&show_names=0&state=4&appid= (http://bealathome.com/results.php?userid=1897&offset=0&show_names=0&state=4&appid=)
-
Je suis la pascal je suis la. :calin: mon pote a moi. :smak:
27 Mar 2014, 16:05:34 UTC 28 Mar 2014, 10:41:21 UTC Terminé et validé 32,558.29 32,365.70 250.00 Beal Engine v1.00
27 Mar 2014, 16:05:34 UTC 28 Mar 2014, 1:37:43 UTC Terminé et validé 32,685.43 32,214.13 250.00 Beal Engine v1.00
27 Mar 2014, 16:05:34 UTC 28 Mar 2014, 1:48:22 UTC Terminé et validé 32,434.86 31,992.73 250.00 Beal Engine v1.00
-
Des nouvelles ? des nouvelles ! http://bealathome.com/forum_thread.php?id=7&postid=31#31 (http://bealathome.com/forum_thread.php?id=7&postid=31#31)
-
:kookoo: @fzs600
Effectivement, sur tes 6 unités validées, 5 ont été calculées 2 fois par toi. La sixième a été validée par un autre cruncheur.
Il manquait peut-être des personnes rattachées au projet ou alors l'admin voulait se rassurer avec le peu de monde à sa disposition sur le projet et valider les premières unités rapidement.
Je mets en standby le projet pour le raid.
-
J'attendrais un peu avant de calculer quelques unités de voir comment ce que ce projet évolue
[/quote]
J'aime bien ce genre de problème qui n'est en fait pas différent de bien d'autres en math et aussi utile que Sethi. Par contre n'ai jamais eu un seul point pour les calculs effectués même après avoir vérifié plusieurs fois mon inscription.
Où est l'erreur ?
-
tes UTs sont validées ? ou en attente de validation ?
-
:kookoo: cguillem,
Tu n'as qu'une seule unité terminée et elle est en attente de validation et une autre en cours.
Toutes les autres ont été abandonnées.
http://bealathome.com/results.php?hostid=1358 (http://bealathome.com/results.php?hostid=1358)
http://bealathome.com/results.php?hostid=1205 (http://bealathome.com/results.php?hostid=1205)
De plus, celle en attente de validation n'a pas encore été envoyée à un autre participant, il faudra donc attendre encore un petit peu.
http://bealathome.com/workunit.php?wuid=32597
-
Hello tout le monde je fini mes WU leiden et je passe un partie de ma ferme sur le projet pour faire bouger les choses !
pour mercredi ou jeudi ...... on va dire fin de semaine .
-
:kookoo: cguillem,
Tu n'as qu'une seule unité terminée et elle est en attente de validation et une autre en cours.
Bref, plein de calculs et de chaleur dégagée pour rien.
Je sais pas comment tu as fait pour trouver l'info :/
-
Pour avoir les infos ce n'est pas compliqué si les ordinateurs ne sont pas cachés. :)
Dans ton compte du projet tu fais sur la droite "Trouver des amis" puis dans la fenêtre tu tapes le début du nom que tu recherches et tu valides puis dans la liste proposée tu cliques sur le nom recherché puis à côté de "Ordinateurs" sur "voir" et la liste des ordinateurs s'affiche.
Puis tu vas dans "détails" ou "tâches" suivant ce que tu veux voir.
Il y a peut-être d'autres moyens mais celui-ci me convient bien. :sun:
Je viens de voir que ton unité qui était en attente a été validée. :bipbip:
-
:kookoo:
Toutes les WU partent en erreur : :priz2tet:
13/06/2014 21:21:40 | Beal@Home | Starting task automat-27818_4
13/06/2014 21:21:40 | Beal@Home | Starting task automat-25545_3
13/06/2014 21:21:40 | Beal@Home | Starting task automat-27425_4
13/06/2014 21:21:40 | Beal@Home | Starting task automat-33441_3
13/06/2014 21:21:41 | Beal@Home | Computation for task automat-27818_4 finished
13/06/2014 21:21:41 | Beal@Home | Output file automat-27818_4_0 for task automat-27818_4 absent
13/06/2014 21:21:41 | Beal@Home | Computation for task automat-25545_3 finished
13/06/2014 21:21:41 | Beal@Home | Output file automat-25545_3_0 for task automat-25545_3 absent
13/06/2014 21:21:41 | Beal@Home | Computation for task automat-27425_4 finished
13/06/2014 21:21:41 | Beal@Home | Output file automat-27425_4_0 for task automat-27425_4 absent
13/06/2014 21:21:41 | Beal@Home | Computation for task automat-33441_3 finished
13/06/2014 21:21:41 | Beal@Home | Output file automat-33441_3_0 for task automat-33441_3 absent
-
Ne Stresse pas Man... t'es UotD. :clafete:
-
:kookoo: Je suis en "erreur de téléchargement" depuis ce matin. :priz2tet:
-
:kookoo: Au temps pour moi, mon fichier input était repassé vide ! J'ai remis les bonnes valeurs et c'est bon.
Je ne vois pas pourquoi il m'a fait ça. :??: Il faudra que je recorrige mon client_state.xml.
-
:hello:
Apparemment le projet est terminé.
L'URL du projet est toujours la même mais ce n'est manifestement pas un projet BOINC.
http://bealathome.com/ (http://bealathome.com/) :??: :??:
-
Et dans le premier post en haut ça serait idéal :D
-
Et dans le premier post en haut ça serait idéal :D
C'est ce que j'ai fait en premier. :D
-
Et le million de $ ? il est où le million de $ ? :miam: :siflotte: :cavachier:
-
Et le million de $ ? il est où le million de $ ? :miam: :siflotte: :cavachier:
OUI ! le million, le million, le million, ... (http://forum.boinc-af.org/Smileys/seti/bounce.gif)
et les résultats ils sont où ? (http://forum.boinc-af.org/Smileys/seti/smil45ad4e418194a.gif)