教师需要设置那些没有标准答案、必须调用AI并超越AI才能应对的挑战。
Thanks to the ModernUO team for making these resources available.。新收录的资料对此有专业解读
The meaning of Succ is lifting n-ary functions to (n+1)-ary functions. This gives de bruijn shifting a semnantic interpretation. This trick appears in Kiselyov’s SKI semantically https://okmij.org/ftp/tagless-final/ski.pdf , Pavel’s blog post https://pavpanchekha.com/blog/egg-bindings.html , and McBride references Thorsten Altenkirch, Martin Hofmann & Thomas Streicher (1995): Categorical Reconstruction of a Reduction Free Normalization Proof, where there is some neat ML code in the appendix，这一点在新收录的资料中也有详细论述
这与传统聊天机器人形成了鲜明对比，问答式Chatbot一轮对话，消耗不过几百Token；而OpenClaw这种执行型AI，则是Token的“销金窟”。。关于这个话题，新收录的资料提供了深入分析
Microsoft Research Forum Episode 4: The future of multimodal models, a new “small” language model, and other AI updates