Aktionen

Beal@home

Aus SETI.Germany Wiki

Beal@Home
Ziel:Finde ein Gegenbeispiel zu Beals Behauptung
Kategorie:Mathematik
Homepage:http://bealathome.com/
Betreiber:bealathome.com
Status:inaktiv/beendet
Projektadressen
Serverstatus:Beal@Home
Forum:Beal@Home Forum
SETI.Germany
Teambeitritt:SETI.Germany beitreten
Forenthread:SETI.Germany Forum
Workunits
automat Mehr Informationen einblenden
Frist:7 TAge
Laufzeit:
  • ca. 17500s bis 19000s in Lin64-VM je nach Teillast Win7/64-Host
    (Intel(R) Core(TM) i5-4430S CPU @ 2.70GHz)
Betriebssysteme:Linux 64 Bit
Bildschirmschoner:Nicht vorhanden
Checkpoints:Nicht vorhanden
In den Einstellungen des Boinc-Managers für RAM verlangt Beal fast 2 GB, obwohl es danach gar nicht so viel braucht (bei 4 Cores). 250 Credits pro WU
automat Mehr Informationen einblenden
Frist:7 Tage
Laufzeit:
  • ca. 22400s
    (AMD Phenom(tm) 8600B Triple-Core Processor)
Betriebssysteme:Linux 64 Bit
Bildschirmschoner:Nicht vorhanden
Checkpoints:Nicht vorhanden
Lin64-VM auf XP-Host (3 Cores), teilweise auch Last unter XP. n den Einstellungen des Boinc-Managers für RAM verlangt Beal fast 2 GB, obwohl es danach gar nicht so viel braucht (bei 4 Cores). 250 Credits pro WU
bealathome Mehr Informationen einblenden
Frist:1 Woche
Laufzeit:
  • 5,2 bis 8 Stunden
    (AMD Phenom II X6 1090T)
Erster Download:2 Dateien (1x .exe, plus 1x input-Datei)
Download:1 KB
Upload:1 KB
Arbeitsspeicher:ca. 20 MB
Betriebssysteme:Linux 32 Bit Windows 32 Bit Windows 64 Bit
Bildschirmschoner:Nicht vorhanden
Checkpoints:Nicht vorhanden
Im Slot-Ordner des BOINC-Managers stehen während der Berechnung 4 Dateien. Es gibt feste credits/wu. April 2014 waren es 250cr/wu

Der sogenannte große fermatsche Satz ist längst bewiesen worden. Andrew Beal erdachte daher eine spezielle verallgemeinerte Form dieses Satzes, in der Form A^x+B^y=C^z.

Unter den Bedingungen, dass alle Werte ganzzahlige, positive Zahlen sind und die Exponenten >2 sind, steht die Behauptung im Raum, das A, B, C einen gemeinsamen Primfaktor besitzen.

Das Projekt versucht, ein Gegenbeispiel zu dieser Behauptung zu finden.

Single Sign On provided by vBSSO