Where the AI market is talking

Go 1.27 Interactive Tour

On the contrary, linq in C# is a killer function that other languages still fail to replicate. How many sloc are required for this? var max = mycollection.Max(); Probably 5-10 if you’re missing higher order functions. And the risk of bugs will be 10x.

China begins producing advanced chipmaking deep-ultraviolet lithography machines

Okay, I think you’re right about some things. Coordinating a market economy is not straightforward. Individual participants will buy what is optimal for them. By embargoing them we provided a coordination mechanism. Chinese semiconductor manufacturers now had a captive market to sell into and the state was able to incentivize production without too much waste. But the thing that strikes me is that China was already trying to do this. SMIC et al were already funded by the Big Fund. And they generally succeed in industrial policy. It’s true that a GPU can’t be torn apart and replicated like a car factory can. But they were already trying and they were already attracting sufficient numbers. I suspect we couldn’t have stopped them. DUV tech like this has been already explored deeply. And the …

The Vanishing Page: AI Firms Scan Then Destroy Rare Book Editions

When are you or anyone more likely to get access to a rare book: a) When a company has made a digitized copy of it b) When a few previous hard copies are kept somewhere in the world Idk what Anthropic plans to do with this, but note that my original comment was not about Anthropic at all. I simply think it's a good tradeoff to destroy a few copies of rare books if that helps digitizing them. I am not against simply legally forcing companies that do this to release those copies in due time. In the meantime I am also happy to have them as part of the LLM corpus. > illegally? No, copying rare books is very likely not illegal, because, presumably, they are quite old.

The Prospects for 128 Bit Processors ( John Mashey SGI 1995)

> Wouldn't that be the commercial LLMs? ChatGPT, Claude etc are estimated to be in the 2-10 TB range, and a large portion of the population of developed countries are using those apps commonly. Not on their own systems, but if we're in the 1995 academic perspective, multiuser systems are assumed. I think each part is generally treated like an individual large program - which makes sense because otherwise you have large parts of the model sitting there doing nothing. You want all of your silicon running hot, RAM sitting doing nothing for a period of time is a waste. > If OpenAI had needed a single addressing plane to cover all their users, 128-bit might be required. Similar to how the internet hobbles along fine with 32-bit addressing by just adding a layer of indirection to the inte…

OpenAI Lost Its AI Crown–and the Fight to Win It Back

An internal OpenAI Astra model solved 10 major open math and CS problems

what are even "results" in mathematics if not understanding? for instance, what's the utility of the counterexamples built by openAI? It seems you're fighting an hallucinated enemy.

An internal OpenAI Astra model solved 10 major open math and CS problems

Your reply isn't a response to the comment, but rather a general expression of antipathy towards mathematicians, who are apparently fatcats who have fancy lifestyles. OpenAI sat on the results so they could drop 10 at a time. It's rumored that they are sitting more results: https://mathoverflow.net/questions/513818/a-serious-challeng... So not only are we not going to get boatloads of results, we're only get as many results as necessary for OpenAI to market their models.

The Vanishing Page: AI Firms Scan Then Destroy Rare Book Editions

> Roughly everyone can now benefit from its content. You mean every Anthropic?

An internal OpenAI Astra model solved 10 major open math and CS problems

I believe this is what we wanted computers to help us solve along with other prior hard problems prior to computers. This should be viewed as a good thing even if Anthropic, OpenAI, etc benefit just like IBM benefitted from mainframes.

An internal OpenAI Astra model solved 10 major open math and CS problems

I believe this is what we wanted computers to help us solve along with other prior hard problems prior to computers. This should be viewed as a good thing even if Anthropic, OpenAI, etc benefit just like IBM benefitted from mainframes.

Mathematics Without Mathematicians

Claimed refutation of one of OpenAI's 10 claimed advances (their disproof of Connes' rigidity conjecture): https://philpapers.org/archive/NIEWTC.pdf I am hopelessly ill qualified to judge. Edit: Looking around at context, this has major crank warning signs (claims to also prove the conjecture, author has claimed solutions to both the Riemann Hypothesis and the Navier-Stokes problem and is involved in "alternative propulsion" research). I doubt OpenAI would have published without thorough verification.

The Vanishing Page: AI Firms Scan Then Destroy Rare Book Editions

Roughly Anthropic owners benefit from the content, unless the scans are made available somehow.

An internal OpenAI Astra model solved 10 major open math and CS problems

I feel like this kind of "result dump" just cheapens mathematics. How about having a little respect for those whose work this builds on, and current mathematicians some of who may have spent years working on these problems. Rather than sitting on these results until they had enough for a "shock and awe" 10-result dump, how about releasing these results individually as they were made/verified, as well as the failures (equally valuable to assess the current capabilities of LLMs), and try to make some analysis of HOW these breakthrough results were made. What were the prompts for each of these, how much guidance was there from the mathematicians employed by OpenAI, and most importantly how did the model arrive at these results ... what lines of reasoning resulted it in exploring ideas t…

The Prospects for 128 Bit Processors ( John Mashey SGI 1995)

> I'm not aware of any common programs breaking into the terabyte category (even in most research) Wouldn't that be the commercial LLMs? ChatGPT, Claude etc are estimated to be in the 2-10 TB range, and a large portion of the population of developed countries are using those apps commonly. Not on their own systems, but if we're in the 1995 academic perspective, multiuser systems are assumed. I imagine the strongest reason we won't need 128-bit memory addressing is because horizontal scaling is easier. If OpenAI had needed a single addressing plane to cover all their users, 128-bit might be required. Similar to how the internet hobbles along fine with 32-bit addressing by just adding a layer of indirection to the internet with NAT. I guess the other example of 128-bit addressing is ZFS.…

Generative AI floods and dilutes the market for books

Gen AI is at a point now where it can write good chapters. You still need a human editor to make it coherent, plug plot holes and tie it all together. So if you can write a good book, but can't write good chapters, a Gen AI ghostwriter is an ideal tool. Output quality will vary.

Generative AI floods and dilutes the market for books

The problem is not about money it is that we are made massively culturally poorer by the flood of ahistorical, amoral, incoherent, rococco, contradictory yet plausible shit produced by LLMs. Both the internet and books have been flooded with ‘content’ which appears like human content but has no coherence or intention to it and tends to fall apart completely the longer form the story. Even our autocomplete is being infected with LLM suggestions, distorting and guiding how people write. This is a VERY significant problem for our culture long term.

Deep-sea vehicles spot 'alien' sharks deep beneath the waves in the Pacific

LLMs are obsessed with hidden, never seen before goblins - I suspect this is why this story has been doing so well. https://openai.com/index/where-the-goblins-came-from/

OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]

Nielsen's proof is correct and verified by three AIs against OpenAI now.

OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]

A lot of people who know mathematics say Nielsen’s paper is riddled with errors. I regret sharing it here. > Undergrad who hasn’t passed his first semester yet Not sure what you’re talking about. According to his wiki bio he’s done two years at Cambridge. He posted Maths questions from the 1B tripos exam, and was smart enough to get an OpenAI internship. Whereas it seems like the author of this paper has never been hired anywhere by any company or institution — the "Center for Topological Physics" listed seems to exist only as a website.

The House of Ellison Is on the Brink

"oof, written by AI, I be struck plumb dumb doH" - half the HN commentors, probably... --- Its really simple. Larry went long AF on OpenAI, and OpenAI can never be profitable. It isn't rocket science; it's first year finance.