Ask HN: I think I improved an Erdős problem how can I verify it?
2 comments
For feedback, you could try asking here: https://www.erdosproblems.com/961
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?
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?
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.