Donate AI inference to advance open mathematical problems. - View it on GitHub