Unit-free theorem pinpoints key variables for AI and physics models
机器学习模型旨在接收数据，查找这些数据中的模式或关系，并使用所学知识进行预测或创建新内容。这些输出的质量不仅取决于模型内部工作的细节，而且最重要的是取决于输入模型的信息。
马克·亚伯拉罕 (Marc Abrahams) 揭示了米哈伊尔·戈尔巴乔夫 (Mikhail Gorbachev) 是反基督者的数学证据 1988 年，罗伯特·W·费德 (Robert W Faid) 解决了数学中最古老、最著名的问题之一。然而几乎没有人注意到。费德破解了近两千年的难题，计算出了敌基督者的身份。 在数学家的稀有世界中，某些问题成为人们热烈追求的焦点。 1976 年，沃尔夫冈·哈肯 (Wolfgang Haken) 和肯尼斯·阿佩尔 (Kenneth Appel) 最终解决了四色图问题。费马大定理一直吸引着数学家，直到 1993 年安德鲁·怀尔斯 (Andrew Wiles) 解
Yes, Tariffs Reduce Imports, but They Also Reduce Exports
鲍勃解释了勒纳对称定理，并展示了关税如何影响汇率、出口和贸易平衡，然后根据当今特朗普时代的关税冲击检验这些预测。
Hilbert: Recursively Building Formal Proofs with Informal Reasoning
大型语言模型 (LLM) 展示了令人印象深刻的数学推理能力，但它们的解决方案经常包含无法自动验证的错误。 Lean 4 等形式化定理证明系统提供了完全准确的自动验证，推动了最近努力构建专门的证明者法学硕士，以形式语言生成可验证的证明。然而，仍然存在一个重大差距：当前的证明者法学硕士解决的问题比使用自然语言操作的通用法学硕士要少得多。我们介绍 Hilbert，一个代理框架，它通过以下方式弥合了这一差距
。多样性的力量只是一个社会理想。是数学事实。 “多样性预测定理”表明，收集不同思考的人会带来可计算的性能奖励。想象一下，您的确在一个透明的罐子里装满了1000个果冻，然后询问一群学生估计多少果冻[…]
Utility theory — explaining everything and nothing
来自Lars syll主流经济学的方法论结构通常依赖于设计通过设计重言式的公理和定理，这严重限制了其信息内容。一个主要的例子是现代的预期效用理论。它的核心弱点在于对个人偏好的最小限制。这种极端的灵活性使理论可以和解[…]
