Vladimir_Nesov comments on ≤10-year Timelines Remain Unlikely Despite DeepSeek and o3