Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.





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?

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

Brilliant. I love this idea!

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.


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.

Fully automated toaster-fucker generator!

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


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

I think we have to add that one to 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.)




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: