My understanding is that this is in a different league (Smale problem) than a lot of the other results that have been coming out (Erdos), though I could be wrong.
The Erdos problem solutions have been accelerating, including a $250 problem and a $100 problem.
It's been fun watching the cope collapse from day to day. No one told me a slow takeoff Singularity would have so much schadenfreude.
The Erdos problem solutions have been accelerating, including a $250 problem and a $100 problem.
It's been fun watching the cope collapse from day to day. No one told me a slow takeoff Singularity would have so much schadenfreude.