Re:“Math 2.0” will need to value mathematical progress more ...
by QuesnayJr on Thursday October 08, 2026 @02:45AM
(#50002517)
He would never say that because Ramanujan was the one who had the insight that he couldn't explain, not a machine. If a machine solves the problem, then the machine deserves the credit, not the person who prompted it.
Re:“Math 2.0” will need to value mathematical progress more ...
by dminik on Thursday October 08, 2026 @06:52AM
(#50004249)
I think many saw working with Ramanujan as helping or being involved with a one in a generation (or even higher) talent.
Translating LLM proofs to human-ese is instead grunt-work. One that is bound to dissapear in a few years anyways.
Sounds like Terence Tao would have said the same about Ramanujan who basically just "solved" problems without much explanation / reasoning / communication other than it just arrived from god.
In the case of Ramanujan, others took on the responsibility of socializing and community building knowing that he wouldn't do it himself. Why can't the same approach happen here?
There will be people who want to just "solve" math problems now that they have a new tool that lets them express themselves this way. Maybe the don't want to participate in the broader math community, etc. Why discourage them, or add friction / a barrier to them participating in their own way? Why not take on the burden of socializing, making sense of, and community building yourself?
There may be valid reasons here I'm missing, but to me this seems a bit like wanting others to approach a field in a particular way even though the field can support many ways.