> It's worse than that. At this point, the person who bridges that gap will almost certainly get his name added to the proof--that's a big incentive. Taylor Du

> It's worse than that. At this point, the person who bridges that gap will almost certainly get his name added to the proof--that's a big incentive. Taylor Dupuy together with Anton Hilado is attempting this: https://thehighergeometer.wordpress.com/2019/01/18/taylor-dupuy-on-mochizukis-iutt-infamous-corollary-3-12/ https://thehighergeometer.wordpress.com/2019/01/18/taylor-du...