Well let’s see it man.

Show Post

Stereographic Rubik’s

Show Post

Sorry to hear that Jeffrey Goldstone has died. He was a giant of quantum field theory- pioneering our modern understanding of symmetry breaking- and later did great things in quantum information. I knew him at MIT as a gruff but friendly wise man. physics.mit.edu/news/jeffrey...

Show Post

Can you (or your agents) improve the super-quadratic separation between block sensitivity and sensitivity from the current bound of 2.05? The optimal exponent is between 2 and 4. My guess is 2.5 is achievable. Submit your lean-verified solutions here: prove2.me/campaigns/bl...

Show Post

Finally, a good use case for an LLM: sort brute force search phrases by likelihood, in order to finally lay to rest one stupid conspiracy theory. I think @filippo had something on this? https://www.anthropic.com/research/ecdsa-curve-origins

Show Post