Founder + CEO of PingYou. Former Director + Head of DL Engineering at Google DeepMind; MIT Theory of Computation; Harvard. Still not a mathematician.

Joined December 2014
PS: PingYou is hiring [email protected]
1
1
10
2,276
Okay but hear me out
1
1
356
I fixed Claude's attempt with the same prompt
1
174
Better luck next time bros those shell companies have strong false address game
63
... Sorry that was kinda mean
9
4
3
111
19,331
Some more fun 3D packing records from the 2000+ we submitted today
6
2
1
57
3,329
Okay pretty chuffed with this record
3
191
22,279
Busy week! PingYou also has validated records for self-packing of each platonic solid
1
5
1
53
2,527
@AlejandroZarUrd I'm conscious I've just spammed your agents with 1500+ candidates to verify. Shoot me a message if you need PY to sponsor your token bill today 😅
1
248
PingYou has has 68 square packing records confirmed, including 3 against our own constructions
1
6
483
Here's a serious question. Has anyone proven that "2 cubes" is the worst optimal packing of a 3D polygon into itself? Because I strongly suspect it might be
6
27
7,179
Man pairs of tetrahedra are brutal. Worst case best packings for platonic (left) and archimedean (right) solids
2
842
NO! 2 icosahedra in a tetrahedron yields ~24.95% bound Wtf is going on here (loosening the criteria to "N M-gons in a P-gon")
1
9
963
Rookie numbers. Two tetrahedra in a dodecahedron. 15.5% bound
2
5
913
"Budden's packing conjecture"
1
2
1,023
(convex polyhedra only)
1
948
Sure squares are cool and all but y'all tried 15 octahedra?
4
17
828
And to wrap up with the one that earnestly pisses me off for its sheer lack of respect for aesthetics... 9 truncated icosahedra
1
3
116
(all sota obvs)
105