Ramanujan Machine

Stream: general

[Daniel Selsam]

FYI recent work from Technion using computers to mine conjectures about fundamental constants: http://www.ramanujanmachine.com/

[Johan Commelin]

I think this is an interesting thing. But note that the authors put some bad blood in the mathematical community by completely overhyping their results.

[Johan Commelin]

See for example https://www.galoisrepresentations.com/2019/07/17/the-ramanujan-machine-is-an-intellectual-fraud/ by a respected mathematician

[Daniel Selsam]

@Johan Commelin I had no idea, I just stumbled on the arXiv paper randomly.

[Johan Commelin]

Yes, I understand.

[Johan Commelin]

I think it's a sad thing that such projects and up having a negative impact on how the mathematical community views efforts on using AI to assist research. I understand that it's cool to have a publication in Nature. But overhyping is not the solution.