New mathematical approach transforms simulations of large molecule behavior
计算机模拟可帮助材料科学家和生物化学家研究大分子的运动，推进新药和可持续材料的开发。但是，这些模拟对于即使是最强大的超级计算机也构成了挑战。
Mathematical methods point to possibility of particles long thought impossible
从量子力学的早期开始，科学家们就认为所有粒子都可以根据其行为分为两类——玻色子或费米子。
The Quantum Superposition Theorem: A Mathematical Approach
在我之前的文章中，我主要写了关于量子叠加的理论方面。量子叠加是主要的基石理论之一，它为量子物理学提供了奇特之处，并帮助我们解决量子隧穿等关键问题。在我的上一篇文章中，我写了关于正交定理的内容，这是理解量子叠加背后的数学的必要先决条件。除此之外，还需要具备概率知识的初步微积分知识才能理解下面的文字，因为它可能看起来并不像你在纪录片中看到的那样花哨，相反，如果你理解了文字，那么它会更迷人，并支持这一说法：“事实比小说更奇怪”。所以，事不宜迟，让我们深入研究它……为了制定叠加原理，首先我们必须考虑一些潜在的 V(x)，并且对于这个潜在的薛定谔方程已经得到解决。这产生了许多波函数 𝜓ᵢ(x) 及其对应
Funky maths suggests a new type of particle unknown to physics
物理学家已经用数学方法证明，宇宙中可能存在长期以来被认为不可能存在的粒子。100 年前的量子力学研究表明，所有粒子都可以分为两类：玻色子和费米子。它们属于哪一类取决于粒子在 […] 中靠近其他粒子时的行为
Debunking mathematical economics
摘自 Lars Syll 使用符号伪数学方法来形式化经济分析系统，这是一个很大的缺陷……它们明确假设所涉及的因素之间存在严格的独立性，如果这一假设不成立，它们就会失去所有的说服力和权威性；然而，在日常话语中，我们不是盲目操纵，而是知道所有 […]
Debunking mathematical economics
用符号伪数学方法形式化经济分析系统存在一个重大缺陷……它们明确假设所涉及因素之间存在严格独立性，如果这一假设不成立，它们将失去所有说服力和权威性；而在日常话语中，我们不是盲目操纵，而是始终知道什么……
2024/11/26 Voices from DARPA Podcast Episode 84: Hackable Code & the Formal Fix
在本期《来自 DARPA 的声音》中，我们探讨了该机构在软件开发革命方面所做的开创性工作。这种转变的前沿是使用形式化方法 - 一种强大的数学方法，可确保强大的安全性并保证软件系统中没有漏洞。
Mathematical Models for Predicting Climate Change: A Deep Dive into Climate Science
气候变化的数学方法数学模型是预测和理解气候变化的重要工具。它们为气温上升、极端天气和全球影响提供了关键见解，指导政策决策和缓解气候变化的努力。在本文中，我们将探讨这些数学模型（从简单的能量平衡方程到复杂的地球系统模拟）如何帮助科学家预测未来的气候情景。所以，请读完这篇文章！气候变化的数学建模理解和预测气候变化的数学模型理解和预测气候变化的挑战是我们这个时代最关键的科学问题之一。气候变化主要由人类活动（例如燃烧化石燃料和砍伐森林）驱动，正在导致全球气温、天气模式和生态系统发生前所未有的变化。为了应对这些挑战，科学家严重依赖数学模型来模拟地球的气候系统，分析复杂的相互作用并预测未来的变化。数学建模
Data Science Introduction Courses – Opening Up a World of Data
数据科学是一门新兴学科，它采用计算机化的数学方法来解释大量数据并帮助企业做出更好的决策，提高效率和增加利润。如果想进入这个高需求的行业，数据科学认证是绝对必要的；这样的课程为学习者提供了所有……阅读更多»文章数据科学入门课程——开启数据世界首先出现在大数据分析新闻上。
第五届负责任计算基础研讨会 (FORC) 将于 2024 年 6 月 12 日至 14 日在马萨诸塞州剑桥的哈佛大学举行。征文通知已经发出。请提交您的优秀论文，以便 FORC 再次取得成功。FORC 是计算和社会领域数学研究的论坛。该研讨会旨在催化一个社区的形成，支持将理论计算机科学、统计学、经济学和其他相关分析领域应用于紧迫和预期的社会关注问题。主题包括但不限于：机器学习公平性的理论方法，包括定义、算法、下限和权衡的研究；隐私的正式方法，包括差异隐私；计算和数学的社会选择，包括分配和重新划分选区；分配和公平划分的公平性；经济激励，包括社会公益机制设计；稳健性的指标和含义，包括可解释性的形式化
2023/10/24 Can Math Secure Mixed Reality Systems from Attack
为了履行防止技术意外的使命，DARPA 打算在军事人员广泛依赖 MR 执行任务之前解决这个问题。该机构最近启动了内在认知安全 (ICS) 计划，以探索和验证数学方法（称为形式方法），以保证 MR 系统设计减轻潜在的认知攻击。
Science & Tech Spotlight: Securing Data for a Post-Quantum World
为什么这很重要虽然量子计算机的出现带来了潜在的好处，但这些计算机可能会破坏当前保护敏感信息的加密方法的安全性。如果不尽快开发和部署能够承受量子计算能力的加密方法，那么安全数据最快在2030年代就可以被解密。这项技术是什么？量子计算给敏感数据的安全带来了风险，研究人员正在努力解决这一问题。政府、组织和个人依靠加密技术来保证敏感和个人身份信息的安全。密码学通过使用数学函数转换信息来保护信息，统称为加密。当前广泛使用的加密方法依赖于复杂的数学，而普通计算机或经典计算机几乎不可能在合理的时间范围内破解这些数学方法。相比之下，量子计算机可以破解某些类型的广泛使用的加密方法，例如用于安全的加密方法。由于信
Precursors Of The Modern Revival Of Classical Political Economy
大约三分之二世纪前，价格理论发生了一场革命。几位学者独立发展了这场革命的组成部分。这篇文章仅列出了部分文献。我之前曾试图简要描述为什么其中一些作者是先驱。Ladislaus von Bortkiewicz (1907) 关于《资本论》第三卷中马克思基本理论结构的修正。由 Sweezy 翻译并重印。David G. Champernowne (1945-1946) 关于 J. V. Neumann 的“经济均衡模型”文章的注释。《经济研究评论》13 (1): 10-18。Georg von Charasoff (2010) 《马克思主义体系：表现与批判》。柏林：H. Bondy。V. K. Dm
#75 – Marcus Hutter: Universal Artificial Intelligence, AIXI, and AGI
Marcus Hutter 是 DeepMind 的高级研究科学家，也是澳大利亚国立大学的教授。在他的研究生涯中，包括与 Jürgen Schmidhuber 和 Shane Legg 合作，他在通用人工智能领域提出了许多有趣的想法，包括开发 AIXI 模型，这是一种 AGI 的数学方法，融合了 Kolmogorov 复杂性、Solomonoff 归纳法和强化学习的思想。剧集链接：Hutter 奖：http://prize.hutter1.netMarcus 网站：http://www.hutter1.net 提及的书籍：- 通用人工智能：https://amzn.to/2waIAuw- 人工
