seanforscience's profile picture. coffee math physics trails whatever just glad to be here.

Sean Downes

@seanforscience

coffee math physics trails whatever just glad to be here.

Maybe. But in the mean time they seem to struggle with calculations involving quadratic polynomials, for instance working with representations of sp(2n,R). If anything it’s endearing to think that machines also struggle with moving too fast and making sign errors.

"Soon LLMs will do research-level math and mathematicians will be irrelevant." Me: Great, I can finally catch up on my sleep



If you understand the “let’s make a deal” strategy then you understand why this is gibberish. Don’t get zonked.

Roger Penrose calculated that the probability of a universe like ours arising by chance is on the order of 1 in 10¹⁰¹²³, an inconceivably small number but you're here

QuanticASI's tweet image. Roger Penrose calculated that the probability of a universe like ours arising by chance is on the order of 1 in 10¹⁰¹²³, an inconceivably small number

 but you're here


I’m not sure if this is obvious or amazing. Which is probably a good sign. I’m glad to see people working on this.

LLMs are injective and invertible. In our new paper, we show that different prompts always map to different embeddings, and this property can be used to recover input tokens from individual embeddings in latent space. (1/6)

GladiaLab's tweet image. LLMs are injective and invertible.

In our new paper, we show that different prompts always map to different embeddings, and this property can be used to recover input tokens from individual embeddings in latent space.

(1/6)


Amusingly, I managed to get Python to spit out almost all a given essay’s equations as png files.

Sometimes it feels like LaTeX.



Who benefits from tweets like this?

A space is compact if every open cover has a finite subcover.



In all seriousness, it’s crazy to me that paying kids for getting better grades isn’t more common.

People would like mathematics more if we started paying them by the equation



Rebranding my insistence on using vi as trad coding.

We need an official name for not-vibe-coding. My top candidates so far: · boomer coding · chewgy coding · trad coding · Coding with capital C Suggestions are welcome.



Loading...

Something went wrong.


Something went wrong.