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

커뮤니티로 전달

인기 있는 사용자