prof-g
@robertghrist
@Penn mathematician; engineer; educator; assoc. dean of undergraduate education @PennEngineers; illustrator; animator; e/acta non verba
this semester, i am teaching multivariable calculus for engineers @penn, using materials from the Calculus BLUE Project, a video-text on youtube. you can check out the (updated for 2020) trailer here... youtube.com/watch?v=xZeqTp…
prof-g (@robertghrist) is teaching the Artificial Intelligence course at the Engineering Summer Academy at Penn. Students are now hard at work on their final projects. @PennEngineers @ESEatPenn #AIClass #SummerAcademy
Big day for Lean! Alex Gerko of XTX Markets is donating $10M to the Lean FRO and the new Mathlib Initiative to support the future of formal mathematics and machine-checked proofs. Thank you, Alex Gerko and Convergent Research, for believing in the mission. Read the full…
which areas of research will AI impact most/first? math? [theorems are hard but validate-able] natsci? [experiments take time & $$$ to check] econ? [theory is like math; sims are possible...] humanities? [but they hate AI?!] humanities is where the AI comet hits first & hardest.
"[video game] as a community theater production" may be one of the most delightful Veo 3 Fast prompts Please enjoy, in order: GTA, Pokemon, Mario Kart, The Witcher 3, Stardew Valley, Tetris, Mortal Kombat, The Sims, & Death Stranding(!) Yes, the whole prompt was the one above.
working on my biggest usage of openai deep-research yet. had a prompt suggest 13 deep research topics to support a thesis. made a prompt to write out *long* *precise* deep-research requests. running each one takes 10-15 minutes apiece, each creating a ~30 page pdf. (!)
this is something i've not seen from GPT (4o) before: offering me an A/B choice with those circle-letter typewriter font icons. kinda charming.
🌀 Universality in Computable Dynamical Systems: Old and New Can dynamical systems compute? From Turing-complete fluids to Topological Kleene Field Theories, we explore how dynamics encodes computation—past, present, and future. arxiv.org/abs/2507.10725
We live in a wonderful world to make & see such beautiful things
We have constructed Turing complete Navier-Stokes steady states via cosymplectic geometry. You can read it here: arxiv.org/abs/2507.07696
I often rant about how 99% of attention is about to be LLM attention instead of human attention. What does a research paper look like for an LLM instead of a human? It’s definitely not a pdf. There is huge space for an extremely valuable “research app” that figures this out.
I'm constantly irritated that I don't have time to read the torrent of cool papers coming faster and faster from amazing people in relevant fields. Other scientists have the same issue and have no time to read most of my lengthy conceptual papers either. So whom are we writing…
Very useful technical lemmata for fellow sheaf nerds: arxiv.org/abs/2506.14007