By the end 2035, a major mathematical conjecture will be made by a computer with no substantial input from humans.

Created by JoshuaZ on 2015-02-09; known on 2036-01-01

• JoshuaZ estimated 65% on 2015-02-09
• JoshuaZ changed the deadline from “on 2036-01-01” and changed their prediction from “By 2035, a major mathematical conjecture will be made by a computer with no substantial input from humans.” on 2015-02-09
• JoshuaZ said “Context: http://lesswrong.com/r/discussion/lw/lor/discussion_of_concrete_neartomiddle_term_trends/by5r” on 2015-02-09
• Houshalter estimated 80% on 2015-02-09
• sweeneyrod estimated 60% on 2015-02-09
• PseudonymousUser estimated 70% on 2016-01-17
• Raahul_Kumar estimated 60% on 2016-02-16