Context: George Hotz recently launched tiny corp. Their product will be the tinybox, a $15k machine capable of "[running] 65B FP16 LLaMA out of the box". Based on WayBack Machine snapshots, the timeline for shipping the tinybox is 2-6 months, starting May 25 2023.

Resolution criteria: This market resolves YES if the tiny box becomes generally available for purchase in 2023 or if there is credible evidence (as determined by me) that a customer of tiny corp has taken delivery of a tiny box in 2023. This market resolves NO if the YES criteria do not occur by the end of 2023. This market resolves N/A if the specifications or the definition of the tiny box are qualitatively changed (in my opinion, considering comments), but the YES criteria are otherwise met.

I will not bet in this market.