[logicprog]

This doesn't seem like a PR piece to me?

https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cyc...

[nurettin]

No that's new. This was the previous "accelerating science" piece.

https://openai.com/index/accelerating-science-gpt-5/?hl=en-G...