laichzeit0

What if you could solve this bottom up, e.g.: Math -> Physics -> Chemistry -> Biology. I'm assuming that's how it would in theory play out.

> Coq (renamed Rocq last year)

This is lamentable.

Ok? Why is this significant?

I’ve always been dumbfounded by programmers who believed they were being paid by business to “write code”. Maybe get your head out of your asses and sit in a few meetings where the requirements are being generated from. You’d quickly realize no one has ever cared about “the code” that was always an inconvenient time and money wasting means to an end.

It’s an assumption, with the LLM it is a fact. There is only one source of entropy, whatever the seed value is to any pseudo random number generator used for stochastic operations. Given those values, everything is deterministic. For the brain, it’s not at all obvious that this is true.

Have no idea why you’re being downvoted as this is a very valid point.

Also, in principle everything a GPU does could be done on pencil and paper. You could distribute the entire forward pass to the whole of humanity and have them write it out. Even if it took millions of years, the point is it’s computationally reducible to hand calculation. Is that entire process now “conscious” as well? The only difference would be the clock rate.

I don’t think Chinese models care one iota about any of these advisory groups. Even if they’re one year behind the curve, a year or two is a piss drop in the grand scheme of things.

Where do you see a list of which languages it supports?

I don’t know what’s wrong with Opus 5. I’ve been using Code since November 2025 and Opus 5 is the first blatant regression I’ve seen. Like you said, it just goes off into an endless loop doing random busy-work type of stuff. That’s the best way I can describe it. It’s doing stuff, but it seems mostly like busy-work to me. I’m not saying the model is “dumb” it’s most certainly capable, its vision is better than 4.8 but however they post-trained it is a fuckup.

Also whole heartedly agree with the Opus 5 output being incomprehensible. It’s written in a way that I’d call spaghetti-tech-English. You can unravel it but it’s painful. Fables explanations is effortless and smooth. Opus 5 is user hostile.

Yeah I do something similar and Claude (well OpenAI too) just refuses to transcribe anything related to slavery and pederasty in Ancient Greece.

Two thoughts on someone who went out of their way to learn math:

1. If you can already program, the worst thing you can do is think of mathematics as learning a programming language. It is not, and you will waste your time being frustrated with things like syntax and notation. You get “used to” mathematics by doing it, and it’s something on its own. Just go with it. It’s ok to be confused.

2. Do the exercises, and stop asking for “solution manuals”, the point is to get you thinking and the struggle is most important part, not whether you got it “right”. Again, I think this is a programmer centric way of looking at things: “how do I know it’s right if I can’t compile it”.

Maybe that’s why programmers like the foundations of mathematics. Like if somehow they could just go to the bottom of things, the assembler/machine code of sorts, the whole enterprise would make sense. Counterintuitively, the really great mathematicians of yore, did mathematics before it was anywhere close to formalized.