4 ms·
I wonder if you could query some of the ideas of Frege, Peano, Russell and see if it could through questioning get to some of the ideas of Goedel, Church and Tu
by derrida 10mo ago
I wonder if you could query some of the ideas of Frege, Peano, Russell and see if it could through questioning get to some of the ideas of Goedel, Church and Turing - and get it to "vibe code" or more like "vibe math" some program in lambda calculus or something.
Playing with the science and technical ideas of the time would be amazing, like where you know some later physicist found some exception to a theory or something, and questioning the models assumptions - seeing how a model of that time may defend itself, etc.
- andoando 10mo agoThis is my curiosity too. Would be a great test of how intelligent LLM's actually are. Can they follow a completely logical train of thought inventing something totally outside their learned scope?
- AnonymousPlanet 10mo agoThere's an entire subreddit called LLMPhysics dedicated to "vibe physics". It's full of people thinking they are close to the next breakthrough encouraged by sycophantic LLMs while trying to prove various crackpot theories. I'd be careful venturing out into unknown territory together with an LLM. You can easily lure yourself into convincing nonsense with no one to pull you out.
- deleted 10mo ago[deleted]
- andai 10mo agoFully automated toaster-fucker generator! https://news.ycombinator.com/item?id=25667362 https://news.ycombinator.com/item?id=25667362
- walthamstow 10mo agoMan, I think about that comment all the time, like at least weekly since it was posted. I can't be the only one.
- dang 10mo agoI think we have to add that one to https://news.ycombinator.com/highlights https://news.ycombinator.com/highlights! (I mention this so more people can know the list exists, and hopefully email us more nominations when they see an unusually good and interesting comment.)
- kqr 10mo agoAgreed, which is why what GP suggests is much more sensible: it's venturing into known territory, except only one party of the conversation knows it, and the other literally cannot know it. It would be a fantastic way to earn fast intuition for what LLMs are capable of and not.