Eduardo C. Garrido-Merchán

Update on Erdős Problem 1196: In joint work, we refined and adapted the proof method from GPT-5.4 Pro to give proofs of several additional problems. This includes another 60 year old conjecture by Erdős, Sárközy, and Szemerédi. A proof is valued not just by the problem it solves, but by what new avenues it opens up. This is perhaps one of the first examples of an AI-generated proof having downstream impacts, which we are still exploring. We are announcing the result today at the Future of Mathematics Symposium (see links below)

Narrative violation and great insight from the latest Citadel Securities banger by Frank Flight: "We illustrated back in February that demand for software engineers, the most AI exposed occupation was accelerating higher, which we argued violates the displacement narrative. Indeed the acceleration in software job postings has continued, now up 18% from the inflection point in May last year."

Billing in xAI API Console has started showing Grok Build It's happening ...

"44 percent of polled Gen Z workers said they’re “sabotaging their company’s AI strategy in at least one way,” Link👇

consensus is pretty clear; codex is killing cc right now it will take a while for the normies to catch up, most still think claude is some unbeatable God that is stomping gpt in 'technical stuff'