Advertisement · 728 × 90

Posts by ꭓle Ormsby 𓆙

"If you just say Boston Marathon, it conjures up images of the Boston Marathon."

Thanks, TV commentator. That really paints a picture.

1 day ago 7 0 0 0
Video

Here's a second, geared mechanism that transforms between cube and octahedron forms. Full video at youtu.be/T9BNMLFHXUw

1 day ago 44 10 2 0
Coyote prowling Skyline Blvd in broad daylight.

Coyote prowling Skyline Blvd in broad daylight.

Welcome to Portland

1 day ago 10 0 1 0

The Fundamental Theorem of Topology!

1 day ago 2 0 1 0

I'm also a little salty that topologists were so uncomfortable with the empty set as a face of the simplex that they invented a whole algebraic gadget (augmented chain complexes) to avoid talking about it.

1 day ago 7 1 2 0

🤯

1 day ago 0 0 0 0

Mediocratized? Averaged? Normalized? Regressed to the mean? Satisficed?

1 day ago 1 0 0 0
Video

Who else is up triangulating their prisms?
kyleormsby.github.io/math342sprin...

1 day ago 17 0 1 0
Advertisement

Read America. It’s a romp.

2 days ago 2 0 0 1

Actually, that's not quite true, as demonstrated by the existence of Palantir.

2 days ago 2 0 0 0

Nothing challenges my "gate's wide open, come on in!" approach to math education more than this phenotype.

2 days ago 3 0 1 0

(╯°□°)╯︵ ┻━┻

2 days ago 10 0 1 0

If you think about it, anything handmade is digital.

2 days ago 11 1 1 0

Very fun. Have you explored similar mechanisms for dodecahedron / icosahedron duality?

2 days ago 1 0 2 0
Video

New video, on mechanisms that illustrate the duality between the cube and the octahedron! Here's one of them: a linkage with fabric panels designed by Sabetta Matsumoto.
Full video at youtu.be/T9BNMLFHXUw

3 days ago 87 28 3 1

Which one of you got your congressperson to intercede? I need to give you and your representative a hug.

2 days ago 8 1 0 0
Advertisement

We did it, Joe!

3 days ago 14 1 0 0

I should have dressed up as Jill Clayburgh's character and hired an actor to attend class and deliver That Guy's lines.

3 days ago 3 0 0 0
It's My Turn (1980) Snake Lemma
It's My Turn (1980) Snake Lemma YouTube video by philsproof

Snake lemma day in topology. Do I show them the clip? www.youtube.com/watch?v=etbc...

3 days ago 24 1 5 1
From https://www.erdosproblems.com/1196 :

PROVED (LEAN)
Is it true that, for any x, if A⊂[x,∞) is a primitive set of integers (so that no distinct elements of A divide each other) then
∑a∈A1aloga<1+o(1),
where the o(1) term →0 as x→∞?
#1196: [ESS68b][Er80,p.101]
number theory | primitive sets
A conjecture of Erdős, Sárközy, and Szemerédi. Lichtman [Li23] has proved that
∑a∈A1aloga<eγπ4+o(1)≈1.399+o(1).
This was solved by GPT-5.4 Pro (prompted by Price), which proved that for any primitive set A⊂N
∑a∈Aa>x1aloga≤1+O(1logx).
See the comment section for further refinements and discussion.

From https://www.erdosproblems.com/1196 : PROVED (LEAN) Is it true that, for any x, if A⊂[x,∞) is a primitive set of integers (so that no distinct elements of A divide each other) then ∑a∈A1aloga<1+o(1), where the o(1) term →0 as x→∞? #1196: [ESS68b][Er80,p.101] number theory | primitive sets A conjecture of Erdős, Sárközy, and Szemerédi. Lichtman [Li23] has proved that ∑a∈A1aloga<eγπ4+o(1)≈1.399+o(1). This was solved by GPT-5.4 Pro (prompted by Price), which proved that for any primitive set A⊂N ∑a∈Aa>x1aloga≤1+O(1logx). See the comment section for further refinements and discussion.

While AI attracts a lot of loud hype and haters, some mathematicians are happily using it to knock off unsolved problems. (I'm not saying anyone is "right" here.)

Recently Liam Price prompted GPT-5.4 Pro to prove this conjecture of Erdős:

chatgpt.com/share/69dd1c...

(1/n)

3 days ago 50 11 1 1
Digital display on coffee machine that says

Time since brew
8:27 Min

Digital display on coffee machine that says Time since brew 8:27 Min

Happiness is trekking to the break room and discovering that someone just brewed a fresh pot.

3 days ago 6 0 1 0

Precisely! Absolutely absurd that in the year 2026 there is an article mentioning eight human mathematicians, and they're all men.

4 days ago 5 0 1 0
Preview
The AI Revolution in Math Has Arrived | Quanta Magazine AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.

Quanta is ready to update E.T. Bell's classic to "Men and LLMs of Mathematics". 🙄 www.quantamagazine.org/the-ai-revol...

4 days ago 8 2 1 1

Very well-deserved! Congratulations!!!!!

4 days ago 2 0 1 0

what is life if not a series of firewall breaches by DDoS attacks?

4 days ago 4 0 1 0
Advertisement

... or discussing technical details presently. In the interim, I ask that I be given accolades, a large raise, and a teaching reduction.

4 days ago 16 0 1 0

After consultation with trusted colleagues, I've decided not to release a recent theorem of mine or its proof. A straightforward corollary would render much of the cryptographic infrastructure behind modern digital life transparent. I will not be circulating the manuscript, sharing it privately, ...

4 days ago 13 0 2 0

Jeffrey E. Epstein Professor of Ephebophilia

5 days ago 5 0 0 0

endowed chair for mama's very special boy

the atlantic senior professor of phrenology

fellowship for dogwhistles in the arts and sciences

5 days ago 42 9 1 0

If this survey were administered with a labeled picture of Quetzalcoatlus, then views would quickly shift.

5 days ago 9 0 1 0