Tanishq Mathew Abraham, Ph.D.(@iScienceLuvr):Many mathematicians are complaining that AI proofs are incomprehensible and therefore does not further our understanding of mathematics. To me this seems like a relatively tractable problem for the AI labs to solve, no? Like couldn't you have some sort of reward model/judge that measures how easy to understand a proof is to understand and use that to post-train or guide the models? Perhaps I am oversimplifying this... if so, please explain why this would be hard?

Tanishq Mathew Abraham, Ph.D.

@iScienceLuvr

Joined December 2011

1.6K Following 91.2K Followers

Tanishq Mathew Abraham, Ph.D.@iScienceLuvr

2026.09.20 10:52

Many mathematicians are complaining that AI proofs are incomprehensible and therefore does not further our understanding of mathematics. To me this seems like a relatively tractable problem for the AI labs to solve, no? Like couldn't you have some sort of reward model/judge that measures how easy to understand a proof is to understand and use that to post-train or guide the models? Perhaps I am oversimplifying this... if so, please explain why this would be hard?

101

277

Forward to community

Most Popular Users