With 40% formalized they probably have a good idea of how many were found to have fatal issues in the formalization attempt, and they hired some mathematicians to verify some of them, especially the big headline ones.

If you read the model specs, they have a maximum output length. If you are running into that it might simply be that you are seeing the difference with a harness that can allow it to take another turn automatically and build up the output in a file vs the chat which may not be able to, though they do get some tools there.

The response output length limit includes the thinking tokens.

There are real safety concerns with AI that can be made very convincingly though.

"Whereas traditional electronics are based on control of charge carriers (n- or p-type), practical magnetic semiconductors would also allow control of quantum spin state (up or down). "

https://en.wikipedia.org/wiki/Magnetic_semiconductor

That page lists a bunch of other stuff too.

Wikipedia seems to say it is new, assuming this one has "robust" coexistence of the properties the framing would be important and not just thrown in there to trick people into thinking it was about superconductors:

> To date, GaMnAs remains the only semiconductor material with robust coexistence of ferromagnetism persisting up to rather high Curie temperatures around 100–200 K.

If there is an important combination of material properties that previously was only available at cryogenic temps, a room temp version is significant since you don't need cryogenic cooling to take advantage of it.

https://arxiv.org/abs/2304.01433

On Proof and Progress in Mathematics talks about how much gets lost of the geometric understanding when translated to a paper. The kinds of things many mathematicians visualize in their head will be much easier to transmit.

I don't know if that is enough to offset the other affects, but learning and transmitting the understanding should be able to get much easier for a lot of people in principle.