RecodeX 重构消息，研究人员利用大型语言模型驱动定理证明，推进SeL4微内核的工业级验证。
研究人员利用大型语言模型驱动定理证明，推进SeL4微内核的工业级验证。...
原始信息来源arxiv.orgarxiv.org
查看原文 ↗更多快讯
查看全部 →原创报道
芝诺机器人完成数亿元种子轮：3B参数Zeno-1能否在服务业半结构化场景率先跑通具身智能商业化？
RecodeX 重构消息，芝诺机器人完成数亿元种子轮：3B参数Zeno-1能否在服务业半结构化场景率先跑通具身智能商业化？
科技
ASI任命前Zillow产品负责人Matt Gilliland为首席产品官
RecodeX 重构消息，广告专业协会（ASI）9月18日宣布，Matt Gilliland已于9月14日加入公司，出任首席产品官。ASI总部位于宾夕法尼亚州特雷沃斯，自称是面向277亿美元促销产品行业的领先技术提供商。
科技
欧盟公布儿童法案提案：13岁以下禁用社媒，15岁方可独立开号
RecodeX 重构消息，欧盟委员会9月17日正式公布《欧盟儿童法案》提案文本，拟重新规定未成年人使用社交媒体的年龄限制：13岁以下禁止使用，年满15岁才能独立开设账号。该提案在年龄核验与责任落地方面仍面临多重挑战。
加密货币
ETH短时突破2600美元，24小时涨幅5.11%
RecodeX 重构消息，9月19日，ETH短时突破2600美元，现报2596.1美元，24小时涨幅达5.11%。
加密货币
Lummis称参议院民主党阻挠加密市场结构法案
RecodeX 重构消息，美国参议员辛西娅·卢米斯表示，参议院民主党人应对加密市场结构法案受阻负责。她称，民主党人阻止了该法案，尽管法案本会保留美国证券交易委员会（SEC）打击欺诈和市场操纵的权限。卢米斯指出，该法案旨在为加密市场建立新的监管框架，同时允许SEC保留现有保护投资者、打击不公平交易行为的权力。此番表态是在…
宏观
福布斯发布美国400富豪榜 逾半数富豪集中居住在五个州
RecodeX 重构消息，福布斯公布年度美国400富豪榜，评选出全美最富有的400人。榜单显示，其中超过一半的富豪集中居住在美国的五个州。