RecodeX 重构消息，Lingua Universale项目利用Lean 4证明和会话类型为AI代理提供形式化验证框架，已在GitHub开源。
Lingua Universale项目利用Lean 4证明和会话类型为AI代理提...
原始信息来源github.comgithub.com
查看原文 ↗更多快讯
查看全部 →融资
41岁胡又文辞任后转任财富子公司副总裁
RecodeX 重构消息，41岁的胡又文在辞去原职务后，已转任财富子公司副总裁。胡又文此前曾获评白金分析师。
股市
SLM学生贷款公司贷款规模持续扩大且股息覆盖稳健
RecodeX 重构消息，美国学生贷款机构SLM的贷款组合规模继续增长，同时公司对股息的覆盖能力保持良好。该信息显示其贷款业务扩张与股东回报能力同步维持。
科技
东风风行星海V6搭载华为乾崑智驾，售价下探至十万元以内
RecodeX 重构消息，东风风行星海V6将搭载华为乾崑智驾系统，售价控制在十万元以内，成为又一款将高阶智能驾驶下探至主流价格区间的车型。
地缘局势
伊朗消息人士称美方已准备谈判并达成协议
RecodeX 重构消息，当地时间19日，一名不愿透露姓名的伊朗高级别消息人士称，卡塔尔和巴基斯坦作为调解方已告知伊朗，美国已准备好进行谈判并达成协议，且在推进这一进程方面态度认真。 该消息人士表示，只要美国重返伊斯兰堡谅解备忘录并履行其中条款，伊朗也准备在数日内恢复执行该备忘录，但伊朗要求获得切实且可信的保证，确保其…
地缘局势
新加坡义顺16岁少年骑车撞死74岁老人被捕
RecodeX 重构消息，新加坡义顺发生一起致命交通事故，一名16岁少年骑自行车与一名74岁男子相撞，该男子事后身亡。警方已逮捕这名少年，目前调查仍在进行中。
宏观
诺奖经济学家支持加州亿万富翁税公投提案
RecodeX 重构消息，一批进步派诺贝尔经济学奖得主公开支持加州一项针对亿万富翁的税收提案。该提案将交由11月公投表决，支持者称其可“开始遏制超级富豪的权力”。目前加州围绕该提案的争论正在升温。