Here's an example of one for a major result earlier this year: https://cdn.openai.com/pdf/1625eff6-5ac1-40d8-b1db-5d5cf925de8b/unit-distance-cot.pdf https://cdn

Here's an example of one for a major result earlier this year: https://cdn.openai.com/pdf/1625eff6-5ac1-40d8-b1db-5d5cf925de8b/unit-distance-cot.pdf https://cdn.openai.com/pdf/1625eff6-5ac1-40d8-b1db-5d5cf925d... Who knows what "rewritten" means, but you can sort of see how it progresses.