I don't pretend to understand most of this , however one of our senior mL researchers liked this post and Carnegie Mellon uni is involved so, could be something.
www.amazon.science
brainchip.com

Amazon Scholar solves century-old problem with automated reasoning
Solution method uses new infrastructure that reduces proof-checking overhead by more than 90%.

BrainChip Empowers Next Generation of Technology Innovators with Launch of the University AI Accelerator Program
Empower your tech innovation journey with BrainChip's University AI Accelerator Program. Unleash the future here!

Attachments
Last edited: