This is definitely a good idea, I wish we had the same in France. This is too bad that they plan to raise the price, it's going to limit the impact of the measure.

Finally a path forward for logic programming? An opportunity to evolve beyond Prolog and its variants? Good food for thought.

Of course I recommend reading the actual research paper. This article is a good summary of the consequences though. LLMs definitely can't be trusted with formal reasoning including basic maths. This is a flaw in the way they are built, the bath forward is likely merging symbolic and sub-symbolic approaches.