@sparbuchfeinde 1. Unterrichtsfreie Zeit ist nicht gleichzusetzen mit Urlaub 2. Das Beispiel (Gehalt plus Privatschule) eher unüblich. 3. Je nach Posten durchaus Führungsverantwortung 4. Wenn alles so toll ist, warum gibt es dann einen Lehrermangel?
Hallucinated references are a serious scientific and ethical problem, but basically no scientific institution seems to care.
The only exception I'm aware of is that arXiv bans people for them.
This is the right approach to AI slop-driven fraud.
If it was actually important to "pace the frontier", wouldn't the first step be to limit the amount of capital that AI companies can raise? Funny how he doesn't mention that at all.
Nobody should trust these guys to influence policy.
@elvisvelea@PortlandHODL@adam3us Hmm, I think you are confusing with opting out from your data / tokens produced to be trained. But nothing stops from knowing what output you are getting
Suppose you get a 2 billion line of code (LoC) Lean proof of the Riemann Hypothesis or the Collatz Conjecture. What have you actually learned?
The proof of Fermat’s Last Theorem is ~13M LoC in Lean, but at least there’s a human-readable mathematical spine underpinning it: Wiles/Taylor-Wiles, and you can follow the argument end to end.
A kernel-verified proof with no human-compressible argument feels like it could be a genuinely different object: proof without understanding.
What happens when the shortest known proof certificate is machine-scale, but the shortest known explanation is nonexistent?
GPT-6 Astra represents a step-function change in model capability for interactive reasoning problems. It scores 66% on ARC-AGI-3 using our standard harness, and nearly 100% with a continuous conversation harness and custom compaction, at a cost of roughly $360 per game.
In fact, the continuous harness version significantly outperforms our human baseline in action efficiency across almost all levels. When we examined the reasoning chains to understand how the model operates, we found it performing highly efficient, on-the-fly symbolic world modeling for each game and level. It goes as far as developing its own shorthand DSL to represent in-game situations -- essentially a game-specific algebraic notation.
Overall, Astra exhibits symbolic modeling behaviors we had previously only seen with sophisticated harnesses -- so harness capabilities are increasingly shifting into the model itself.
We see Astra as a major breakthrough in model intelligence.
Read our post on Astra and what these results mean: https://t.co/wJnYxEqYNI