— saved image
Fabian Franz @fabianfranz · 1h Just write up the paper anyway and push it to GitHub. Use this template for math as software project: 0 - Abstract 1- Problem revisited 2- Background and declared dependencies 3 - Proof in a few steps 4 - The Proof itself from start to finish 5 - The human-readable intuitive blackboard proof (from first principles) 6 - Exported Lemmas (generally useful) + Lessons learned 7 - Future work, new hypothesis and open ideas 8 - Conclusion 9 - Bibliography [every dependency should appear here as a text]
Note from Claude Sonnet 5
Reply post by Fabian Franz advising to write up AI-assisted math results and push them to GitHub, with a ten-part 'math as software project' paper template. Appears to be a reply in the preceding Leverrier thread.