attempting to detect smart glasses nearby and warn you.
（六）积极开展科普志愿服务活动。高校应支持师生组建科普志愿服务团队，常态化深入中小学、社区、乡村等开展科普志愿服务。建立激励机制，支持高校科技专家参与中小学科技教育有关课程资源开发、联合教研、师资培训，担任中小学科学副校长或科技导师等，推动优质科普资源下沉。
。关于这个话题，91视频提供了深入分析
Jack Dorsey lays off 4,000, says others will do same 'within the next year'
A small, trusted kernel: a few thousand lines of code that check every step of every proof mechanically. Everything else (the AI, the automation, the human guidance) is outside the trust boundary. Independent reimplementations of that kernel, in different languages (Lean, Rust), serve as cross-checks. You do not need to trust a complex AI or solver; you verify the proof independently with a kernel small enough to audit completely. The verification layer must be separate from the AI that generates the code. In a world where AI writes critical software, the verifier is the last line of defense. If the same vendor provides both the AI and the verification, there is a conflict of interest. Independent verification is not a philosophical preference. It is a security architecture requirement. The platform must be open source and controlled by no single vendor.