每年都有跨年大妖，今年跨年大妖会是谁？
跨年大妖，每年必有，今年的“妖王”宝座，谁将问鼎？
2023年，注定是“妖气”冲天的年份。从年初的“ChatGPT”横空出世，到年中“AI绘画”的爆
以前我们经常谈“XX思维”，就是总结某门学科、某个行业或者某个维度的思维特点，比如“工程思维”，通常就是指工程化的方式去解决问题，会采用结构化、数据驱动的去思考；比如“设计
![[LG]《Formal Theorem...](http://wx3.sinaimg.cn/bmiddle/5396ee05ly1hvc22t4mtxj21g80qanam.jpg)
[LG]《Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically》K Dong, A Mahankali, T Ma [Stanford University] (2024) 机器学习人工智能论文
【报道：沙特酝酿一个1000亿美元规模的AI项目，将与阿联酋的科技中心竞争】沙特想成为全球人工智能发展的领军力量，计划投资1000亿美元成立名为“Project Transcendence”的AI项
【Music Composer：Python的音乐创作应用，帮用户创建和编辑音乐作品，特色在于旋律生成、事件调度和MIDI文件导出】'Music Composer - A Python-based application designed to a
Optimus新一代灵巧手：机器人精细操作的新标杆
特斯拉最新推出的Optimus新一代灵巧手在技术上实现了重大突破，具备22个自由度，显著提升了机器人的精细操作能力。
其高自由度设
