zeroonetwothree

The authors of this don’t inspire confidence in its correctness.

It’s fairly common to have errors in preprints.

Not for all banks

Most fees go to the issuing bank. The issuing bank is usually on the hook for customer disputes. So I think you are mistaken.

In programming we've been dealing this for a while. You see some weird code that doesn't make sense, maybe it's a lack of your understanding or maybe the code is bad, but you can't ask the author anymore since it's an AI.

This analogy is silly because (a) math is not primarily for entertainment, (b) we aren't going to run out of math proofs, and (c) results build on top of other results, having more results proven makes all math more powerful and useful.

Always has been

Most math isn't just proving novel famous results. Just like most of software engineering isn't writing code.

I acknowledge I am impressed how quickly it moved beyond just counterexamples.

Predictions of mass layoffs from AI have been about as wrong so far as predictions of AI plateauing.

What does "win" mean? There is no prize for this, and having someone discover a proof benefits us all.

Then 'n' means kind of different things for sorting vs. multiplication though. For example for sorting we assume constant time comparison, which doesn't make sense inputs of O(n) bits

Integer multiplication is very unexpected, I think most people believed in the n log n lower bound!

I'm not sure how AI solving math problems is related to "doom", perhaps you could expand on that? To me (a "non-doomer"), it seems like an overall positive.

Does that actually happen? Feels like it would normally be the opposite

Moving or just different goalposts?

Someone hasn’t watched High Fidelity ;)

You can’t enter into other contracts until 18 so why was marriage an exception?

Good point. Maybe it’s higher expected real growth from AI?

You’re right. There no easy fix despite what 50% of the comments in this thread claim ;)

The effective tax rate has actually not changed that much in decades, regardless the “tax cuts” (more like “tax reallocations”)

It’s essentially impossible to balance the budget without cutting entitlements as the comment you are replying to suggests.

The biggest factor is selection bias. If you are in the hospital with some terrible medical condition you aren’t going to Burning Man.

It would be interesting to look at cause of death at Burning Man, I would expect it to differ significantly from the population overall (even accounting for age).

What are some of the examples of this “best web design and engineering on the planet”?

Would you prefer it says “A peaceful protest against a stolen corrupt election”?

Honestly looks better than the original

If it can’t even tell apart Opus 5 and 5.5 (according to the readme) then it’s not useful

Corps don’t act on their own. The same people that work in corps are consumers

Half (or more?) of the point of writing docs is for you to understand the system better.

Opus 5 scoring higher than 5.5 makes me question of the value of this benchmark to real world usage