Hi all, I'd really appreciate your feedback on The Math Genome Project.
Our goal is to provide the 1st marketplace and social platform for higher mathematics. Where anyone can make a living (or a serious side-hustle) doing proof curation, writing, and formalization projects in any of the leading languages like Metamath. A big motivation was empowering respective formal communities and create opportunities for paid formalization projects -- so people can spend more time doing what they love. The website is here: https://www.themathgenome.com/ Here is the LinkedIn post <https://www.linkedin.com/posts/johnmercer_mathematics-generativeai-activity-7084671465488281600-3rxe?utm_source=share&utm_medium=member_desktop> and our Twitter announcement <https://twitter.com/TheMathGenome/status/1678909712027320320> if you'd be so kind to re-post/tweet to help spread the word. Look forward to your feedback and feature requests in general (informal or formal side) and specific things we can do to help the Metamath community. Best, John -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/b2d15400-66d5-42a1-b33c-4b77ed0154e7n%40googlegroups.com.
