Viewing profile — woopsn

A proof may be impossible to fully grok, since about Leibniz - but problems will be solved now without even understanding the problem statement.

I don't disagree yet it's also clear "hard science fiction" is meaningless if it's just, the people in this universe wear clothing, make campfires etc.

I have great respect for her but this isn't the only essay she's jarringly defensive (imo) in response to a critic. Ok sure, a sock is "technology"...

CoT evidently helps but a bias towards both correctness and innovation has to come from somewhere. The article implies OpenAI's proofs may be supported by Lean but regardless, who …

Hey cool project! I built a solar system visualizer some years ago but just using the ephemerides data, no physics. This is ambitious. Noting your age I would say, invest some time…

A key thing about the undecidability problem wrt physics is preparation of the initial state. In math and computer science it is relatively straightforward to prepare such problems…

The infinite lattice doesn't represent a "real" physical processes, it's just mathematical technique for closing a (fundamentally) quantized combinatorial sum over millions of inte…

I hate ads but they're intrinsic to media culture, fact you need 10 minutes of video media to wake up, go to the bathroom, at work, to decide dinner with your spouse, and then imme…

Interesting quotes from the discovery emails. - https://www.lesswrong.com/posts/5jjk4CDnj9tA7ugxr/openai-ema... "At some point we’d get someone to run the team, but he/she probably…

It's a kind of superposition representation a la Kolmogorov-Arnold, a learnable functional basis for elementary functions g(x,y)=f(x) - f^{-1}(y) in this sense with f=exp.