Grilled Cheese

ExploreLog inSign up

robinhouston

@robinhouston.mathstodon.xyz.ap.brid.gy

3 Following127 Followers

Maths etc.

šŸŒ‰ bridged from ⁂ https://mathstodon.xyz/@robinhouston, follow @ap.brid.gy to interact

PostsRepliesMedia
@robinhouston.mathstodon.xyz.ap.brid.gyOct 11, 2026, 10:53 AM

(The RID is nopert too btw: https://github.com/bence-hervay/nopert-rid)

@robinhouston.mathstodon.xyz.ap.brid.gyOct 9, 2026, 3:39 AM

How can you keep black from making Snaky? https://snaky.gotrevor.org

@robinhouston.mathstodon.xyz.ap.brid.gyOct 8, 2026, 1:01 PM

I feel this is getting a disproportionate amount of attention on here, relative to the 369 papers that haven't been withdrawn

@robinhouston.mathstodon.xyz.ap.brid.gyOct 8, 2026, 12:22 PM

New nopert just dropped – and it's a corker! https://github.com/dwrensha/StellatedTetrahedron

Via @david

@robinhouston.mathstodon.xyz.ap.brid.gyOct 8, 2026, 8:10 AM

@pozorvlak We're certainly seeing a lot of progress!

@robinhouston.mathstodon.xyz.ap.brid.gyOct 8, 2026, 8:05 AM

@pozorvlak I wanted to vote that we will not see claimed solutions to any of them in that time frame, but that didn’t seem to be possible in your poll.

@robinhouston.mathstodon.xyz.ap.brid.gyOct 8, 2026, 7:48 AM

They’ve just withdrawn three of the papers:

* Algebraicity of Weil classes on split abelian eightfolds
* Algebraicity of Kuga–Satake Correspondences for K3 Surfaces
* The rational Hodge conjecture for products of K3 surfaces

https://github.com/openai/math/blob/main/history.md

@robinhouston.mathstodon.xyz.ap.brid.gyOct 7, 2026, 5:17 PM

I didn’t even notice this one at first. This is cool! Talk about a weird machine. > 376. Universal computation in forced Navier–Stokes flows. Constructs viscous incompressible flows starting from rest on a fixed flat three-dimensional domain that perform universal computation under smooth […]

@robinhouston.mathstodon.xyz.ap.brid.gyOct 7, 2026, 5:06 PM

@gro-tsen.bsky.social Confusingly, I think the count of 372 is correct! There is no problem numbered 045, 061, 070 or 123.

@robinhouston.mathstodon.xyz.ap.brid.gyOct 7, 2026, 3:19 PM

Ha ha ha, the article is 84 pages long and most of them look like this. I don't know what I expected.

A screenshot of page 71 of the article. It is just a long list of lists of three-digit numbers.
@robinhouston.mathstodon.xyz.ap.brid.gyOct 7, 2026, 10:39 AM

Snaky is a winner! Man, I wasn't sure if that would ever be resolved.

https://github.com/openai/math/tree/main/preprints/Snaky-in-21-Maker-moves-September-25-2026

@robinhouston.mathstodon.xyz.ap.brid.gyOct 7, 2026, 7:41 AM

It's a good thing I went to bed just before this dump dropped, or I would have been up all night

@robinhouston.mathstodon.xyz.ap.brid.gyOct 7, 2026, 7:33 AM

Holy ****, they solved Hilbert’s tenth problem over ā„šā€½ And I'm still on the first page of the problem list.

@robinhouston.mathstodon.xyz.ap.brid.gyOct 7, 2026, 7:23 AM

Looks like something big dropped overnight: https://github.com/openai/math/tree/main/preprints

This is going to take some digestion…

@robinhouston.mathstodon.xyz.ap.brid.gyOct 6, 2026, 6:11 PM

This is not my fight, but I don’t at all relish the prospect of the criteria by which mathematicians are judged becoming subjective ones. That opens the door to so much potential corruption that it makes my heart sink to think of it.

@robinhouston.mathstodon.xyz.ap.brid.gyOct 6, 2026, 4:08 PM

There's an amazing new result in algorithmic complexity today. 3SUM is the problem: given a list of n numbers – there are different versions of the problem, depending on whether the numbers have to be integers or not – determine whether three of them sum to zero. There is an O(n²) algorithm […]

@robinhouston.mathstodon.xyz.ap.brid.gyOct 4, 2026, 5:32 PM

https://www.youtube.com/watch?v=AT9wAQSV5_4

@robinhouston.mathstodon.xyz.ap.brid.gyOct 4, 2026, 8:14 AM

And a nice essay from Christian Szegedy: https://docs.google.com/document/d/e/2PACX-1vTSh-pyNP3Gi99WMmsinnLmE9V5CDI0HEm6WGbIPMNt3V5SGlClHF8-BetotKHOImrvQDSXmFdiOw8D/pub

@robinhouston.mathstodon.xyz.ap.brid.gyOct 3, 2026, 3:34 PM

You can make it match up perfectly by slightly squashing the octahedra.

@robinhouston.mathstodon.xyz.ap.brid.gyOct 2, 2026, 11:39 AM

@dpiponi Yes. I’m surprised this letter has so few signatories: https://sites.google.com/view/release-the-proofs/

Older posts
Terms of UsePrivacy PolicyCommunity StandardsHelpGet the app

Grilled Cheese is a product of Village Compute

Version devBuilt at: 2026-10-11 02:37:10 EDT