Can lean generates a book?

Stream: new members

[chenjulang]

Is it possible to just provide a set of "abstract reasoning structures", input a set of axioms, and then let the computer automatically generate a mathematics book?

[chenjulang]

If a small "abstract reasoning architecture" does exist, then it may be just a matter of time before the architecture continues to expand, right? Knowledge is not important anymore

[chenjulang]

How to come up with an "abstract reasoning architecture" is a concrete process, and such a concrete process can actually be abstracted too ...

[chenjulang]

Are humans good at this, or AI?