OpenAI just dropped four huge results from its secret internal AI model.
1. Math: It solved the Kakeya conjecture in every dimension. Mathematicians had only cracked small pieces before (2D in 2019, 3D in 2025).
2. Computer science: It proved the Exponential Time Hypothesis is false. Hundreds of research papers assumed it was true. Some really hard problems might be solvable much faster than thought.
3. Physics: It proved the theory of the strong force (QCD)—the force holding atoms' insides together—actually works mathematically. Same for a unified version of the Standard Model.
4. Yang–Mills: Along the way, it proved Yang–Mills existence, part of a $1 million Millennium Prize problem.
The math, computer science, and Yang–Mills proofs were all computer double-checked. Top experts are now reviewing everything, including the researchers who proposed the disproved hypothesis and a Nobel Prize winner.
OpenAI says it doesn't want academic credit. The model still isn't public 👀
We believe voice is the most natural way to interact with intelligence, so we created Dessa, the most authentic full-duplex speech model ever built. Talking with it feels like talking with a person…full of emotion, nuance, pauses, and a natural cadence.
https://t.co/r0qFLdvd6c
The problem of AI for academic writing, and why you don't notice it in your own AI writing:
AI loves to use vague language. It will produce something that’s consistent with what you want it to say. The problem is that it will also be consistent with other interpretations that you didn’t intend. This confuses readers: which interpretation was meant?
But you won’t notice the problem when you proofread your AI’s output. That's because you’re checking whether the output is consistent with what you meant (which it will be), without thinking about how it could be misunderstood (which we're usually unskilled at, due to the curse of knowledge)
I'm not an Elon hater.
I'm just telling you the Honest Truth:
This is a marketing stunt.
The technology is quite old.
Just nobody ever thought of bolting it on a car.
Because it's pointless.
Porsche or Ferrari could also build something like this if they wanted, but they don't, because it's not worth it for them.
It's worth it for Elon though, because his entire brand is all about having the halo of futurism.
His marketing scales especially well with tech gimmicks like this, which is why he is financially incentivised to do them, while others aren't.
Again, I'm not hating, but actually educating yall.
This is not engineering genius.
It's marketing genius.
i think a total discard of memory and then restart randomly may not be efficient in compute. basically we want to increase the uncertainty in exploration while maintaining a good thread so far
As agents perform AutoResearch they get fixated on their old ideas and do only incremental innovations. We introduce a simple context management trick that forces the agents to forget everything they have done except the best solution they have found so far.
This simple modification in context management allows the agents to get out of their idea basins and come up with more novel solutions.
Closely related to the work 'Fork and Flush' and 'Idea-basins' that @DimitrisPapail posted a few days ago.
AI was supposed to make us work less
I've never been this tired in my life
most days I have up to 10 agents running at the same time. one fixing a bug, one writing pages, one refactoring something I already forgot I asked for, 3 other I have no idea what they are doing but i suppose i ask it?
and I jump from conversation to conversation all day
compared to 5 years ago, I probably context switch 100x more
by the end of the day my brain is fried. completely toasted. nothing left, not even for the people I love
I call it the fried brain effect
thought it was just me but almost every founder I talk to lately says the exact same thing
we got superpowers, and somehow the pressure only went up. if you can ship 10x more, you feel like you have to ship 10x more. every single day
I don't have a solution
honestly I have no idea where this goes from here
anyone else feeling this?
We turned @OpenAI's math problems into open-source RL environments on @huggingface!
Early and rough (the verifier only accepts the exact original formalization, so an equivalent proof can still score 0), but this is what it looks like when a research release becomes executable training infrastructure for everyone.
This is an exciting direction imo: turning open research into open executable environments that anyone can build on to train better open models!
https://t.co/CtDUzi1DPP
The results of this poll has gotten me confused. I definitely thought it would sway much more favorably in the 2X direction across Pro 100/200/500 at the cost of bringing back 5h limits in order to smoothen the demand curve.
Lately I’ve been learning math with ChatGPT (Astra) as my tutor, using this document scanning camera and a vibecoded tool that pastes the captured image right into the chat.
This way, I just work problems on paper and ChatGPT gives feedback. It’s really nice.
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.
https://t.co/7N6TPlft1P
OpenAI dropping hundreds of proofs to AI-assisted frontier math problems is going to be a Renaissance for mathematics as a field.
i’m tired of short-sighted academics pretending the opposite is true
a comprehensive intro to KV cache management, batching, continuous (iteration-level) batching, paged attention , chunked prefill that underpins the vLLM serving pipeline || The Annotated LLM Server: How Modern LLM Serving Actually Works https://t.co/JUl9j4Erhg via @YouTube