It is neat that this problem is coming up elsewhere. It reminds me that MIRI’s work could be relevant to people working in other sub-fields of math, which is a good sign and a good opportunity.
It is neat that this problem is coming up elsewhere. It reminds me that MIRI’s work could be relevant to people working in other sub-fields of math, which is a good sign and a good opportunity.