The Metamath website seems to have regenerated correctly at: http://us2.metamath.org
In particular, the most recent set.mm work is shown here: http://us2.metamath.org/mpeuni/mmrecent.html ... where the most recent addition is dated 15-Jan-2022, tgoldbachgtALTV - Variant of Thierry Arnoux's tgoldbachgt 30715 using the symbols Odd and GoldbachOdd: The ternary Goldbach conjecture is valid for large odd numbers (i.e. for all odd numbers greater than a fixed 𝑚). This is proven by Helfgott (see section 7.4 in [Helfgott] p. 70) for 𝑚 = 10^27. (Contributed by AV, 2-Aug-2020.) (Revised by AV, 15-Jan-2022.) Please let me know of any serious problems with the us2 site. If I don't hear soon, I'll copy that revision from us2.metamath.org to us.metamath.org, probably tonight. I have to work out the commands to do that, but Norm's hints will give me a hand. --- David A. Wheeler -- 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/09322FC6-975C-4204-807D-8CDE253FF8AD%40dwheeler.com.
