TON 网络扩展项目 TAC 完成 650 万美元种子轮融资，Hack VC 和 Symbolic Capital 领投，Primitive、Paper Ventures、Karatage、Animoca Ventures、Spartan ...

TON 网络扩展项目 TAC 完成 650 万美元种子轮融资，Hack VC 和 Symbolic Capital 领投。 TAC 为用户提供基于 Solidity 的应用程序的无缝访问。TAC 的测试网阶段预计将于本周启动，主网发布计划于 2025 年第一季度。（The Block） ...

最近，苹果公司的研究人员对大语言模型（LLM）的数学推理能力进行了深入研究，推出了一项名为 GSM-Symbolic 的新基准测试。 这个新基准测试是在 GSM8K 的基础上发展的，后者主要用于评估基础数学能力。虽然许多 LLM 在 GSM8K 上的表现有所提升，但科学界对这些 ...

例如，OpenAI发布的GSM8K数据集用于评估模型的数学推理能力，其准确率在不同模型之间存在显著差异。而Farajtabar的研究则引入了新的工具——GSM-Symbolic，以评估LLM的极限推理能力。这一工具通过创建符号模板，生成大量符号实例，实验结果出人意料，表明当前LLM ...