TwiScan
人気
コミュニティ
アカウントコレクション
ログイン
登録
English
日本語
한국의
简体中文
繁体中文
登録して招待リンクを共有すると、動画再生報酬と紹介報酬を獲得できます。
今すぐ登録
吴说区块链
@wublockchain12
吴说中文推特:接近真相,更可信赖 专业可信的行业新闻,优质深度内容推荐 吴说所有内容渠道、播客、APP 等: 联系我们 TG: colinwu1989
参加 August 2021
2
フォロー中
181.5K
ファン
吴说区块链
@wublockchain12
2026.07.21 16:05
吴说获悉,Vitalik Buterin 提议开发一种可编译至 Lean、HOL 等系统的高级语言,重点提升定义和定理的可读性,而非证明过程本身。其设想的应用场景是由 AI 生成大规模证明,再通过这种语言帮助读者更容易理解究竟证明了哪些精确定义和定理。
もっと見る
0
0
5
1
0
コミュニティへ転送
人気のあるユーザー
GIGA特撮ヒロイン【公式】
@giga_web
63K ファン
オリコンニュース
@oricon
1.9M ファン
New York Post
@nypost
4.2M ファン
TVer新着
@TVer_info
100.9K ファン
ツイッター速報〜BreakingNews
@tweetsoku1
256.8K ファン
Reuters
@Reuters
26.4M ファン
First Squawk
@FirstSquawk
569.2K ファン
Bloomberg
@business
10.5M ファン
吴说区块链
@wublockchain12
181.5K ファン
ファミ通.com
@famitsu
1.4M ファン
billboard
@billboard
16.8M ファン
モデルプレス
@modelpress
2.1M ファン
PR TIMESテクノロジー
@PRTIMES_TECH
28.2K ファン
一劍浣春秋
@chee828
231.9K ファン
MANTANWEB/毎日キレイ
@mantanweb
68.9K ファン