Timeline for Longevity of "random" conjectures
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 26, 2014 at 16:25 | comment | added | Hauke Reddmann | Joseph - Indeed, a sufficient savvy computer program can generate conjectures faster than any mathematician can prove. (In fact I can do that, and I'm not sufficient savvy :-) Dag Oskar: And while I was writing the question, I thought: "This would be a theme for AMM or the Intelligencer". 1 year? Good grief, where's my memory :-) I'll look the article up. Again. Alexander: While this is a limited area (and possibly not representative - but who knows), have an uppie for your efforts. I was thinking of exactly such a progress report. | |
| Dec 26, 2014 at 16:23 | vote | accept | Hauke Reddmann | ||
| Dec 25, 2014 at 13:35 | answer | added | Alexandre Eremenko | timeline score: 2 | |
| Dec 25, 2014 at 13:21 | comment | added | Dag Oskar Madsen | Relevant article: link.springer.com/article/10.1007/s00283-013-9383-7 | |
| Dec 25, 2014 at 12:57 | comment | added | Joseph O'Rourke | This reminds me of "Some Conjectures of Graffiti.pc." Graffiti is a computer program that generated hundreds of conjectures in graph theory. | |
| Dec 25, 2014 at 12:38 | history | asked | Hauke Reddmann | CC BY-SA 3.0 |