货运业一直在努力降低物流成本。为了实现这一目标，船运公司正在利用数学优化技术来提高船舶运行效率。数学优化技术是一种通过最小化成本或最大化利润的方法来优化特定问题的技术。在船运业中，这些问题包括如何最大...

据最新消息，数学界近日取得了一项重大突破，有望解决黎曼假设这个被数学界关注已久的难题。黎曼假设是关于素数分布的重要问题，被誉为数学领域的巨无霸之一。虽然这个问题已经存在了150多年，但迄今为止仍未得到证...

傅里叶分析是数学中的一个分支，可以将任何周期性函数表示为一系列简单的正弦和余弦函数的组合。而傅里叶级数则是傅里叶分析的一种方法，可以将一个周期函数分解为一组简单的正弦和余弦函数的和。这个视频使用动画的...

近期，研究人员提出了一种名为隐式字符辅助学习（ICAL）的新方法，大幅提升了手写数学表达式的识别能力。ICAL 通过利用隐式字符信息，增强了模型对手写字符的理解和识别精度。传统的手写数学表达式识别方法通常依赖...

KL散度是一种快速、廉价且强大的方法，用于测量事物之间的一种距离。它在传统和现代人工智能中被广泛使用。这篇文章从视觉和数学角度探讨了这一强大的概念。KL散度，或称Kullback-Leibler散度，是一种用于衡量两个概...

MathBench是一项旨在全面评估大语言模型数学能力的新基准。这一基准的设计初衷是为了填补当前评估工具在数学领域的空白，提供一个更加系统化和科学化的评估方法。MathBench不仅涵盖了基础数学运算，还包括高级数学理...

Symbolica是一款计算机代数系统。它可以匹配复杂的数学模式并处理庞大的表达式。Symbolica具有最先进的多项式算术和表达式优化，还具有数值积分框架和Python、Rust和C++的API。现在提供在线演示。

《通信的数学理论》是一篇由克劳德·香农发表于1948年的论文，这篇论文奠定了现代通信的数学基础，被誉为通信领域的里程碑之一。论文中提到了很多后来变得非常重要的概念，例如信息熵、信源编码和信道编码等。这些概...

Elon Musk旗下的xAI公司近日推出了Grok-1.5人工智能系统，该系统在数学和编程方面的处理能力得到了显著提升。与前一版本相比，Grok-1.5在性能上有大幅度提升，并在与业界领先的AI模型如GPT-4的竞争性基准测试中表现...

以色列计算机科学家Avi Wigderson因其在计算复杂性和算法设计方面的杰出贡献获得了2023年ACM图灵奖。他的研究成果对计算机科学、数学和物理学等领域都有重要影响。Wigderson是普林斯顿大学的教授，曾在美国计算机科...