这是一款儿童在线数独游戏，提供4×4、6×6、9×9三种尺寸和简单、中等、困难三档难度。游戏规则是每行、每列及每个宫格内数字不重复，通过逻辑推理填满格子。支持提示、计时、检查、暂停等功能，完成后可分享成绩，旨在训练逻辑思维和数学能力。

文章讲述了作者帮助女儿可可提高数学能力的经历。可可对数学感到无聊，习惯用加法解决问题。作者通过引导她理解数学原理，逐步培养她的兴趣，最终可可开始主动询问问题，并对数学产生兴趣，希望找到有趣的数学书籍。

CMU研究发现，数学能力强的大模型在其他领域的表现有限。只有通过强化学习（RL）训练的模型能够有效迁移数学推理技能，而监督微调（SFT）可能导致负迁移。研究表明，微调方法是影响迁移能力的关键，RL模型在保持原有知识的同时提升了特定领域的表现。

清华大学与上海AI实验室的研究表明，通过测试时强化学习（TTRL），模型的数学能力提升了159%。该方法无需数据标注，模型能够自生成训练数据，显著提高了多个数据集的准确率，尤其在AIME 2024竞赛中表现优异。

上海AI Lab的研究表明，7B的DeepSeek模型在数学能力上超越671B的R1满血版，提出了新的TTS框架，强调策略模型和问题难度对性能的影响。实验显示，小模型在简单任务中表现良好，而大模型在复杂任务中更具优势，未来需探索更多任务和优化方法。

讯飞星火深度推理模型X1在数学辅导方面表现出色，能够帮助学生完成作业并应对奥林匹克竞赛。作为首个完全依赖国产算力的推理模型，X1展现了清晰的推理过程，体现了国产技术的创新与突破。该模型已在教育领域应用，受到教师的好评，未来将进一步增强学习辅导能力。

商汤科技的SenseNova多模态大模型在OpenCompass评测中获得第一，平均得分77.4，尤其在MathVista数据集上得分78.4，展现出强大的数学能力。该模型实现了跨模态深度融合，提升了对多种数据的理解，未来可广泛应用于教育和自动驾驶等领域。

谷歌新版Gemini（Exp 1114）超越OpenAI的o1，成为AI竞技场的领头羊，数学能力与o1相当，获得六项第一。尽管在编码和风格控制上表现不佳，但在视觉能力上领先。网友反馈褒贬不一，部分人质疑其是否为Gemini 2的预览版。

本研究提出了一种新方法，通过结合语言和数学能力解决非英语任务中的数据不足问题。采用层交换技术的合并模型在数学基准测试中性能提升了10%，展示了跨语言迁移推理的潜力。

谷歌发布Gemini 1.5，数学能力超越o1-preview，成本仅为其十分之一，几乎无延迟。包括Gemini-1.5-Pro-002和Gemini-1.5-Flash-002两个型号，性能在数学、长文本和多模态方面显著提升。价格降低，速率限制提高，输出速度加倍，延迟减少。视觉理解和代码生成能力增强，适合摘要和问答应用。音频转录准确率达99%。

深度求索开源了DeepSeek-Coder-V2模型，是全球首个在代码、数学能力上超越GPT-4-Turbo等的开源代码大模型。DeepSeek-Coder-V2包含236B与16B两种参数规模，支持338种编程语言。SiliconCloud上线了DeepSeek-Coder-V2开源模型，并提供大模型推理加速服务。新用户还送1亿token。

本文探讨了多种提示方法在提升大型语言模型（LLMs）数学能力方面的应用，包括教育思维链、MathPrompter和深度理解问题提示等。这些方法通过改进推理过程和问题理解，显著提高了模型在数学问题上的准确率和性能，实验结果显示其在多个数据集上优于传统方法。

本文探讨了GPT-2在自然语言任务中的表现，分析其内部机制和可解释性。研究表明，GPT-2具有限制的数学能力，并提出了新的方法（GPT4MIA）用于医学图像分析，显著提高了预测准确度。此外，评估了多种模型在多语言任务中的性能。

该文章介绍了一种新的方法，结合了大型语言模型和传统代码，以提高Bard的推理和数学能力。通过隐式代码执行，识别可能受益于逻辑代码的提示，编写代码并执行，以生成更准确的响应。在内部挑战数据集中，这种方法已经将Bard对计算和数学问题的响应准确率提高了约30％。