Remix.run Logo
derrida 15 hours 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.

AnonymousPlanet 12 hours ago | parent | next [-]

There'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.

kqr 7 hours ago | parent | next [-]

Agreed, 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.

12 hours ago | parent | prev | next [-]
[deleted]
andai 8 hours ago | parent | prev [-]

Fully automated toaster-fucker generator!

https://news.ycombinator.com/item?id=25667362

walthamstow 8 minutes ago | parent [-]

Man, I think about that comment all the time, like at least weekly since it was posted. I can't be the only one.

andoando 14 hours ago | parent | prev [-]

This 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?

int_19h 7 hours ago | parent | next [-]

You definitely won't get that out of a 4B model tho.

12 hours ago | parent | prev | next [-]
[deleted]
raddan 14 hours ago | parent | prev [-]

Brilliant. I love this idea!