Zulip Chat Archive

Stream: Formal conjectures

Topic: Zhi-Wei Sun collection


Ralf Stephan (Jan 04 2026 at 15:35):

Another collection to include: http://maths.nju.edu.cn/~zwsun/ With prizes!

Yaël Dillies (Jan 04 2026 at 15:42):

We were talking about it internally, but haven't yet come to a conclusion

Ralf Stephan (Jan 04 2026 at 15:44):

A lot of them are in the OEIS, so they will come from there, anyway. Otherwise, restrict to the ones with prize?

Moritz Firsching (Jan 05 2026 at 11:59):

I think we can include those either in the OEIS dir, or some of them are also published in paper, and they could on in the Paper or Arxiv directory

Moritz Firsching (Jan 05 2026 at 12:00):

The OEIS has hundreds of their conjectures, of varying quality

Ralf Stephan (Jan 05 2026 at 12:03):

I find the OEIS has more papers/books on a specific conjecture than just the one. So I think using the OEIS page as entry point is better.


Last updated: Feb 28 2026 at 14:05 UTC