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

加入 December 2011

1.6K 正在關注 91.2K 粉絲

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

轉發到社區

熱門用戶