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 粉丝

125.2K 粉丝

狗D和小桃（主页完整）

52.1K 粉丝

45.6K 粉丝

23.7K 粉丝

8.5K 粉丝

26.3M 粉丝

一劍浣春秋

0 粉丝

172.6K 粉丝

Hello! Project Link

15.5K 粉丝

1.2M 粉丝

0 粉丝

🍑桃子水水

128.6K 粉丝

redaiyu17333（主页完整)

48.7K 粉丝

オリコンニュース

1.9M 粉丝