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

26.3M 粉絲

一劍浣春秋

230.6K 粉絲

オリコンニュース

1.9M 粉絲

Hello! Project Link

15.5K 粉絲

16.5M 粉絲

彭博商業周刊 / 中文版

41.5K 粉絲

20.3M 粉絲

13.6M 粉絲

@YGBABYMONSTER_

956K 粉絲

213.5K 粉絲

6.5M 粉絲

556.3K 粉絲

16.1M 粉絲

58.6M 粉絲