Timeline for Not especially famous, long-open problems which anyone can understand
Current License: CC BY-SA 4.0
16 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jun 10 at 22:57 | history | edited | Timothy Chow | CC BY-SA 4.0 |
Added a new conjectural identity
|
May 26 at 23:10 | history | edited | Timothy Chow | CC BY-SA 4.0 |
Added a link to a proof of the conjecture
|
May 26 at 21:18 | comment | added | Jorge Zuniga | Conjecture is now proven by K.C. Au in arXiv:2312.14051v2 | |
May 26 at 19:44 | comment | added | Sidharth Ghoshal | Anyone interested in this conjecture might find the links in answers here to be useful (or at least interesting) | |
Nov 9, 2022 at 11:37 | history | edited | Martin Sleziak | CC BY-SA 4.0 |
replaced the dead link
|
Sep 26, 2022 at 1:17 | comment | added | Sidharth Ghoshal | @MathGod it looks like bex.net is now dead. heres wayback machine, is this about how it should look? web.archive.org/web/20210226213502/http://members.bex.net/… | |
Sep 28, 2017 at 3:46 | comment | added | numbermaniac |
Just out of curiosity, I plugged this one in to Mathematica - It gives a fairly complicated answer using whatever HypergeometricPFQ is, but if you turn it into a decimal, it's equal to 32/Pi^3 as a decimal to at least 500 digits. Doesn't prove anything, but it's interesting nonetheless.
|
|
Oct 31, 2016 at 9:52 | comment | added | Anixx | @Michael this is in fact part of experimental mathematics. | |
Oct 30, 2016 at 0:04 | comment | added | MathGod | @TimothyChow I found the link to Cullen's $1/ \pi^4$ conjecture. | |
Oct 28, 2016 at 13:07 | comment | added | MathGod | @WadimZudilin Can you post a reference/link to the $1/ \pi^4$ identity, or post the identity here? Thanks in advance? | |
Dec 3, 2014 at 21:48 | comment | added | Timothy Chow | @Michael : Try following the link. There are similar-looking formulas that have been proved. One can then hypothesize the existence of other formulas having a similar general form, and search for them numerically using a linear-relation-finding algorithm such as PSLQ. | |
Dec 3, 2014 at 0:41 | comment | added | Michael | What is the theory that led to such formula? It's hard to believe that it could have been conjectured from playing with random expressions. | |
Aug 25, 2012 at 11:13 | comment | added | Wadim Zudilin | Tim, there is also an example, from December 2011, for $1/\pi^4$ due to Jim Cullen (members.bex.net/jtcullen515), another mathematics amateur; I cannot easily fine it online though. | |
Jun 22, 2012 at 14:40 | comment | added | Timothy Chow | As I understand it, this kind of identity is amenable in principle to automatic theorem-proving methods, but (using known techniques) is out of reach of current computers. | |
Jun 22, 2012 at 3:26 | comment | added | Suvrit | wow, at first look it seems hard to believe that this is still a conjecture! | |
Jun 21, 2012 at 20:41 | history | answered | Timothy Chow | CC BY-SA 3.0 |