Hacker News Reader

I don't really see much value in debating the procedural aspects (Nature review process etc). I see a lot of value discussing the research and its content. We think the results shown in the paper are significant and of some importance, and so do others who reviewed our work. This is where I think the focus should be.

Please read our paper and not only the blogs criticizing it:) There is a link to access it here: https://rdcu.be/ceH4i

View on HN

Then don't take offense by the discussion here, because it's mostly on some "meta" aspects of science communication, and you are probably not responsible for any of the aspects that have been critizised.

Regarding the research itself, I am not an expert, but I am curious to learn how this line of research (automated conjecture generation) intersects with proof automation/proof assistants, and in particular with the work that the Lean community is doing (creating an "executable" collection of mathematical knowledge). Perhaps there are some works you can point to.

Reply on news.ycombinator.com