RecodeX 重构消息，一批初创公司正押注人工智能，让形式化软件验证这一依赖数学证明、过程繁琐的流程变得可行且必要。其中新公司&Truth正式亮相，并已完成7000万美元种子轮融资，加入这一赛道的竞争。
&Truth以7000万美元种子轮入场，用AI推动形式化软件验证落地
AI 辅助判断积极AI 看多仅供信息参考，不构成投资建议
原始信息来源Upstractupstract.com
查看原文 ↗更多快讯
查看全部 →加密货币
Spark三季度贷款份额升至13.2% 净收入环比降30%
RecodeX 重构消息，据Blockworks发布的Spark三季度代币持有者报告，截至三季度末，Spark在Aave、Morpho、Fluid和Spark四个借贷平台的未偿还贷款中占比13.2%，高于二季度末的10.4%，连续两个季度上升，一季度末为4.3%。该占比的分母仅为这四个平台的未偿还贷款合计，不代表Spa…
股市
Freedom Capital将微软目标价上调至625美元
RecodeX 重构消息，Freedom Capital在微软发布业绩后将微软股票目标价从500美元上调至625美元。周五盘前交易中，微软股价小幅下跌。
科技
Luminar照片编辑器大版本更新引入AI功能，强调以人为本
RecodeX 重构消息，照片编辑软件Luminar发布大版本更新，加入多项AI驱动的编辑功能。开发方表示，新功能的设计理念是“把人的才华放在首位”，让AI辅助而非取代用户的创作判断。此次更新围绕AI能力展开，具体功能细节与上线时间尚未在原文中展开。
Memecoin
$SAFU 1h -55.7%，市值缩至 87 万美元
RecodeX 重构消息，BSC 链 Flap.sh 代币 「SAFU Fund」（$SAFU） 1 小时下跌 56%，市值由约 196 万美元 缩至约 87 万美元；24h 成交约 348 万美元，流动性约 17.1 万美元，1h -55.7%、4h +1767.3%、24h +1767.3%，含买 3%/卖 3%…
加密货币
Palantir币安永续合约24小时跌2.6%至193.82USDT
RecodeX 重构消息，币安PLTRUSDT永续合约最新成交价193.82USDT，24小时跌幅2.6%，合约价格已跌破20日均线。该合约24小时成交额约3260万美元，未平仓合约规模约890万美元。上述数据仅反映币安衍生品合约的交易情况，不代表Palantir普通股的成交额或持股规模。
地缘局势
韩国男子因炒股巨亏持刀刺死一名日籍女子
RecodeX 重构消息，韩国发生一起因股票投资亏损引发的凶杀案。一名韩国男子因炒股遭受巨额亏损，持刀刺死一名日本籍女子。案件具体时间、地点及嫌疑人作案动机等细节尚待进一步核实。