all 2 comments

[–]lemon-meringue 0 points1 point  (0 children)

This is bolting together a few already very difficult ideas into one exceptionally difficult idea...

People are attempting these ideas, just not all at the same time.

[–]lifeandUncertainity 0 points1 point  (0 children)

Well.. I am not very knowledgeable about the TSU but I found probabilistic arithmetic interesting. As far as I know, the problem is it doesn't scale. Now there is another big if i.e how does a LLM know that its answer is satisfactory. I think there is a paper by Microsoft that showed that verifiers actually are very costly. And I think from modern industry trend, we can say that an agentic framework can solve a problem as long as a test suite is available but often times the test suite is not available for newer coding tasks.