一级视角下的三个赛道:BTC、Solana、Restaking
2024年6月24日 - 腾讯网
Arch-相较于各类「审美疲劳」BTCEVML2/侧链,Arch通过一个索引器+带去中心化Prover的ZKVM,把可编程性带入了BTC,类似一个1.5层-交易通过L1来触发,在Arch的ZKVM里执行各种资产转换的逻辑,最终生成ZK证明并把结果广播回BTC主网给我的感觉和RGB++有些异曲同工之妙,都...
详情
微软AI也要参加国际奥数竞赛,小目标:数学金牌
2020年10月4日 - 澎湃新闻
目前,Lean4还没有彻底做好准备,作者LeonardodeMoura表示,如果让它参加今年的IMO,“可能只能得0分”。因为,Lean目前甚至无法理解某些数学问题需要涉及哪些概念,而这些概念本身又是“什么意思”。证明的“第一步”,就难住了算法对于不少人来说,数学十分抽象、难以学好。事实上,AI和你的感觉一样。一般的...
详情