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

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

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

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

英国曼彻斯特大学的数学家们开发了一种名为CLASSIX的人工智能工具，能够从基因数据中迅速识别新出现的COVID-19变种。这一方法可能有助于简化病毒演变的追踪，并有助于像定制疫苗开发这样的主动应对措施。与传统的系...

最优传输理论是数学和计算领域的一个丰富分支，主要研究概率分布之间的距离。此GitHub仓库提供了一个全面的阅读清单，旨在提高最优传输在速度和准确性上的扩展性。该清单包括了最优传输理论的基础知识、数学原理、算...

近期上线的伴随网站More Useful Things为公众提供了大量免费的人工智能与机器学习资源。该网站通过一系列实验展示了AI生成的提示，例如富有想象力的场景构造，在解决数学问题等任务中如何超越人工编写的提示。这些实...

微软发布了Orca数学问题数据集。该数据集被用于训练一些当前最先进的数学模型，现在可以被社区用于研究。