ResearchAI agents turned the longest proof in maths into code a computer can checkRoman Aglaganov30 OCT 2026
ResearchBots wrote three in four replies to a UK consultation on banning disposable vapesRoman Aglaganov30 OCT 2026
ResearchOpenAI says its models solved three famous problems. Experts have started checkingRoman Aglaganov30 OCT 2026
PolicyThe Netherlands plans to cut 25,000 civil service jobs and lean on AIRoman Aglaganov30 OCT 2026
IndustryOpenAI reportedly plans to buy Google’s AI chips, as Google starts selling them to everyoneRoman Aglaganov30 OCT 2026
IndustryGoogle puts ads into AI search worldwide, as its search growth slowsRoman Aglaganov29 OCT 2026
ModelsGemini 4 Carbon: Google’s new top model goes to cyber defenders firstRoman Aglaganov29 OCT 2026
