Dear Metamath Community, In the course of a conversation <https://groups.google.com/g/metamath/c/2SifTjIvYjI/m/PV_sfAPIBwAJ> with Mario and David, I came to understand that the community is quite supportive of automation efforts in Metamath and a concerted effort could be quite productive. With the OpenAI folks developing excellent tools for Metamath, this is possibly the best time to forge foundations for a general automation framework.
Thus, I am organizing a project to help develop better automation for Metamath. I hope several members of the community will be able to contribute to this project in one way or another. To kickstart the discussions, I will post a simple proposal in a couple of days. It will be similar in spirit to the Metmamath automation <https://github.com/Sophize/METAMATH_SERVER/blob/master/src/main/java/org/sophize/metamath/server/machines/NNSumMachine.java> I have developed for Sophize. In the meantime, please help us understand your interests, technical familiarity, and expectations by filling in the following simple survey: https://docs.google.com/forms/d/e/1FAIpQLSfTjuVg-kMj8N2YeWo6O4jOH17EytisLR_pXby6fl3oTxd81A/viewform?usp=sf_link -Abhishek -- 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/3cafc922-0eb4-4425-aeb5-654f6e81ca4bn%40googlegroups.com.
