We’re putting the final polish on a platform for posting and solving formal math challenges backed by real bounties. Please check back soon!