日期: 2025 年 1 月 11 日
深圳一小学数学期末试卷“难”上热搜：新课标正式落地的连锁反应
新课标下，小学数学考试难度增大，强调综合性和生活情境应用。改革旨在培养学生的思维过程、建模能力及信息提取分析能力，反对死记硬背的应试技巧，未来数学素养尤为重要。
微软联合清北推出rStar-Math技术，数学推理能力赶超OpenAI o1
微软发布rStar-Math技术，让小型语言模型具备深度思考能力。通过蒙特卡罗树搜索方法，该技术在多个开源模型测试中取得了显著提升，甚至超越了OpenAI的o1-preview系统。
LLM带来了「编程末日」？哥本哈根大学CS教授：别做梦了！
哥本哈根大学计算机教授Hans Hüttel认为，尽管大语言模型在文本生成方面表现出色，但距离编程终结还远。他指出，计算理论中的定理限制了自动化代码生成的可能性，即便某些程序可以通过AI系统实现，仍需人工审核以确保其正确性。