prof-g Profile picture
Sep 19, 2024 9 tweets 3 min read Read on X
is there a finite-time singularity in fluids?
(euclidean 3-d euler/navier-stokes, smooth IC)
this is the data we collected at @CRMatematica today... Image
we voted on a scale from 0 to 10 where
0-nope! ==== 5-??? ==== 10-yeah! Image
here's the vote : euler in blue, navier-stokes in red...
but wait...there's more... Image
after voting -- in private! -- we then did a public vote-by-show-of-hands with yes/no/???
(all eyes were on terry tao, sitting in the back...)
then we did a second private vote...
can you guess how terry voted? Image
more data! the same exact question was asked at a meeting in 2007 at the 250th anniversary of the euler equations at a meeting of experts in Aussois, CH
(thanks to Kai Schneider for the data!)
here's what the data was in 2007 Image
if you want to see the change in sentiment over time 2007 => 2024 1st vote => 2024 2nd vote, here's the euler equations... Image
and the same historical trends for navier stokes Image
so what have we learned?
* opinions have drifted more towards singularity
* opinions can change in real-time due to influence by neighbors -- very relevant to information flows...
* MS excel doesn't like indexing from 0 to 10
special thanks to kai cieliebak, @evamirandag , and kai schneider for suggesting and helping to get out the vote! (and for allowing me to conduct this little opinion dynamics experiment...)

• • •

Missing some Tweet in this thread? You can try to force a refresh
 

Keep Current with prof-g

prof-g Profile picture

Stay in touch and get notified when new unrolls are available from this author!

Read all threads

This Thread may be Removed Anytime!

PDF

Twitter may remove this content at anytime! Save it as PDF for later use!

Try unrolling a thread yourself!

how to unroll video
  1. Follow @ThreadReaderApp to mention us!

  2. From a Twitter thread mention us with a keyword "unroll"
@threadreaderapp unroll

Practice here first or read more on our help page!

More from @robertghrist

Dec 31, 2024
i am about to teach a new applied linear algebra course at @PennEngineers, meant for datasci/ML/AI.
to support the class, i've written a book...
[see below for links to text] Image
this is a weird 300-page book, written in a weird manner.
i built a custom project on claude to assist with the creation.
i began on nov 2, 2024 & published the book on dec 28, 2024 Image
claude captured my writing style (from other works), kept track of the outline, thematic elements, latex preferences. i would prompt it to write individual sections in latex; then i would assemble, edit, rewrite; claude also helped with editing through a separate process. Image
Read 15 tweets
Nov 15, 2024
1/
new paper in PNAS (link at end)
led by @irishryoon -- @chadgiusti, greg henselman-petrusek, yiyi yu, spencer lavere smith & i tackle a key challenge in TDA:
how do you match topological features across populations or datasets?
🧠🔗 Image
2/
the context:
neuroscience often involves comparing neural manifolds—geometric representations of neural activity—across subjects.
how can we align topological features (e.g., cycles) between different manifolds?Image
3/
feature matching in TDA is hard.
given two persistence diagrams, how do you reliably correlate significant features?
this involves balancing geometric structure with topological significance Image
Read 7 tweets
Oct 2, 2024
can AI do research-level mathematics? make conjectures? prove theorems?
there’s a moving frontier between what can and cannot be done with LLMs.
that boundary just shifted a little. this is my experience with AI proving a new theorem.
1/
this is joint work with julian gould and miguel lopez, phd students in my lab @Penn .
this is also joint work with claude-3.5-sonnet, gemini-1.5-pro, gpt-4o, and gpt-o1-mini .
it’s a 25 page paper on network information flows and lattice theory.
(link to preprint at end)
2/ Image
quick summary:
aug ’24 : claude-3.5/gpt-4o conjectured a new theorem.
sept ’24 : generated many wrong proofs w/claude+gpt+gemini, mapping out the subspace of latent proof-space.
sept 13 ’24 : gpt-o1-mini dropped & nailed a correct + elegant proof.
oct 1 ’24 => arxiv preprint.
3/
Read 24 tweets
Sep 6, 2023
1/ yesterday’s thread on the genesis of figures in “Elementary Applied Topology” ended on a cliffhanger: what do all the chapter heading illustrations mean? it’s a puzzle.
get ready for a myth/math mishmash.
2/ the title page & the back cover carry an iconic stylized pomegranate, with some motion induced on what looks like half-a-dozen seeds? hmmm… that reminds me of something… Image
3/ of course, this is a persephone myth – she who was seduced by hades and descended to the underworld. what does that have to do with topology? Image
Read 19 tweets
Sep 4, 2023
1/ in 2009, i began writing a book on topology, meant to be a short introduction to the core concepts, in the context of lots of interesting applications. every idea would be paired with one or more uses, as much outside of mathematics as possible: “applied topology”. Image
2/ i wanted the book to have a lot of pictures – at least one per page on average – and i wanted the pictures to be the exercises. each picture is a puzzle, and if you understand the picture, then you have solved the exercise & understand something. Image
3/ e.g., the snake lemma Image
Read 13 tweets
May 13, 2023
=> new paper w/yuliy baryshnikov <=
"navigating the negative curvature of google maps"
/1 Image
one thing that google maps gets right is the user interface for navigating -- it just feels right to pinch-zoom, scroll, etc.
/2 Image
why is google maps' UI so natural?
hyperbolic geometry!
/3 Image
Read 16 tweets

Did Thread Reader help you today?

Support us! We are indie developers!


This site is made by just two indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3/month or $30/year) and get exclusive features!

Become Premium

Don't want to be a Premium member but still want to support us?

Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal

Or Donate anonymously using crypto!

Ethereum

0xfe58350B80634f60Fa6Dc149a72b4DFbc17D341E copy

Bitcoin

3ATGMxNzCUFzxpMCHL5sWSt4DVtS8UqXpi copy

Thank you for your support!

Follow Us!

:(