ImandraX: A Breakthrough in Neurosymbolic AI Reasoning and Automated Logical Verification
Imandra Inc.宣布发布Imandrax，这是其在神经肌bolic型AI推理方面的最新进步。这个具有里程碑意义的版本在证明自动化，反例生成和决策程序方面引入了尖端功能，为AI驱动的逻辑分析设定了新的行业标准。随着AI系统越来越多地跨行业进行关键任务的应用程序，例如Imandrax：Imandrax：神经偶然AI推理和自动逻辑验证的突破，首先出现在Unite.ai上。
LLM 很难回答这个非常基本的经济学问题：提示：“这在事实上准确吗？正相关的价格-数量对表明需求曲线发生了变化。” LLM 会说这可能是错误的，但总是不提供反例，甚至不提及反例可以作为这种答案的基础。OpenAI 的 o1 模型有时是个例外，它跌跌撞撞地意识到在通常的供需斜率假设下不存在反例。如果只给出一点使用逻辑的提示，OpenAI 的所有模型都会提供一个很好的答案。提示：“这在事实上准确吗？正相关的价格-数量对表明需求曲线发生了变化。[提示：考虑反证法]” Grok2 和 Deepseek 的答案并没有随着提示而改善。Grok2 对什么是反证法表现出很大的困惑。 Deepseek 是最糟糕
我把经济学当作一种业余爱好。我的兴趣在于后凯恩斯主义、（旧）制度主义和相关范式。在我看来，这些是理解实际现有经济的方法。然而，这个博客的重点主要是批判新古典主义和主流经济学。我一直在交替发表数字反例和较少的数学帖子。无论如何，我一直在记录主流经济学中错误的证明。我的主要灵感来自剑桥意大利经济学家皮耶罗·斯拉法。总的来说，这个博客是抽象的，我想我避免评论当今的实际政治。我也开始为自己的用途发布食谱。当我只是按照烹饪书中的食谱做的时候，我只会发布一个提醒，说我喜欢这个食谱。评论政策：我对执行任何评论政策都很宽松。我希望那些以匿名身份（即没有登录）发帖的人至少用假名签名。这将使对话更容易进行。
只需一个反例即可推翻数学定理。金融领域也是如此。这使得反例对投资者特别有用。在之前的帖子中，我讨论了比特币作为有效市场假说观点的可能反例，即市场价格始终反映基本估值。我的论点是，比特币本质上没有基本价值，但交易价格却高达每枚 20,000 美元。对于股票投资者来说，一个更直接的例子是加拿大大麻公司 Tilray 的近期行为。问题不在于 Tilray 没有基本价值——它显然有。问题是市场似乎无法决定基本价值是什么，甚至无法分分秒秒地确定。为了说明这一点，图表 1 绘制了 2018 年 9 月 19 日交易期间 Tilray 的逐分钟价格（以东部时间计算）。9 月 18 日的收盘价作为第一个观察值
