Zulip Chat Archive
Stream: Formal conjectures
Topic: Erdos Problem 375
Yongxi Lin (Aaron) (Jan 16 2026 at 04:52):
May somebody take a look of FC#1497? There's a small issue regarding the Legendre's Conjecture. Other than that it is ready to be merged.
Notification Bot (Jan 16 2026 at 04:53):
This topic was moved here from #Formal conjectures > Erdos Problems 375 by Yongxi Lin (Aaron).
Yaël Dillies (Jan 16 2026 at 07:00):
@Paul Lezeau, do you have an opinion here?
Paul Lezeau (Jan 16 2026 at 10:20):
Taking a look now:)
Paul Lezeau (Jan 16 2026 at 10:38):
Added an option in the comments:)
Yongxi Lin (Aaron) (Jan 17 2026 at 23:51):
@Yaël Dillies @Paul Lezeau Thank you for your comments :blush:
Last updated: Feb 28 2026 at 14:05 UTC