Timeline for Have new conjectures generated by the Ramanujan machine been proven?
Current License: CC BY-SA 4.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 23, 2022 at 19:47 | comment | added | Sil | The one for $\frac{8}{7\zeta(3)}$ is actually an old result, but hard one to find - see my answer in math.stackexchange.com/questions/4110221. Interestingly, I wrote to authors about the proof twice last year and yet their web still says "new and unproven" ... | |
| Sep 25, 2020 at 12:54 | answer | added | Timothy Chow | timeline score: 5 | |
| Sep 25, 2020 at 2:25 | comment | added | Timothy Chow | @SylvainJULIEN : Graffiti is perhaps an example of what you're asking for. | |
| Jul 18, 2019 at 10:59 | answer | added | this_is_a_banana | timeline score: 7 | |
| Jul 16, 2019 at 7:02 | comment | added | Sylvain JULIEN | Have there been other examples of algorithms producing conjectures from raw mathematical data? If not, is it possible to let them go more on the conceptual side? | |
| Jul 15, 2019 at 21:21 | history | edited | LSpice | CC BY-SA 4.0 |
Name of paper and minor editing
|
| Jul 15, 2019 at 21:17 | history | edited | YCor |
edited tags
|
|
| Jul 15, 2019 at 21:08 | answer | added | galra | timeline score: 10 | |
| Jul 15, 2019 at 6:26 | comment | added | this_is_a_banana | You can see some discussion in this site reddit.com/r/MachineLearning/comments/c8lrj4/… | |
| Jul 11, 2019 at 21:56 | comment | added | Carlo Beenakker | silly web site: ramanujanmachine.com | |
| Jul 11, 2019 at 21:38 | comment | added | Aurel | and there galoisrepresentations.wordpress.com | |
| Jul 11, 2019 at 21:30 | comment | added | Carlo Beenakker | see the comments at news.ycombinator.com/item?id=20352252 | |
| Jul 11, 2019 at 21:23 | history | asked | Andreas Rüdinger | CC BY-SA 4.0 |