Ask HN: Is Web 3.0 close to be solved by LLMs (+ logic frameworks)? | Heykuki News