I wish I had known about the AI Impacts data sooner.
As the point out, looking at remembered conjectures maybe adds some bias. But then later in their post, they mention:
In 2014, we found conjectures referenced on Wikipedia, and recorded the dates that they were proposed and resolved, if they were resolved. We updated this list of conjectures in 2020, marking any whose status had changed
Which could also be used to answer this question. But in their dataset, I don’t see any conjectures proved between 2014 and 2020, which is odd.
I wish I had known about the AI Impacts data sooner.
As the point out, looking at remembered conjectures maybe adds some bias. But then later in their post, they mention:
Which could also be used to answer this question. But in their dataset, I don’t see any conjectures proved between 2014 and 2020, which is odd.
Anyways, thanks for the reference!