Zulip Chat Archive

Stream: general

Topic: Ramanujan Machine


view this post on Zulip Daniel Selsam (Feb 08 2021 at 14:53):

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

view this post on Zulip Johan Commelin (Feb 08 2021 at 14:55):

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.

view this post on Zulip Johan Commelin (Feb 08 2021 at 14:55):

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

view this post on Zulip Daniel Selsam (Feb 08 2021 at 14:59):

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

view this post on Zulip Johan Commelin (Feb 08 2021 at 14:59):

Yes, I understand.

view this post on Zulip Johan Commelin (Feb 08 2021 at 15:00):

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.


Last updated: May 14 2021 at 00:42 UTC