DeepMind近日发布了其几何模型AlphaGeometry的重大升级版本AlphaGeometry 2，该模型在解决几何问题上的正确率从先前方法的54%大幅提升至84%。这一突破性进展主要得益于Gemini语言模型的整合以及更高效的搜索算法。Al...

GitHub最新开源的DeepMath数据集为人工智能领域带来突破性资源——该数据集包含10.3万道经过严格过滤和去污染的数学问题，专门用于提升大语言模型的逻辑推理能力。这一资源解决了当前数学推理训练数据质量参差不齐的核...

近日，一款名为Unsure Calculator的创新工具在技术社区引发关注。该工具被设计为一款基于概率的快速估算计算器，其核心理念是让用户能够像在餐巾纸上进行快速计算一样，轻松处理包含不确定性的数学问题。Unsure Calc...

Funsearch是一种基于大型语言模型（LLM）驱动的遗传算法新实现，旨在帮助数学家解决组合和数论问题，而无需具备机器学习的专业知识。这项创新技术通过结合遗传算法的优化能力与LLM的生成能力，为数学研究提供了全新...

近日，GitHub Gist上发布了一个关于Llama推理模型的最小化工作复现版本。该模型最初由OpenAI提出，并由DeepSeek发布。该模型通过数学问题的格式和正确性奖励进行训练，展示了在长时间训练后出现的“顿悟”时刻。这一进...

近日，有编程爱好者发起了一个挑战性的项目，使用100种不同的编程语言来解决Project Euler的前100道问题。这个项目不仅展示了编程语言的多样性，而且也向人们展示了不同编程语言解决复杂数学问题的能力。Project Eul...

人工智能领域中，数学能力一直是一个重要话题。随着机器学习技术的不断进步，AI系统似乎已经开始展现出处理复杂数学问题的能力。数学家们对此抱有复杂的情感：一方面，AI的数学能力可以极大地辅助人类解决数学难题，...

最新的教育技术突破展示了如何将代数公式a^2 – b^2 = (a + b)(a – b)以一种直观的方式呈现。这种新方法利用了视觉元素来帮助学生更容易理解平方差公式，增强了其记忆和理解能力。在演示中，公式的每个部分都被转化为...