AI systems, e.g., ChatGPT-based, could verify the reasoning and argumentation in (mathematical) documents. Users would be able to verify their own reasoning and one another's reasoning in documents with the help of AI systems.
For mathematical reasoning, the verification of reasoning for users could utilize mathematical knowledge search and retrieval components.
For non-mathematical reasoning, during document authoring, perhaps mixed-initiative multimodal dialogue systems could communicate visually by underlining or otherwise highlighting content which could be discussed with AI systems. These discussions between humans and AI systems could result in producing structured margin notes or endnotes in documents.
AI systems, e.g., ChatGPT-based, could verify the reasoning and argumentation in (mathematical) documents. Users would be able to verify their own reasoning and one another's reasoning in documents with the help of AI systems.
For mathematical reasoning, the verification of reasoning for users could utilize mathematical knowledge search and retrieval components.
For non-mathematical reasoning, during document authoring, perhaps mixed-initiative multimodal dialogue systems could communicate visually by underlining or otherwise highlighting content which could be discussed with AI systems. These discussions between humans and AI systems could result in producing structured margin notes or endnotes in documents.