mersenneforum.org  

Go Back   mersenneforum.org > Extra Stuff > Blogorrhea > MattcAnderson

Reply
 
Thread Tools
Old 2022-10-20, 05:20   #34
LaurV
Romulan Interpreter
 
LaurV's Avatar
 
"name field"
Jun 2011
Thailand

3·23·149 Posts
Default

Quote:
Originally Posted by rebirther View Post
From the translation:
Thanks.

So, as I said, the progress is slow (even when you know the theory, as I assume those guys do - a lot of computing power, and a dust particle of progress, compared with limits reached by other, unrelated, computational projects). This is HARD.
LaurV is offline   Reply With Quote
Old 2022-10-20, 05:24   #35
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

2×3×432 Posts
Default

Quote:
Originally Posted by LaurV View Post
This is HARD.
Compared to what?
chalsall is online now   Reply With Quote
Old 2022-10-20, 14:14   #36
storm5510
Random Account
 
storm5510's Avatar
 
Aug 2009
Not U. + S.A.

1001111100002 Posts
Default

Quote:
Originally Posted by LaurV View Post
Thanks.

So, as I said, the progress is slow (even when you know the theory, as I assume those guys do - a lot of computing power, and a dust particle of progress, compared with limits reached by other, unrelated, computational projects). This is HARD.
Things which are difficult make them worth the trying.

Something I have not seen, or missed, is clearly defined bounds for A,B,C,x,y, and z. The absolute floor value is 3. The ceiling could be anything, with exceptions, as long as it is positive.
storm5510 is offline   Reply With Quote
Old 2022-10-20, 19:32   #37
kruoli
 
kruoli's Avatar
 
"Oliver"
Sep 2017
Porta Westfalica, DE

134310 Posts
Default

Quote:
Originally Posted by chalsall View Post
Compared to what?
Since "hard" is not a comparative, I would assume it is meant as "high" on an arbitrary personal scale and is not meant to be compared to something in specific.
kruoli is online now   Reply With Quote
Old 2022-10-20, 21:23   #38
a1call
 
a1call's Avatar
 
"Rashid Naimi"
Oct 2015
Remote to Here/There

23×293 Posts
Default

My posit is that the theorem is more likely to be false than true, since there is no reason for it to be true or someone would have proved and collected $1M (which AFAIK is the highest mathematical prize) by now. The problem is that, to find a counter-example is astronomically HARD.
In statistics the probability of any given non-zero, low-probability-occurrence can be made very high if you increase the trials enough and for a theoretical infinite trials, guaranteed/certain.
But, then again what do I know.
ETA: it’s a bit like theorizing that there are no purple cars in the world.
Google says there are about 1M(thousands) cars in the world. I bet you have never seen a purple one. Well, Google is all knowing all wise (after Wikipedia of course).

Last fiddled with by a1call on 2022-10-20 at 21:50
a1call is offline   Reply With Quote
Old 2022-10-20, 22:43   #39
R. Gerbicz
 
R. Gerbicz's Avatar
 
"Robert Gerbicz"
Oct 2005
Hungary

5×17×19 Posts
Default

Quote:
Originally Posted by storm5510 View Post
This is most definitely over my head. Not a language I recognize.
"finding a way to parallelize the program, and re-coding in a faster compiled language (such as C++ or Go or Julia). Then I could invest thousands (or millions) of CPU hours searching for counterexamples.
But Witold Jarnicki and David Konerding already did that: they wrote a C++ program that, in parallel across thousands of machines, searched for A,B up to 200,000 and x,y up to 5,000, but found no counterexamples. So I don't think it is worthwhile to continue on that path."

Even this is a painfully slow program.
R. Gerbicz is online now   Reply With Quote
Old 2022-10-21, 22:48   #40
storm5510
Random Account
 
storm5510's Avatar
 
Aug 2009
Not U. + S.A.

24·3·53 Posts
Default

Quote:
Originally Posted by R. Gerbicz View Post
...But Witold Jarnicki and David Konerding already did that: they wrote a C++ program that, in parallel across thousands of machines, searched for A,B up to 200,000 and x,y up to 5,000, but found no counterexamples. So I don't think it is worthwhile to continue on that path.
If they did this in an incremental fashion, it is a wonder they ever got done. GIMPS work is much more preferable.
storm5510 is offline   Reply With Quote
Old 2022-10-22, 00:03   #41
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

1109410 Posts
Default

Quote:
Originally Posted by storm5510 View Post
GIMPS work is much more preferable.
Channeling my inner 1 year old... 9-)

"Why?

Last fiddled with by chalsall on 2022-10-22 at 00:03
chalsall is online now   Reply With Quote
Old 2022-10-23, 13:56   #42
storm5510
Random Account
 
storm5510's Avatar
 
Aug 2009
Not U. + S.A.

24·3·53 Posts
Default

Quote:
Originally Posted by chalsall View Post
Channeling my inner 1 year old... 9-)

"Why?
Because there is generally always a resolution. Factor or no factor.

How many iterations have been thrown at Beal? Over a trillion, more, and no counterexample. Despite being a somewhat interesting problem, it is not something I want to mess with.
storm5510 is offline   Reply With Quote
Old 2022-10-23, 15:20   #43
R. Gerbicz
 
R. Gerbicz's Avatar
 
"Robert Gerbicz"
Oct 2005
Hungary

5·17·19 Posts
Default

Quote:
Originally Posted by storm5510 View Post
How many iterations have been thrown at Beal? Over a trillion, more, and no counterexample. Despite being a somewhat interesting problem, it is not something I want to mess with.
The online checker, from the same Google director: http://norvig.com/bealcheck.html

Today passed his tests.. Do you think that it is worth 1 million bucks?
The first few digits of C is shown, it is a quite large number.
(I have really entered A,X,B,Y,C,Z; there was no dirty site hacking).
Attached Thumbnails
Click image for larger version

Name:	bealcounter.png
Views:	55
Size:	91.1 KB
ID:	27506  
R. Gerbicz is online now   Reply With Quote
Old 2022-10-23, 15:53   #44
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

24·281 Posts
Default

Quote:
Originally Posted by R. Gerbicz View Post
The online checker, from the same Google director: http://norvig.com/bealcheck.html

Today passed his tests.. Do you think that it is worth 1 million bucks?
The first few digits of C is shown, it is a quite large number.
(I have really entered A,X,B,Y,C,Z; there was no dirty site hacking).
Have you confirmed it with Pari/GP? Maybe his (JS?) code suffers from a flaw.
paulunderwood is online now   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Beal's conjecture ..........not Awojobi Miscellaneous Math 14 2022-04-12 04:56
Can we prove Beal conjecture assuming ABC conjecture? didgogns Miscellaneous Math 1 2020-08-05 06:51
The Beal Conjecture Proof Arxenar Miscellaneous Math 1 2013-09-07 09:59
Distributed Beal Conjecture Problem Joshua2 Math 54 2009-10-19 02:21
New Beal Conjecture Search Joshua2 Open Projects 0 2009-04-20 06:58

All times are UTC. The time now is 19:28.


Wed Feb 8 19:28:07 UTC 2023 up 174 days, 16:56, 1 user, load averages: 1.13, 1.11, 1.08

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2023, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔