Moritz Firsching

https://mathoverflow.net/questions/486451/reference-request-right-local-semirings/508783#508783

I'm quite happy how this worked:

(1) Junyan Xu comes up with a question
(2) formalises it and puts it into https://github.com/google-deepmind/formal-conjectures
(3) it gets solved!

This is working as intended...

When you have a mathematical question you are interested in, and it is not too hard to formalise, consider adding it to Formal Conejctures!

We hit 1000 `research open` problems, i.e. open conjecture today on Formal Conjectures. And also the big round number milestone 1024 (https://xkcd.com/1000/)

https://google-deepmind.github.io/formal-conjectures/

Many thanks to all the contributors!
https://github.com/google-deepmind/formal-conjectures/graphs/contributors