read more: https://alphaxiv.org/abs/2604.14084
AI
-
Scaling Self-Play with Self-Guidance for Theorem Proving
By
–
"Scaling Self-Play with Self-Guidance" The main problem with self-play for theorem proving is that generator usually learns to reward hack, which produces messy hard problems that do not help the solver. This paper suggests by adding a Guide model that scores generated
-
GPT-5.5 Launches on Perplexity and as Default Orchestration Model
By
–
GPT-5.5 is now available on Perplexity for Max subscribers. GPT-5.5 is also rolling out as the default orchestration model in Computer for both Pro and Max subscribers.
-
AI Researchers’ Perspective on Existential Risk
By
–
Real AI researchers don't worry about AI extinction.
-
Enterprise AI Strategy: Google Cloud and IBM Infrastructure Partnership
By
–
Is your enterprise AI strategy sitting on a broken foundation? At #GoogleCloudNext, I spoke with Alan Bivens, VP of Strategic Partnership at @IBM about their partnership with @GoogleCloudTech
. This is infrastructure finally catching up to AI. Watch our conversation: -
US AI Leadership Critical for Safety and Global Competition
By
–
‘It will kill us all so we need to slow it down.’ Who benefits from a US slowdown? Also, you set the terms of engagement by having the best capability. If you care about AI safety, it’s even more important that the US is ahead. Look, for instance at the position Europe
-
Top 5 AI News: GPT-5.5 and ChatGPT Images 2.0 Released
By
–
These are the top 5 AI news stories from the past week that you should actually care about: – @OpenAI dropped GPT-5.5 that’s supposed to need less prompting for better answers
– OpenAI also released ChatGPT Images 2.0 with people saying it beats Nano Banana
– @AnthropicAI