They explain in the article that they eventually redirected all their resources towards NS.

So instead of dictating research to unsolved, or largely unsolved, problems, we are now as "a society" directing compute power towards sniping research outcomes.

I thought this was an ebay thing for people with too much free money, but it seems a bit larger.

Isn't it immediately obvious that solving something that humans have been unable to do for decades or more is the most tangible proof of ASI, or at the very least pretty good AGI?

Is this something humans have been unable to do?

There’s only so many people with the necessary skills to solve this. And you need these humans to choose to spend their time solving this, and not something else.

>Is this something humans have been unable to do?

It's a famous open problem so yeah

>There’s only so many people with the necessary skills to solve this. And you need these humans to choose to spend their time solving this, and not something else.

Sure, but that doesn't mean a lot of very skilled people hadn't attempted and failed to solve this.

And you’ve known about this problem for how many minutes?

Long enough to know this has been on the Wikipedia page of open math problems for several years.

Your comment is interesting because it shows how engineers view their work: through the product, i.e the why, or through the craft, i.e the how.

What you consider "exciting", as a theoretical gardener, is the act of taking care of the plants. What OP finds it exciting is that they may now get a team of gardeners that'll build a Versailles-like garden for free.

I wonder how much of it is simply that Sublime has a very pleasant default color theme (Monokai) in my opinion. It feels warmer than other IDEs. I actually use it in VScode too now.

Thesevm processes don't need to be immutable, they could evolve to accept both eventually. LaTeX has had its time, it's good to see competition even though it may not be as mature yet.

Good luck trying to convince a large group of maths professors to change the way they are doing things.

These math professors are going to be replaced by younger math professors eventually which may know and like Typst more than LaTeX.

Something I rarely see asked would be: what's the maintenance story with rust? Do you have metrics about the number of bugs compared to other languages, e.g. go, python? When you have to add a new feature to an existing rust system, is it easier/harder/the same than with another language? How easy is it to read old rust code? Obviously, you won't have 10 year old rust codebases, but even reading something I wrote a year ago can be difficult in, e.g. C++.