Hacker News Reader

Somebody needs to figure out how to merge language models with theorem proving. In fact, that might be the first step to AGI.

That’s the topic of my thesis ! Here’s some work by open ai doing exactly that ! :) https://arxiv.org/abs/2202.01344