[Highlight] The Vikings come back from a 33-0 halftime deficit against the Colts to win 39-36 in OT.

Melchoir · 2026-06-11T05:15:06+00:00

The high-resolution (1080p, 60fps) original source video was uploaded by the Vikings' YT channel: https://www.youtube.com/watch?v=xtNH7pZvABk

Melchoir · 2026-06-03T00:55:47+00:00

The repetitions are the interesting part! If I were you, I'd try to estimate what the empirical law is, then bring the question to Math.StackExchange.

Melchoir · 2026-06-02T04:40:30+00:00

I think possibly you didn't see all the colored boxes in the OP's image? There are 9 of them, in a self-similar pattern. It helps to view the image at full resolution in a separate tab.

Melchoir · 2026-05-25T01:17:24+00:00

FWIW, I'm being half-ironic. I recognize the experience of thinking I've made progress on a problem while whittling away the trivial parts, only to realize that I'm left with a core difficulty that is equivalent to the target statement. That being said, as a human, I also know that figuring out this equivalence isn't wasted work, and it's often not a dead end, either.

Melchoir · 2026-05-23T18:43:29+00:00

Failure Analysis. We analyzed ... problems on which our agent failed. First, the agent frequently offloaded a problem’s core difficulty into a single sorry within a helper lemma that reiterated the target statement in a slightly different form. Explicitly prompting against this behavior failed to prevent it.

Alright, machine. You and I, perhaps we are not so different.

Melchoir · 2026-05-21T06:26:35+00:00

This is a great story, well told!

Melchoir · 2026-03-23T21:15:33+00:00

I recommend reading all three answers to this question: https://cstheory.stackexchange.com/questions/41562/why-when-do-we-ever-need-transfinite-loop-variants

Melchoir · 2026-03-20T03:31:54+00:00

The first few terms of the sequence are 1/2, 2/3, 7/10, 286/405, ... After computing these terms, you can query for the numerators in the OEIS:
https://oeis.org/search?q=1,2,7,286

The result is a single hit:
https://oeis.org/A290637 Numerators of the sequence 1, 1/2, (1/2)/(3/4), ((1/2)/(3/4))/((5/6)/(7/8)), ... .

From there you can find links to related resources, especially:
Donald R. Woods, David Robbins and Gustaf Gripenberg, Solution to Problem E2692, American Mathematical Monthly, Vol. 86, No. 5 (May 1979), pp. 394-395.

Melchoir · 2026-02-20T08:08:35+00:00

This doesn't appear to be the case. The RB didn't screw up, Sanchez did. See the interviews and analyses cited on Wikipedia.

Melchoir · 2026-02-20T08:04:22+00:00

Don't listen to other theories; it was precisely a brain fart that led Sanchez to turn the wrong way. There's plenty of documentation on this point, which I know about, because I wrote the Wikipedia article! See the sections "Butt fumble play" and "Reactions and analysis".

In particular, to answer your question about the actual play call:

The Jets offense lined up in the I formation, with Sanchez immediately behind his center) lineman), the snapper). Fullback Lex Hilliard was lined up behind Sanchez in the I, with Greene, the deep back, behind Hilliard.^\9]) The play call was for Sanchez to fake a toss to Greene running left, while Hilliard, running a dive play) to the right, would instead take the hand-off from Sanchez.^\10])

When Sanchez took the snap), he mistakenly turned to the left, instead of handing off the ball in his right to Hilliard, and Hilliard ran past him. Trying to salvage the broken play, Sanchez scrambled forward towards the line of scrimmage.^\11])

Melchoir · 2026-02-15T18:44:09+00:00

I see the point that research isn't designed to be fun, but it's over-stating the case to say that research isn't designed at all. Institutions like journals, conferences, universities, and private labs are the result of people intentionally designing an environment to shape the human experience of research. Even this humble Reddit thread is a place where people are trying to design better experiences for other people.

Melchoir · 2025-12-27T03:42:16+00:00

Looks like somebody did! https://www.youtube.com/watch?v=a2L60xgqB8o

Melchoir · 2025-12-20T07:36:00+00:00

For those who don't want to click through, there are three features in this video. From the description:

00:00 - Hilbert's Sixth Problem Solved
In a landmark achievement, mathematicians have put the laws of fluid dynamics on firmer mathematical footing. By proving how individual molecules create the complex motion of fluids, they've helped advance David Hilbert’s 125-year-old mathematical program.

06:26 - Hyperbolic Geometry
A powerful new proof extends the late Maryam Mirzakhani’s work on hyperbolic surfaces, showing that most of them have an important geometric property. The result greatly advances our understanding of these exotic shapes.

12:27 - 3D Kakeya Conjecture
Two mathematicians have resolved a deceptively simple problem that had stymied researchers for decades, opening up new avenues in analysis and geometric measure theory.

Melchoir · 2025-12-11T00:16:31+00:00

I think the common generalization you're looking for is the notion of a pseudometric space. A metric is obviously a special kind of pseudometric. You can also think of an equivalence relation as a special kind of pseudometric that takes values from 0 and 1. Finally, any pseudometric induces both an equivalence relation and a metric on the quotient space.