spectrums_coherence

No I think you are thinking of calyx. Graphene repeatedly asserted that they won't support fairphone because of the slow update.

I wouldn't even listen to it for money (unless it is a lot of money

Mathematics, and really any other subject, are not just about solving formalized problem. It is much more important to understand what question to ask.

One of my colleague once said the definitions in a good (computer science) paper should be the most interesting part, theorem statements should be the second interesting, and the proofs should be obvious.

Formal proof means nothing if it cannot give us insight in other proofs.

Same with open problems, Mathematician love open problems because given that no expert are able to solve them, their solution likely involves novel mathematical ideas. Fermat's last theorem on its own is no where near as interesting as the mathematics that leads to its soluion.

Given that AI have yet to be able to wield the mathematical corpus effectively in solving large projects (or even fully autonomously improve large software), it would need human guidence, and by that, human experts are needed to understand the problem.

To qoute another one of my colleagues, people orchestrated AI to solve an open problem are simply the apple falling on Newton's head. Apple "knows" about the existence of gravity, because its motion follows it, but it takes a Newton to formulate and explain gravity that leads to a number of technological advancement later. Without the question "why do apple fall", apple will keep falling, we will keep noticing it, but we would never turn that observation into useful technologies we enjoy today.

Suppose we had a library filled with proofs of every theorem [in mathematics], as well as excellent guides that could, given a question, take us to the answer and explain it. What would a mathematician do in such a library?

If you ask the question this way, the answer becomes clear: they would be unbelievably excited, and immediately get to work. They would immediately start asking questions: how does one prove the Riemann hypothesis? The Hodge conjecture? Their own pet obsession (in my case, the Grothendieck-Katz p-curvature conjecture)? Then they would work until they understood the answer. The job would not be done, not even close.

This paragraph by Daniel Litt feels to me like hubris coming from someone in the position of power. Many tech-optimistic mathematician are not at the risk of being replaced by AI because they are either on the tenure track or already tenured.

We need to acknowledge that mathematics is a subject of more human importance than economical importance. In this hyper profit driven world, field without a primary economical drive will necessarily shrink significantly.

Mathematics have no doubt experienced that: in the cold war, mathematics is behind most of the technological advancement that lead to concrete economical output. Later, as many of these fields stablized, engineer and computer scientists takes the place of mathematician, and mathematics shrunk significantly.

Now mathematics still holds importance because people believe it still encapsulates important ideas that have the potential to be the next generation of economical driver force. And mathematicians are important to preserve and disseminate such knowledge.

So if such truth oracle described above can develop and articulate any mathematical idea better than (or even close to the quality of) any mathematicians, it would be fun for established mathematician to flip through the answer sheets of their puzzle, but it would kill the financial driver and wipe out most of professional mathematics with it.

@Grok is this slop?

Framework said that even LPCAMM2 cannot support the desired ram speed of strix halo.

What? A company that is making -5 billion net income lost 1 trillion in market value?!

WHAT? eastern bunnies are made up? you cannot just drop that on a innocent stranger?!

That is just plain not true. If you are a enthusiast and know where to look then you definitely can find better deal than framework, but getting a dell (or even better dell?) for half of the price is simple not true.

On Dell website https://www.dell.com/en-us/shop/dell-laptops/new-xps-14-laptop/spd/xps-da14260-laptop, a core ultra 7 358H with 32GB Ram and 1TB SDD is 2749$ with no touch screen and a 2K display and windows Home.

On framework website https://frame.work/products/laptop13pro-intel-ultra-3/configuration/new, the same processor, ram, storage, with 2.8k touch screen, plus windows pro cost 2299$

Framework is cheaper than dell if you don't try to find deals or buy older models.

If you buy older models, then framework don't need to replace ram, I can upgrade my laptop to kitted out ryzen AI 9 for only 849$, https://frame.work/products/mainboard-amd-ai300?v=FRANTE0009 with my existing 64GB of ram. I don't think you can get any laptop close to that quality with this price.

oh Sorry, bad at reading comprehensions :(

Nope, not on intel core ultra 3 unfortunately (unless you have LPCAMM2 lying around, which is unlikely), that is the risky part I mentioned in the end.

If you have a desktop with internet connection, maybe a USB stick would suffice?

There is also USB tethering from a phone that could work.

I am not defending framework. They should try to do better (maybe windows is the bottleneck? not sure). Just offering solutions to people who might encounter this problem later.