AI systems, e.g., ChatGPT-based, could recommend next steps of (mathematical) reasoning for users and could suggest revisions to previous document structure and content as users' intents became clearer from combinations of unfolding document content and dialogues.
AI systems, e.g., ChatGPT-based, could recommend next steps of (mathematical) reasoning for users and could suggest revisions to previous document structure and content as users' intents became clearer from combinations of unfolding document content and dialogues.