Founder CEO of PingYou

Joined December 2014
161 Photos and videos
But hear me out what if we apply multiple hypothesis correction across all Erdos problems
1
3
869
Y'all welcome
1
6
720
All I see when someone neglects punctuation in an email is bad attention to detail and inability to orchestrate 8 agents.
1
1,963
My first tattoo is coming soon
3
3
1,993
1
1
1,848
What's the hardest query you've asked an LLM this year?
5
3
2,087
This is more "extended" than I'd intended.
6
2,361
Budden's identity
6
5
3,576
Next time, in "Godel in fewer than 10 words"
1
2,258
The PingYou Team has attempted to solve all 10 of the FirstProof problems using our prototype orchestration system, together with off-the-shelf foundation models. Our attempts can be found here: go.pingyou.com/vbhWRQ4XqGJ3 We deeply appreciate the creators of firstproof.org for their hard work bringing the AI and Math research communities together, and look forward to all the discussions re: solutions and next steps for improvement in the coming weeks. #1stproof
3
12
7,059
This "First Proof" thing looks fun
3
4,818
TIL there are Claude Code env variables
1
5
4,226
But where's the Lean proof?
6
3,999
This is going to keep me awake for many nights this year
Ever wonder how Mass IS Energy? Check out this visual of a light wave forming into a toroid (smoke ring) creating an electron.
6
1
19
6,561
PSA if anyone wants their tweet visibility boosted by The Algorithm (grokipedia.com/marketing)

Try Grokipedia.com. Post links on your social media and websites.
1
3,229
Another night of Mathlib fun
1
6
3,065
There are more ways to shuffle a deck of cards than there are atoms on earth
1
2
2,656
If you don't believe it's just phi all the way to the bottom, calculate the ratio of those vinculum widths for me. I'll wait.
4
3
3,349
"but infinitely many nested fractions don't equal phi" Sure. Now find me one with a smaller MDL than unary-1 and successor-plus. Kekekek.
2,882
Chemistry is the Kolmogorov-optimal description of self-consistent particle arrangements under physical dynamics. Molecular bonds are local information storage.
2
3
3,310
Wait wait but get this Number of 4-mers per histone octomer per strand (e pi phi)^2
1
2
2,471
(Before someone tells me I'm not a molecular biochemist either ACTUALLY histone epigenetics was the literal topic of my Ph.D)
1
2,125