Timeline for Interesting conjectures "discovered" by computers and proved by humans?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:57 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| May 1, 2016 at 15:54 | review | Low quality posts | |||
| May 1, 2016 at 16:23 | |||||
| Mar 26, 2012 at 5:54 | comment | added | joro | Thank you, haven't seen this question. This one may be a duplicate/refinement of 2). | |
| Mar 25, 2012 at 18:37 | history | answered | Kristal Cantwell | CC BY-SA 3.0 |