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?

Novo Nordisk $NVO posted this today “We are therefore excited to announce a new partnership with Anthropic, so our scientists, by the use of AI, can bring new medicines to the people who need them, faster.”

Verses on a Topic – God’s Faithfulness Deu 7:9 Know therefore that the LORD thy God, he is God, the faithful God, which keepeth covenant and mercy with them that love him and keep his commandments to a thousand generations; Psa 105:8 He hath remembered his covenant for ever, the word which he commanded to a thousand generations. Heb 10:23 Let us hold fast the profession of our faith without wavering; (for he is faithful that promised;) 2Ti 2:13 If we believe not, yet he abideth faithful: he cannot deny himself. Psa 9:10 And they that know thy name will put their trust in thee: for thou, LORD, hast not forsaken them that seek thee. Psa 89:34 My covenant will I not break, nor alter the thing that is gone out of my lips. Isa 46:11 Calling a ravenous bird from the east, the man that executeth my counsel from a far country: yea, I have spoken it, I will also bring it to pass; I have purposed it, I will also do it.