nimonian

The greatest proof ever written by man, Andrew Wiles' FLT, was published with a flaw before being retracted and reworked. It's _completely_ normal in mathematics to find flaws in the argument. That's what peer review in mathematics is _for_.

Besides which it's not clear if these papers are considered published or preprint since they appear in no journal, so it's not really a retraction.

It's also very very normal to post preprints on Arxiv before peer review, so it's not the case that mathematics is kept private during review.

I see where you are coming from. But 6.1 Sol seems like a new frontier in pricing, not intelligence. I do think the deceleration stuff was mostly bluster, but I don't think this release in particular contradicts it too much.

You have an extra reset that you can trigger any time before Oct 22

I recommend reading the web page. It is quite short.

I am freaking out. This is a huge moment.

I don't want to drag the discourse away from this achievement, but I hate how this is announced with blatant corporate advertising (our internal model, here are the benchmarks, gpt astra TM yours now for the low low price of £200pcm). I just didn't think Navier-Stokes falling would be sponsored by McDonald's.

Still. I am crying right now. Navier-Stokes is solved.

Climate change, most likely.

Agreed. Opus 5 is doing just fine, slightly better than 4.8. It's personality is insufferable, but I find myself catching fewer problems at code review. It generally understands my conventions and isn't so eager to accrue tech debt.

Both. Command the author to use the style, then command a reviewer to check it. Write one skill called review-prose with your rules, and another called write prose which tells the author they will be judged by review-prose, so you only write the rules once.

What I have found is that getting a model to rewrite a badly written passage is hard, because it seems to key off what it reads. It might swap some vocabulary around ok, but it doesn't fix structures very well. So getting it close to the preferred style in the first place is better.

To take this further, if you must fix existing bad prose, write a clean-prose skill which extracts the bare structure of the prose with none of the style, hands it to an author subagent who isn't poisoned with the original bad prose, then hands the output to a reviewer subagent.

Opus 5 writing is horrendous, so I have been experimenting with improving the output!

_Exactly_.

Both the article and the parent comment treat "happens to have Kik account" as an independent discovery that affects our Bayesian inference.

No. The innocent was identified exactly _because_ they have a Kik account, so the conditional probability they have a Kik account is 1.

What you're describing is very close to what education theory calls "assimilation" and "accommodation". When we assimilate knowledge, it just fits into our schema of understanding. When we accommodate knowledge, we need to change our schema, and that is where the feeling of being challenged (and often the feeling of profundity) comes from.

For example, a child learns that "foreigner" means someone from outside their country. Then, when they're 11, they go on their first holiday abroad and realise "Wait! _I_ am a foreigner here!"

So, maybe one way to frame what you're saying, is that LLM output tends towards being easily assimilable.

The article presents hypothesis as fact with insufficient science. I have no problem discussing speculation, but if the author wants to promote their claims to any more than that I would want to see more journalism.

I completely agree with this you. The article is NOT about product ideas. Your parent has misunderstood the article.

This is pretty unfair. If the author didn't establish some context there would be someone else here saying "Check out this dilettante telling me what to think."

I have a degree in mathematics followed by twenty years in software development (pillory me, if you like). My conclusions after 6 months of using LLMs every day are remarkably similar to the author's. I increasingly think in shapes, architectures, data structures and ideas; less and less in lines of code.

And I fully understand his point that, once the architecture of an idea is settled, reading LLM code does not feel worse than reading human generated code. Especially if you have a strong style and conventions guide.

The idea is the hard part, and it's the right place to focus your effort.

Neat! I think agents making Word docs and PowerPoints is going to go away. I think something like small docs is the future.

Online chess is taken seriously as an e-sport, especially at the top levels, and is played for cash prizes. Imagine if the best cs:go or competitive programmers were found to be cheating. They would be ostracized.