Maths etc.
š bridged from ā https://mathstodon.xyz/@robinhouston, follow @ap.brid.gy to interact

@robinhouston.mathstodon.xyz.ap.brid.gy
Maths etc.
š bridged from ā https://mathstodon.xyz/@robinhouston, follow @ap.brid.gy to interact
(The RID is nopert too btw: https://github.com/bence-hervay/nopert-rid)
How can you keep black from making Snaky? https://snaky.gotrevor.org
I feel this is getting a disproportionate amount of attention on here, relative to the 369 papers that haven't been withdrawn
New nopert just dropped ā and it's a corker! https://github.com/dwrensha/StellatedTetrahedron
Via @david
@pozorvlak We're certainly seeing a lot of progress!
@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.
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
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 [ā¦]
@gro-tsen.bsky.social Confusingly, I think the count of 372 is correct! There is no problem numbered 045, 061, 070 or 123.
Ha ha ha, the article is 84 pages long and most of them look like this. I don't know what I expected.
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
It's a good thing I went to bed just before this dump dropped, or I would have been up all night
Holy ****, they solved Hilbertās tenth problem over āā½ And I'm still on the first page of the problem list.
Looks like something big dropped overnight: https://github.com/openai/math/tree/main/preprints
This is going to take some digestionā¦
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.
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 [ā¦]
And a nice essay from Christian Szegedy: https://docs.google.com/document/d/e/2PACX-1vTSh-pyNP3Gi99WMmsinnLmE9V5CDI0HEm6WGbIPMNt3V5SGlClHF8-BetotKHOImrvQDSXmFdiOw8D/pub
You can make it match up perfectly by slightly squashing the octahedra.
@dpiponi Yes. Iām surprised this letter has so few signatories: https://sites.google.com/view/release-the-proofs/