TwiScan 人気 コミュニティ アカウントコレクション
ログイン 登録

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

今すぐ登録
Square Packing Fan
@ManassehA06
math @yale
参加 March 2022
30 フォロー中    369 ファン
Square Packing Fan@ManassehA06
2026.10.06 16:29
The optimality of the packing for 11 squares has been formalized in lean thanks to Astra and Claude! Huge thanks to @ojoshe, @kleddamag, @wand_125, @guzhou0806, and @ctjlewis for aiding in the process. Image credit: 1/n
もっと見る
0
117
6.7K
434
コミュニティへ転送