
Dylan Murphy
707 posts

Dylan Murphy
@dylanmurphy829
Tech sales leader, dad, spaceflight nerd. Writing at The Slow Layer.






In the middle of my longest Codex run ever, coming up on 3 straight days I've adapated @elves_skill with a workflow for pure math research, and I've been working with my former PhD advisor on some open problems in differential geometry Looks like I'll get my first pure math paper in a while, and I've learned a ton about what is actually possible when it comes to AI for math The short of it is that AI is amazingly useful, and any mathematician who doesn't use these tools is at a big disadvantage, but the idea that there will be nothing left for human mathematicians to do is just wrong I'll write up more about this experience when done if people are interested, and I'm thinking about adding a math module to Elves











Very sad to see Blue Origin’s static fire anomaly tonight. I know that gut wrenching feeling. Keep your heads up, I know they have a team that will come back from this with hard fought lessons learned. Rockets are hard.













