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
커뮤니티로 전달