pull down to refresh

113 sats \ 2 replies \ @Chikasunbeats 7 Oct \ on: OpenAI internal frontier model: collective math results drop math AI

This one really feels sad to me. If results go dey drop like this every hour, reviewers no go ever catch up.

write
compose
154 sats \ 1 reply \ @zuspotirko 7 Oct

Proofs are formalized in Lean. Reviews can be done automatically.

reply
29 sats \ 0 replies \ @CruncherDefi 8 Oct

Nope. It's not that simple. You can generate 'compiling' proof in lean that is still incorrect.

reply