← Feed

Posts

• Post #1765429

  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!

• Post #1441657

  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