Joined February 2021
Replying to @TheMarketDog
I wonder what the younger workers support, as a policy, for Boomers?
1
73
John Galt retweeted
Fake engineering: software Real engineering:
35
654
98
7,750
608,270
John Galt retweeted
5
40
5
704
15,727
Deal announcement incoming.
The US 10Y Note Yield is now moving in a literal straight-line higher, up to 5.13%. This is no longer an issue that we have months or years to address. This is unsustainable.
1
252
John Galt retweeted
Looks like today may be a record day for token volume % of open models on Vercel AI Gateway: 🟦 Open 78.4% 🟨 Closed 21.6% While spend 💲 usually tells a different story, #3 and #4 today are Moonshot AI & DeepSeek. Adding Z⁠.ai, their combined spend surpasses OpenAI (#2). (Do note that's the spend for inference of the model across providers (mostly in the US), not revenue going directly to the open weight labs.)
239
338
307
2,552
2,763,308
No wonder OpenAI delayed their IPO plans. Secondary shares are being offered at an implied $475 bn valuation, down roughly 44% from the $852 bn primary round earlier this year, that makes that $1 tn IPO look near impossible right now. Hearing Anthropic is being offered around a $700 bn valuation on the secondary market, yet they’re still trying to pitch their IPO between $1 tn and $2 tn. Good luck with that. We all know how flaky secondary markets can be, so make of it what you will.
139
160
51
2,045
474,173
The HR lady as I'm trying to explain why I was unconsciously humming "engine, engine, engine, engine in my faggotry" to myself at the morning standup.
This quoted post is unavailable.
104
1,847
29
58,096
3,496,863
You probably will want to read Tristan's statement. cims.nyu.edu/~tristanb/state…
13
52
30
494
291,520
John Galt retweeted
> OpenAI hears rumor that Anthropic solved Millenium problem > they decide to steal it and throw millions of dollars at it, using trillions of tokens with roughly 10 000 concurrent agents > they find a proof > go to the press to steal the headlines and claim that no chats were read by employees or AIs
Axios and Wired just reported that OpenAI claims to have solved that an internal AI model produced a proof resolving the Navier–Stokes Millennium Prize problem OpenAI started to search for a solution to this problem on Sep 1 "after OpenAI researchers heard rumors that two Millennium Prize problems had been solved" Axios reported that "10,000 concurrent agents worked on the Navier–Stokes effort, reaching the result in about 88 hours."
43
30
9
770
127,247
You're missing the core drama of the story: Tristan is softly accusing OpenAI of having stolen their result from Codex chat logs. Tristan then claims OpenAI tried to threaten him to not publicly disclose this, and that they'd give him the Clay Prize ($1M) as the "closest humans to the problem" if he'd agree to disavow his co-author, @__alpoge__ , who is at Anthropic. This is HBO-level drama, but with math proofs.
SITUATION DETECTED: Mathematicians Tristan Buckmaster and Levent Alpöge have made major progress toward solving the Navier-Stokes existence and smoothness problem, one of the most important problems in mathematics, and say OpenAI may have solved it fully.
237
3,670
411
25,682
1,606,703
John Galt retweeted
WORLD'S TOP MATHEMATICIAN SAYS AI MAY BE MAKING US TOO EFFICIENT terence tao talks about how he used to go to the library for one paper and randomly find another one sitting next to it now u type exactly what u need into search or ai and get it in seconds his take: "you actually do need a certain level of distraction in your life." and i think this goes way beyond math we keep treating everything between the question and the answer like wasted time, but sometimes thats literally where the learning happened u looked for one thing, read something u didnt need, got confused, went somewhere else and came back knowing more than u originally asked for ai removing all that friction is insanely useful, i use it every day. i just dont think every second we remove from the process was useless sometimes getting the answer slower was part of what made the answer yours
124
268
72
2,156
296,349
48
114
10
6,625
646,875
John Galt retweeted
6
129
17,993
Welcome to the wild sport of combat juggling
422
3,062
901
17,848
A real hunter gatherer
574
9,110
1,159
83,633