Peter Gostev(@petergostev):GPT-5.6-Sol-Ultra is so good at maths that it created Minecraft clone in Lean (yes that Lean)

登録して招待リンクを共有すると、動画再生報酬と紹介報酬を獲得できます。

今すぐ登録

Peter Gostev

@petergostev

London 🇬🇧 AI Capability @arena

参加 June 2025

1K フォロー中 23.9K ファン

Peter Gostev@petergostev

2026.07.12 16:24

GPT-5.6-Sol-Ultra is so good at maths that it created Minecraft clone in Lean (yes that Lean)

0

0

31

466

21

コミュニティへ転送

人気のあるユーザー

4.1M ファン

オリコンニュース

1.9M ファン

26.3M ファン

16.5M ファン

一劍浣春秋

230.5K ファン

Hello! Project Link

15.5K ファン

ATEEZ(에이티즈)

4.8M ファン

BTS JAPAN OFFICIAL

@BTS_jp_official

13.7M ファン

@BOYNEXTDOOR_KOZ

870.1K ファン

@YGBABYMONSTER_

956K ファン

45.3M ファン

99.4K ファン

20.3M ファン

13.6M ファン

BLACKPINKOFFICIAL

11.6M ファン