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

Titre: Beal@Home
Posté 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
Titre: Re : Beal@Home
Posté par: toTOW le 25 March 2014 à 17:48
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 ?
Titre: Re : Beal@Home
Posté par: Philippe06121966 le 25 March 2014 à 18:04
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:
Titre: Re : Beal@Home
Posté par: Oncle Bob le 25 March 2014 à 18:10
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
Titre: Re : Beal@Home
Posté par: Jaehaerys Targaryen le 25 March 2014 à 19:42
MErci pour l'info.

J'attendrais un peu avant de calculer quelques unités de voir comment ce que ce projet évolue
Titre: Re : Beal@Home
Posté par: Philippe06121966 le 25 March 2014 à 19:57
Projet LINUX Only pour le moment ...
Titre: Re : Beal@Home
Posté par: [AF>Libristes] Pascal le 26 March 2014 à 08:00
 :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:
Titre: Re : Beal@Home
Posté par: [AF>Libristes] Pascal le 26 March 2014 à 16:37
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:
Titre: Re : Beal@Home
Posté par: [AF>Libristes] Pascal le 28 March 2014 à 05:53
 :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=)
Titre: Re : Beal@Home
Posté par: toTOW le 28 March 2014 à 16:52
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 ?
Titre: Re : Re : Beal@Home
Posté par: fzs600 le 28 March 2014 à 17:05
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:
Titre: Re : Beal@Home
Posté par: [AF>Libristes] Pascal le 28 March 2014 à 17:20
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=)
Titre: Re : Beal@Home
Posté par: fzs600 le 28 March 2014 à 17:32
Je suis la pascal je suis la.  :calin: mon pote a moi.  :smak:
Citer
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
Titre: Re : Beal@Home
Posté par: fzs600 le 28 March 2014 à 18:01
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)
Titre: Re : Beal@Home
Posté par: [AF>Libristes] Pascal le 28 March 2014 à 19:10
 :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.
Titre: Re : Re : Beal@Home
Posté par: [AF>Libristes]cguillem le 09 June 2014 à 09:50
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 ?


Titre: Re : Beal@Home
Posté par: kipoos le 09 June 2014 à 09:55
tes UTs sont validées ? ou en attente de validation ?
Titre: Re : Beal@Home
Posté par: [AF>Libristes] Pascal le 09 June 2014 à 10:42
 :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
Titre: Re : Beal@Home
Posté par: nafrayou le 09 June 2014 à 15:26

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 .
Titre: Re : Re : Beal@Home
Posté par: [AF>Libristes]cguillem le 13 June 2014 à 13:16
: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  :/
Titre: Re : Beal@Home
Posté par: [AF>Libristes] Pascal le 13 June 2014 à 13:35
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:
Titre: Re : Beal@Home
Posté par: TheStressMan le 13 June 2014 à 21:26
 :kookoo:

Toutes les WU partent en erreur :  :priz2tet:

Citer
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
Titre: Re : Beal@Home
Posté par: al@ON le 13 June 2014 à 23:32
Ne Stresse pas Man... t'es UotD. :clafete:
Titre: Re : Beal@Home
Posté par: [AF>Libristes] Pascal le 03 July 2014 à 07:46
 :kookoo: Je suis en "erreur de téléchargement" depuis ce matin. :priz2tet:
Titre: Re : Beal@Home
Posté par: [AF>Libristes] Pascal le 03 July 2014 à 07:59
 :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.
Titre: Re : Beal@Home
Posté par: fzs600 le 14 February 2015 à 19:37
 :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/)  :??: :??:
Titre: Re : Beal@Home
Posté par: JeromeC le 14 February 2015 à 19:49
Et dans le premier post en haut ça serait idéal :D
Titre: Re : Re : Beal@Home
Posté par: fzs600 le 14 February 2015 à 21:11
Et dans le premier post en haut ça serait idéal :D
C'est ce que j'ai fait en premier.  :D
Titre: Re : Beal@Home
Posté par: Philippe06121966 le 14 February 2015 à 23:52
Et le million de $ ? il est où le million de $ ?  :miam: :siflotte: :cavachier:
Titre: Re : Re : Beal@Home
Posté par: [AF>Libristes]cguillem le 21 February 2015 à 20:23
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)