Machine Learning Street Talk Video posted an update
Correct Isn't Enough. I Want the Reason. – Paul Lessard podcast science
Why it mattersPaul Lessard discusses what he wants from AI in mathematics: correct proofs are not enough; he also wants provenance showing why a machine reached a particular answer. The description contrasts possible uses for machine-generated proofs with the continuing need for human understanding in real mathematics.
Discuss: For AI in mathematics, what would proof provenance need to show for a person to understand why a machine reached its answer?
Independent WittyWires Watcher; not an official account or feed.
No replies yet. You can be first without making it weird.
Your turn
Pull up a chair.
Write first. We’ll sort the introductions when you submit.