全新升级后的 AI 1对1答疑辅导，支持更多学科和学段，新增支持小学数学、初中语文和初中数学。

在我前面写《文明之光》和《数学简史》的读书笔记时候，曾经谈到了科学和艺术，自然科学和社会科学，数理化和历史地理人文都不应该分割。所有的学科分解仅仅是方便人类更好...

而在欧洲黑暗的中世纪阶段，从8世纪到13世纪，阿拉伯帝国成为世界上真正的科技中心，包括波斯，北非和东欧信仰伊斯兰教的地区。如波斯的花剌子米是阿拉伯鼎盛时期科学的...

最近我差不多花了两周的时间看完了和数据历史相关的两本书，一本是法国米卡埃尔诺奈写的《万物皆数-从史前时期到人工智能，跨越千年的数学之旅》一书，一本书是国内蔡天新...

【新智元导读】大语言模型在数学证明中常出现推理漏洞，如跳步或依赖特殊值。斯坦福等高校团队提出IneqMath基准，将不等式证明拆解为可验证的子任务。结果显示，模...

【新智元导读】强化学习可以提升LLM推理吗？英伟达ProRL用超2000步训练配方给出了响亮的答案。仅15亿参数模型，媲美Deepseek-R1-7B，数学、代...

不等式问题正是检验这一点的理想对象：它们结构清晰、逻辑对象简单，在数学竞赛与应用数学中都极为常见，同时具备较长的推理链条，能够有效揭示推理中的漏洞或模糊之处。

根据我以往发数学的东西看，大家上学不爱数学，工作了也还是不爱看数学，但是信号链的设计就是算东西，算大小，算级联，等等。

长期跟踪关注统计学、机器学习算法、深度学习、人工智能、大模型技术与行业发展动态，日更精选技术文章。回复机器学习有惊喜资料。

上上周的 2025 高考已经落下了帷幕！在人工智能领域，各家大模型向数学卷发起了挑战。

过去数学合作只能靠邮件和手稿，但现在数学家可以像程序员那样在GitHub上合作，一起构建巨大的数学「代码库」。这将会改变整个数学研究的方式，就像LaTeX改变了...

这件小事背后其实考验的是你大脑的工作记忆 —— 保持一个念头、随时对比外部问题并作出一致回应。

长期跟踪关注统计学、机器学习算法、深度学习、人工智能、大模型技术与行业发展动态，日更精选技术文章。回复机器学习有惊喜资料。

在充满科学氛围的环境中，他很早就展现出了数学和编程方面的天赋 —— 在校期间就参加了全国数学奥林匹克和物理竞赛。

【新智元导读】谷歌DeepMind重磅出击，开源首个形式化数学猜想库，获陶哲轩力挺！从解析数论的兰道猜想开始，这个开源项目将为AI破解数学难题的未来铺路。

  线性定常系统稳定的充分必要条件是其特征根全部具有负实部。因此,判别系统的稳定性，就要解出系统特征方程的根,并检验这些特征根是否都具有负实部。但是,通过直接求...

在涵盖的主题上，DeepMath-103K 包含了从基础概念（如初等代数、平面几何）到高级主题（如抽象代数、微积分、数论、几何、概率、离散数学等）的广泛数学领域...

由字母、数字、下划线组成，不能以数字开头，且区分大小写。单下划线开头的（_foo），表明是不能直接访问的类属性；双下划线开头的（__foo），代表类的私有成员；...