prof-g
@robertghrist
Followers
23K
Following
36K
Media
1K
Statuses
11K
@Penn mathematician; engineer; educator; assoc. dean of undergraduate education @PennEngineers; illustrator; animator; e/acta non verba
philadelphia, pa
Joined August 2008
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.
18
84
448
RT @currying: On a completely different subject, Shreya Arya and I have finally posted our work on using Kan extensions to approximate the….
arxiv.org
The persistent homology transform (PHT) of a subset $M \subset \mathbb{R}^d$ is a map $\text{PHT}(M):\mathbb{S}^{d-1} \to \mathbf{Dgm}$ from the unit sphere to the space of persistence diagrams....
0
3
0
“Si infernus nominatur ab inferius, sicut respectu caeli est terra inferior, ita respectu terrae sit infernus inferior.” . “If we call it the nether regions, for the reason that it is beneath us, what earth is in relation to heaven, such should be hell in relation to earth.”.
0
0
6
RT @PennEngAI: prof-g (@robertghrist) is teaching the Artificial Intelligence course at the Engineering Summer Academy at Penn. Students ar….
0
4
0
RT @leanprover: Big day for Lean! Alex Gerko of XTX Markets is donating $10M to the Lean FRO and the new Mathlib Initiative to support the….
0
31
0
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.
8
1
28
This also means that there will be a deluge of hallucinated dysproofs generated with poor prompting. Remember: the AI wants to make you happy. If you ask for a proof, it will give you a proof-shaped poem and tell you it's a breakthrough to make you happy.
4
7
53
In the next year, I think we'll start to see some nontrivial mathematics conjectures proved with AI assistance. Most likely using creative connections between fields (AI is very good at this). If even a few of these proofs hold up, it means the dam is about to burst.
10
16
121
RT @emollick: "[video game] as a community theater production" may be one of the most delightful Veo 3 Fast prompts. Please enjoy, in order….
0
339
0
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. (!).
3
3
58
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.
0
0
4
RT @evamirandag: 🌀 Universality in Computable Dynamical Systems: Old and New. Can dynamical systems compute?.From Turing-complete fluids to….
arxiv.org
The relationship between computational models and dynamics has captivated mathematicians and computer scientists since the earliest conceptualizations of computation. Recently, this connection has...
0
55
0
if you want to see the little particle sim my student cooked, check out this claude artefact:.
claude.ai
Interactive physics simulation with gravity wells, N-body dynamics & collision physics. Click to add orbs, drag wells, control forces. Built with Claude AI.
1
0
6
reflections upon teaching high school students generative AI this week at @PennEngineers ESAP (summer academy). * last year <10% of students had heard of claude & used only chatGPT.* this year most students knew/used both + gemini + deepseek + grok.* last year, no coding, cause
2
2
19