Ask HN: I think I improved an Erdős problem how can I verify it?

Y	Hacker News new \| ask \| show \| jobs

4 points by donutthejedi 89 days ago

I’ve been working on an Erdős problem (Problem #961) and believe I’ve made a nontrivial improvement on the known result, specifically, I think I’ve reduced the bound from exponential to polynomial.

I’m relatively new to formal mathematics, so I’m unsure how to properly verify or validate my work.

What are the best steps to take in this situation?

* How can I check whether my result is already known? * Where can I get feedback? * At what point is something worth writing up formally or submitting?

Any guidance would be really helpful.

2 comments

davidschultz 89 days ago

For feedback, you could try asking here: https://www.erdosproblems.com/961

link

gus_massa 88 days ago

How much is you and how much AI?

Assuming you are using partially AI (that is quite good now):

* Do you understand what the AI wrote?

* Did you verify what the AI wrote?

link