RecodeX 重构消息，&Truth 完成7000万美元种子轮：AI生成代码时代，形式化证明能否成为软件信任的新底座？
&Truth 完成7000万美元种子轮：AI生成代码时代，形式化证明能否成为软件信任的新底座？
AI 辅助判断中性仅供信息参考，不构成投资建议
原始信息来源RecodeX原创报道recodex.ai
查看原文 ↗更多快讯
查看全部 →加密货币
THORChain披露金库短缺10枚ETH的退款错误，10条网络仍暂停兑换
RecodeX 重构消息，THORChain就一起退款错误作出说明：该错误导致一个金库出现10枚以太坊（ETH）的缺口，发送方已将短缺部分退回。截至周一，10条网络的兑换服务仍处于暂停状态，官方未公布重启时间。
人工智能
Meta个人AI代理Muse原型1至2周成型，发布前打磨可靠性达7个月
RecodeX 重构消息，Meta首席AI官亚历山大·王在10月11日公开的采访中透露，公司个人AI代理Muse的原型仅用1至2周便制作完成，但距离正式发布又花了7个月时间打磨可靠性。他表示，原型“有时令人惊艳，但大多数时候无法正常工作、不断出故障”，仅在演示中成功一两次不足以成为可交付用户的产品。 亚历山大·王与纳特…
股市
AI应用逆市走强，腾讯美团阿里集体上涨，港股互联网ETF标的指数涨超1%
RecodeX 重构消息，港股互联网板块盘中逆市走强，腾讯、美团、阿里巴巴集体上涨，带动港股互联网ETF华宝（513770）所跟踪的标的指数涨幅超过1%。市场将本轮上涨归因于AI应用方向的资金关注度提升。
股市
东山精密截至10月末累计回购25.52万股A股
RecodeX 重构消息，东山精密披露股份回购进展，截至10月末，公司已累计回购A股股份25.52万股。
股市
香港中旅拟4股换1股拆分中旅港澳独立上市
RecodeX 重构消息，香港中旅宣布拆分旗下中旅港澳业务独立上市，方案为每4股换1股，且不发行新股。公司披露的报告期内利润承压。此次分拆不涉及新股发行，股东将按换股比例获得新上市主体股份。
人工智能
国家发改委：健全“人工智能+”政策体系，细化重点行业实施方案
RecodeX 重构消息，国家发展改革委创新和高技术发展司副司长王若蒙表示，“十五五”时期，我国将继续发挥产业体系完备、应用场景丰富、工程化能力强等优势，注重以落地应用牵引技术创新，点、线、面协同发力，深化拓展“人工智能+”行动。他表示，将健全“人工智能+”政策体系，细化落实重点行业实施方案。