Harmonic adds live progress updates and steering features to its Aristotle AI theorem prover via the web interface, allowing users to monitor and redirect ongoing proof activity in real time

ICYMI: A few quality of life improvements landed in Aristotle Web to make it much more interactive and responsive:

▪ Live Updates. Aristotle can now share updates while it's in the middle of a run, so that you always know what it's doing and whether it's on track.

▪ Steering. You can message Aristotle while it's working if you want to redirect it, or if you just want to let it know it's doing a great job.

Keep the feedback coming; we'll continue cooking ...