Auteur Sujet: Beal@Home  (Lu 5644 fois)

0 Membres et 1 Invité sur ce sujet

fzs600

  • Animateur fanatique
  • Messages: 5837
  • Boinc'eur devant l'éternel
  • *****
  •   
Beal@Home
« le: 25 mars 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


Statut : Projet terminé
URL du projet :  Site inaccessible
État du serveur : http://bealathome.com/server_status.php
Application disponible : http://bealathome.com/apps.php
L'alliance francophone : 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
Classement mondial de L'AF : 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
« Modifié: 24 mars 2016 à 10:40 par fzs600 »

Utilisateur GNU-LINUX. fzs600@hub.g3l.org

toTOW

  • Messages: 3685
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Beal@Home
« Réponse #1 le: 25 mars 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 ?
FAH-Addict, première source d'information francophone sur le projet Folding@Home.

Philippe06121966

  • Invité
Re : Beal@Home
« Réponse #2 le: 25 mars 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:
« Modifié: 25 mars 2014 à 18:13 par Phil1966 »

Oncle Bob

  • Messages: 3658
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Beal@Home
« Réponse #3 le: 25 mars 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. 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
Boincstat
Projets du moment
Config principale : i7 2600K@4,0 GHz / 16 Go@1600 MHz / R9 290X (Win 7)
Crunchbox passives : i7-4785T / 8 Go@1600 MHz / Akasa Euler S (Win 7) || i3-4130T / 4 Go@1600 MHz / Akasa Euler (Win 7)
ARM : 2*H3 + 1*S905X + 3*S912 | RAID : 1*L5408 + 1*E3110
Boinc@Raspberry Pi | Boinc et Linux | Date fin de projets

Jaehaerys Targaryen

  • CàA
  • Messages: 10388
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Beal@Home
« Réponse #4 le: 25 mars 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


Twitter : devweborne // Chaine Youtube : https://www.youtube.com/channel/UCXcoCd-1UlHpYIYzNER0n1Q

Philippe06121966

  • Invité
Re : Beal@Home
« Réponse #5 le: 25 mars 2014 à 19:57 »
Projet LINUX Only pour le moment ...

[AF>Libristes] Pascal

  • CàA
  • Messages: 1906
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Forum de la M-T Libristes de L'AF
Re : Beal@Home
« Réponse #6 le: 26 mars 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:

PC ; GNU/Linux ubuntu-mate 18.04 LTS (bionic) - AMD FX8350 x8 - 32Go DDR3 - GTX 1060 et GTX 1080 Ti
Raspberry Pi : RaspBian (dérivé de Debian Wheezy) - ARMv6 - carte flash SD 8Go
« Un peuple prêt à sacrifier un peu de liberté pour un peu de sécurité ne mérite ni l'une ni l'autre, et finit par perdre les deux. » Benjamin Franklin
« La droite dit : la première liberté, c'est la sécurité. Nous disons au contraire : la première sécurité, c'est la liberté. » Pierre Mauroy.

[AF>Libristes] Pascal

  • CàA
  • Messages: 1906
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Forum de la M-T Libristes de L'AF
Re : Beal@Home
« Réponse #7 le: 26 mars 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:

PC ; GNU/Linux ubuntu-mate 18.04 LTS (bionic) - AMD FX8350 x8 - 32Go DDR3 - GTX 1060 et GTX 1080 Ti
Raspberry Pi : RaspBian (dérivé de Debian Wheezy) - ARMv6 - carte flash SD 8Go
« Un peuple prêt à sacrifier un peu de liberté pour un peu de sécurité ne mérite ni l'une ni l'autre, et finit par perdre les deux. » Benjamin Franklin
« La droite dit : la première liberté, c'est la sécurité. Nous disons au contraire : la première sécurité, c'est la liberté. » Pierre Mauroy.

[AF>Libristes] Pascal

  • CàA
  • Messages: 1906
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Forum de la M-T Libristes de L'AF
Re : Beal@Home
« Réponse #8 le: 28 mars 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=

PC ; GNU/Linux ubuntu-mate 18.04 LTS (bionic) - AMD FX8350 x8 - 32Go DDR3 - GTX 1060 et GTX 1080 Ti
Raspberry Pi : RaspBian (dérivé de Debian Wheezy) - ARMv6 - carte flash SD 8Go
« Un peuple prêt à sacrifier un peu de liberté pour un peu de sécurité ne mérite ni l'une ni l'autre, et finit par perdre les deux. » Benjamin Franklin
« La droite dit : la première liberté, c'est la sécurité. Nous disons au contraire : la première sécurité, c'est la liberté. » Pierre Mauroy.

toTOW

  • Messages: 3685
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Beal@Home
« Réponse #9 le: 28 mars 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 ?
FAH-Addict, première source d'information francophone sur le projet Folding@Home.

fzs600

  • Animateur fanatique
  • Messages: 5837
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Re : Beal@Home
« Réponse #10 le: 28 mars 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:

Utilisateur GNU-LINUX. fzs600@hub.g3l.org

[AF>Libristes] Pascal

  • CàA
  • Messages: 1906
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Forum de la M-T Libristes de L'AF
Re : Beal@Home
« Réponse #11 le: 28 mars 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=

PC ; GNU/Linux ubuntu-mate 18.04 LTS (bionic) - AMD FX8350 x8 - 32Go DDR3 - GTX 1060 et GTX 1080 Ti
Raspberry Pi : RaspBian (dérivé de Debian Wheezy) - ARMv6 - carte flash SD 8Go
« Un peuple prêt à sacrifier un peu de liberté pour un peu de sécurité ne mérite ni l'une ni l'autre, et finit par perdre les deux. » Benjamin Franklin
« La droite dit : la première liberté, c'est la sécurité. Nous disons au contraire : la première sécurité, c'est la liberté. » Pierre Mauroy.

fzs600

  • Animateur fanatique
  • Messages: 5837
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Beal@Home
« Réponse #12 le: 28 mars 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

Utilisateur GNU-LINUX. fzs600@hub.g3l.org

fzs600

  • Animateur fanatique
  • Messages: 5837
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Beal@Home
« Réponse #13 le: 28 mars 2014 à 18:01 »

Utilisateur GNU-LINUX. fzs600@hub.g3l.org

[AF>Libristes] Pascal

  • CàA
  • Messages: 1906
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Forum de la M-T Libristes de L'AF
Re : Beal@Home
« Réponse #14 le: 28 mars 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.

PC ; GNU/Linux ubuntu-mate 18.04 LTS (bionic) - AMD FX8350 x8 - 32Go DDR3 - GTX 1060 et GTX 1080 Ti
Raspberry Pi : RaspBian (dérivé de Debian Wheezy) - ARMv6 - carte flash SD 8Go
« Un peuple prêt à sacrifier un peu de liberté pour un peu de sécurité ne mérite ni l'une ni l'autre, et finit par perdre les deux. » Benjamin Franklin
« La droite dit : la première liberté, c'est la sécurité. Nous disons au contraire : la première sécurité, c'est la liberté. » Pierre Mauroy.

[AF>Libristes]cguillem

  • Messages: 152
  • Boinc'eur Junior
  • **
  •   
    • Laboratoire Virtuel de Phonétique
Re : Re : Beal@Home
« Réponse #15 le: 09 juin 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 ?


Un dépôt est une contribution charitable à l’avenir de votre banque. Ambrose Bierce


kipoos

  • Messages: 3261
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Beal@Home
« Réponse #16 le: 09 juin 2014 à 09:55 »
tes UTs sont validées ? ou en attente de validation ?

[AF>Libristes] Pascal

  • CàA
  • Messages: 1906
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Forum de la M-T Libristes de L'AF
Re : Beal@Home
« Réponse #17 le: 09 juin 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=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

PC ; GNU/Linux ubuntu-mate 18.04 LTS (bionic) - AMD FX8350 x8 - 32Go DDR3 - GTX 1060 et GTX 1080 Ti
Raspberry Pi : RaspBian (dérivé de Debian Wheezy) - ARMv6 - carte flash SD 8Go
« Un peuple prêt à sacrifier un peu de liberté pour un peu de sécurité ne mérite ni l'une ni l'autre, et finit par perdre les deux. » Benjamin Franklin
« La droite dit : la première liberté, c'est la sécurité. Nous disons au contraire : la première sécurité, c'est la liberté. » Pierre Mauroy.

nafrayou

  • CàA
  • Messages: 2452
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Beal@Home
« Réponse #18 le: 09 juin 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 .


Win 8.1 Pro 64 - i7-3930K a 12 X 3,2Ghz  Noctua NH-D 14 -  carte graph  ATI R9 290 - CM Asus Sabertooth X79 - 32 Go Ram Corsair DDR3 1600Mhz - Alim Corsair 1000W - tour Cooler Master Cosmos 2



[AF>Libristes]cguillem

  • Messages: 152
  • Boinc'eur Junior
  • **
  •   
    • Laboratoire Virtuel de Phonétique
Re : Re : Beal@Home
« Réponse #19 le: 13 juin 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  :/
Un dépôt est une contribution charitable à l’avenir de votre banque. Ambrose Bierce


[AF>Libristes] Pascal

  • CàA
  • Messages: 1906
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Forum de la M-T Libristes de L'AF
Re : Beal@Home
« Réponse #20 le: 13 juin 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:

PC ; GNU/Linux ubuntu-mate 18.04 LTS (bionic) - AMD FX8350 x8 - 32Go DDR3 - GTX 1060 et GTX 1080 Ti
Raspberry Pi : RaspBian (dérivé de Debian Wheezy) - ARMv6 - carte flash SD 8Go
« Un peuple prêt à sacrifier un peu de liberté pour un peu de sécurité ne mérite ni l'une ni l'autre, et finit par perdre les deux. » Benjamin Franklin
« La droite dit : la première liberté, c'est la sécurité. Nous disons au contraire : la première sécurité, c'est la liberté. » Pierre Mauroy.

TheStressMan

  • Messages: 598
  • Boinc'eur Respectable
  • ****
  •   
Re : Beal@Home
« Réponse #21 le: 13 juin 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

al@ON

  • Messages: 11703
  • Boinc'eur devant l'éternel
  • *****
  •   
    • MySpace al@ON
Re : Beal@Home
« Réponse #22 le: 13 juin 2014 à 23:32 »
Ne Stresse pas Man... t'es UotD. :clafete:

[AF>Libristes] Pascal

  • CàA
  • Messages: 1906
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Forum de la M-T Libristes de L'AF
Re : Beal@Home
« Réponse #23 le: 03 juillet 2014 à 07:46 »
 :kookoo: Je suis en "erreur de téléchargement" depuis ce matin. :priz2tet:

PC ; GNU/Linux ubuntu-mate 18.04 LTS (bionic) - AMD FX8350 x8 - 32Go DDR3 - GTX 1060 et GTX 1080 Ti
Raspberry Pi : RaspBian (dérivé de Debian Wheezy) - ARMv6 - carte flash SD 8Go
« Un peuple prêt à sacrifier un peu de liberté pour un peu de sécurité ne mérite ni l'une ni l'autre, et finit par perdre les deux. » Benjamin Franklin
« La droite dit : la première liberté, c'est la sécurité. Nous disons au contraire : la première sécurité, c'est la liberté. » Pierre Mauroy.

[AF>Libristes] Pascal

  • CàA
  • Messages: 1906
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Forum de la M-T Libristes de L'AF
Re : Beal@Home
« Réponse #24 le: 03 juillet 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.

PC ; GNU/Linux ubuntu-mate 18.04 LTS (bionic) - AMD FX8350 x8 - 32Go DDR3 - GTX 1060 et GTX 1080 Ti
Raspberry Pi : RaspBian (dérivé de Debian Wheezy) - ARMv6 - carte flash SD 8Go
« Un peuple prêt à sacrifier un peu de liberté pour un peu de sécurité ne mérite ni l'une ni l'autre, et finit par perdre les deux. » Benjamin Franklin
« La droite dit : la première liberté, c'est la sécurité. Nous disons au contraire : la première sécurité, c'est la liberté. » Pierre Mauroy.