Conclusion

The Danger

• "We" know why generative AI cannot be trusted
• "They" might not
• Bad things can happen (as in politics, law, etc.)

The Opportunity

• Symbolic reasoning should be integrated in complex reasoning
• Symbolic reasoning can be used to verify subsymbolic reasoning
• Output in CNL is one possibility