我是马黑
双重国籍，习大大肯定不会允许的
新加坡禁止雙重國籍，越來越富有了！台灣縱容雙重國籍，越來越窮了，台灣被一群不愛台灣只想靠台灣撈錢的精英禍害了
中国韭菜多，耗得起
中国人创新能力差，但抄作业培养的机器人，负责创新！未来是AI推动社会创新
所以没有创新精神的中国人，也能引领全球创新了
反正都是AI自我进化，地球人看热闹
但是AI进化很费电，美国给不了电，中国给
能抄美国作业的，为啥只剩下中国了？
Anthropic Claude完成了 Fermat’s Last Theorem 首个端到端、可由计算机完整检查的形式化证明，整个过程仅用了11天 Claude在此期间写下约1300万行Lean代码，一共产出了约30300个可由计算机验证的定理，其中29500个中间定理进入最终证明。最终代码量已经达到Lean核心数学库Mathlib的5倍以上，也是迄今规模最大的Lean证明项目。...