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

转发到社区

热门用户