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,220
Okay but hear me out
1
1
296
I fixed Claude's attempt with the same prompt
1
134
Better luck next time bros those shell companies have strong false address game
62
... Sorry that was kinda mean
9
4
3
111
19,209
Some more fun 3D packing records from the 2000+ we submitted today
6
2
1
57
3,288
Okay pretty chuffed with this record
3
192
22,257
Busy week! PingYou also has validated records for self-packing of each platonic solid
1
5
1
53
2,506
@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
234
PingYou has has 68 square packing records confirmed, including 3 against our own constructions
1
6
465
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,160
Man pairs of tetrahedra are brutal. Worst case best packings for platonic (left) and archimedean (right) solids
2
841
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
961
Rookie numbers. Two tetrahedra in a dodecahedron. 15.5% bound
2
5
912
"Budden's packing conjecture"
1
2
1,021
(convex polyhedra only)
1
946
Sure squares are cool and all but y'all tried 15 octahedra?
4
18
818
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