Marcus谈当前AGI进展与局限
If you want to understand where we actually are right now in the quest for AGI, I urge you read this...
Marcus谈AGI现状，数学进展不能简单外推到真实世界。
Gary Marcus指出当前AGI研究进展有限。Lean工具可在可形式化问题上取得验证成果，但现实世界复杂性问题难以完全形式化。当前技术在实际应用中效果不佳，数学问题的进展不能简单外推到AGI和科学整体。
If you want to understand where we actually are right now in the quest for AGI, I urge you read this...
If you want to understand where we actually are right now in the quest for AGI, I urge you read this. Gary Marcus @GaryMarcus 100%. most of what’s going right now is that you can use Lean (a symbolic tool!) to verify problems that can be formalized, and there is genuine progress there. But the real world is complicated and mostly resists that level of formalization, and the current techniques don’t work as well there. This matters a LOT, because many people are extrapolating, incorrectly in my view, from progress on a certain class of math problems (which is real) to progress on AGI and science in general (much less clear). 🔗 View Quoted Tweet 💬 1 🔄 3 ❤️ 7 👀 1161 📊 2 ⚡
