The thing is we tried that for decades, using more formal logic to build reasoni... | Hacker News

Hacker News .hnnew | past | comments | ask | show | jobs | submit

grumbelbart2 18 days ago | parent | context | favorite | on: VibeThinker: 3B param model that beats Opus 4.5 on...

The thing is we tried that for decades, using more formal logic to build reasoning engines. And we never got it to be even a fraction as good and generic as learning-based LLMs are today.

mejutoco 18 days ago [–]

I dont think think my point is getting across. This is in the context of how much world knowledge a model needs to be trained on, not llm vs not llm.

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