Stephen Downes

What's important here is that negation is the linchpin of modern logic, and also something natural language AIs find difficult to master (as do many students, so I'm not surprised), and that's what this Wired article describes. The article also mentions Galactica, "trained on a large corpus comprising more than 360 millions in-context citations and over 50 millions of unique references normalized across a diverse set of sources. This enables Galactica to suggest citations" as well as (attempt to) summarize scientific concepts.