邓煜称AI可辅助数学证明，但无法取代独立思考

追踪通用人工智能（AGI）的实现路径、争议与行业影响，从技术突破到伦理博弈。