Nvar7

chess, math, logic

[Nvar7 @heee1950]

@ChessifyMe Grand composition

[Nvar7 @heee1950]

@ImShahinyan play is an all 4 corners

[Nvar7 @heee1950]

@Polymarket The .00 should only be used if the precision is cents, which it isn’t.

[Nvar7 @heee1950]

@brandon_d_smith You can always tell takes like this because they don’t give versions—the authors never know enough about AI to know even that versions matter.

[Nvar7 @heee1950]

@Strife212 If you watch a movie frame-by-frame and pixel-by-pixel have you seen the movie?

[Nvar7 @heee1950]

@xxChessMaster nice presentation

[Nvar7 @heee1950]

@burkov 4.8 thinking response: Bold of you to short a company whose product is currently reading your tweet and pretending to be offended.

[Nvar7 @heee1950]

@the_book_land I don’t understand how anyone can like Great Gatsby. It’s about a bunch of spoiled idiots whining for 200 pages. Half the book is descriptions of how wealthy people are—who cares?

[Nvar7 @heee1950]

@the_book_land Foundation
Foundation and Empire
Second Foundation
The End Of Eternity
Atlas Shrugged

[Nvar7 @heee1950]

@_Manuel_Ruiz_ @ZahlenRMD How do you know a priori Q is linear?

[Nvar7 @heee1950]

@angeris Does 2 ↑ ↑ 100 exist?

[Nvar7 @heee1950]

@typesfast I wish there a video capture of what’s going on

[Nvar7 @heee1950]

@_B___S I would think virtually anyone, or at least virtually any thoughtful person. Dogs and AIs are better conversationalists than all but a handful of people.

[Nvar7 @heee1950]

@GregHBurnham One of the first glimpses into the world post-singularity.

[Timothy B. Lee @binarybits]

If you read last week's OpenAI post about their (quite impressive) math breakthrough, you probably got to this diagram and had no idea what you were looking at. I know I didn't. Now you can read @chi_t_williams's article explaining it and the rest of the result.

[Nvar7 @heee1950]

@dgriffinchess I miss descriptive though much classier if not as useful.

[Nvar7 @heee1950]

@xxChessMaster Unreachable

[Nvar7 @heee1950]

@timgill924 Snape?

[Nvar7 @heee1950]

@elongilad mole has a bunch of unrelated meanings in English

[Nvar7 @heee1950]

One reason I bring it up is that the unit distance problem counterexample involved constructing a huge and complex abstraction and then “projecting” it into a much simpler set of points on the plane. It reminded me of the way that these simple Laver tables arise from this literally huge interlacing of elementary embeddings of large cardinals.

[Nvar7 @heee1950]

@JDHamkins I wonder if these AIs people talk about could even understand the central conjecture: prove the period of the first row of Laver tables is unbounded without using large cardinals.