Erdos730.erdos_730

[giscus[bot]]

Erdos730.erdos_730

Discussion page for https://google-deepmind.github.io/formal-conjectures/theorem/?name=Erdos730.erdos_730.
The emoji reactions on this post carry special meaning:

• 👍: I believe the corresponding conjecture is True
• 👎: I believe the corresponding conjecture is False
• ❤️: I like the conjecture

[mo271]

Seems like a solution has been proposed at https://www.erdosproblems.com/forum/thread/730, so we might need to update this soon.

Perhaps the solution can be formalised...