I think this shows 2 key skills w/ AI 1) compute allocation – for most jobs there’s not a list of “X most important problems”, you have to decide what problems are worth it 2) thought partnership – @__alpoge__ had to…

Thariq 通过一次 AI 辅助证明数学定理的经历指出,AI 时代最稀缺的技能不再是“写代码”,而是“算力分配”和“思想伙伴关系”——同时提醒从业者,这两项能力仍然建立在深厚的技术功底之上。








