Claim: gpt-5-pro can prove new interesting mathematics.
Proof: I took a convex optimization paper with a clean open problem in it and asked gpt-5-pro to work on it. It proved a better bound than what is in the paper, and I checked the proof it's correct.
Details below.
new project: cleo (kindle + llm) 📚
cleo is an ios app that pairs whatever book you're reading on kindle with an llm (o3) — ask questions, get recaps/summaries, or listen/discuss (think audiobooks but interactive). the llm has context on exactly where you are + the book contents.
best part? no complex setup needed. just link your kindle account and that's it. it just works.
reply / rt for testflight invite 👇