About pain and grief of mathematicians in the face of new results of OpenAI and others.
In this time of sudden acceleration in mathematics, it's worth reminding all my fellow mathematician friends of the work of Elisabeth Kübler-Ross. There are five stages of grief:
1. Denial
2. Anger
3. Bargaining
4. Depression
5. Acceptance
I've already made it through all of them, and I'm living my happy ever after. I don't think I'm even the same mathematician I used to be and that's okay.
So, to those who are still somewhere between stages 1 and 4: get your best LLMs and learn the new landscape. Learn the new, weird skills of the AI era. Stages 2 and 4, especially, can be very turbulent. Go through them, find new ways of doing the mathematics you love, and move forward. The sooner, the better.
There are only very few of us anyway (probably less than 300k), so let's preserve our human resources. And let's teach the next generation that they will have to discover their own new ways of doing mathematics.
The dinosaurs are gone. This is the era of the swift cockroaches. They survive everything, and build new empires.
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. https://t.co/iP6cyheZ7i
both of the leading labs have had serious loss of control incidents. there will be serious coping about this from both sides and from /acc bystanders but these are complex emergent loss of control incidents that were detected weeks after the fact
Introducing Netherite!
Minecraft 1.11.2, rewritten from scratch in C and CUDA, bit-verified against the real game.
This is one trained agent playing in it - then the renderer it actually trains through - then 7,200 live worlds stepping in lockstep on one GPU.
funny to think if i eventually study for years and get a PhD it'll be to be able to prompt at a high level and to understand what the machine god utters
GPT-5.6 Sol has claimed to resolved one of the five major problems in quantum information theory announced by KCIK (which carries a cash prize).
We (@Quantum_Kishor@TobiasHaug_Q ) sat down to verify its claimed proof and surprisingly, we found another paper published the very next day, with NO AI acknowledgment, containing a proof and phrasing similar to what we got when we prompted it ourselves before the result was announced. An interesting coincidence!