AI model overturns Erdős conjecture & Google rebuilds Search around AI - News (May 22, 2026)

Please support this podcast by checking out our sponsors:

- KrispCall: Agentic Cloud Telephony - https://try.krispcall.com/tad

- Prezi: Create AI presentations fast - https://try.prezi.com/automated_daily

- Effortless AI design for presentations, websites, and more with Gamma - https://try.gamma.app/tad


Support The Automated Daily directly:

Buy me a coffee: https://buymeacoffee.com/theautomateddaily
Today's topics:

AI model overturns Erdős conjecture - OpenAI says a new reasoning model produced an original proof that disproves a 1946 Paul Erdős discrete geometry conjecture, with outside mathematicians commenting. If confirmed, it strengthens the case for AI-assisted discovery and long-chain reasoning.

Google rebuilds Search around AI - At Google I/O 2026, Google announced an AI-first Search experience powered by Gemini, shifting from blue links to summaries and chat-style follow-ups. The change could reshape web traffic, SEO, and how publishers and small businesses get discovered.

Macrophages caught eating melanoma cells - Garvan Institute and UNSW filmed CD169-positive macrophages actively engulfing live melanoma cells in real time in mice, slowing tumor growth. The finding is notable because it appears to work independently of T cells and B cells, hinting at new immunotherapy angles.

AI-designed miniproteins target key receptors - University of Washington researchers and Skape Bio used AI protein design to create tiny miniproteins that can switch GPCRs on or off in living cells. Because GPCRs are major drug targets, this could open new paths where conventional molecules struggle.

Armored CAR-T shows promise in glioblastoma - UCLA’s cytokine-armored CAR-T approach against glioblastoma boosted anti-tumor immunity in immunocompetent mice, helping address antigen escape. Safety tweaks, including a VEGF-targeting element, aimed to reduce inflammation-linked toxicity.

Retatrutide raises the bar in weight loss - Eli Lilly reported phase 3 data suggesting weekly retatrutide delivered larger average weight loss than current leading obesity drugs over 80 weeks. The results intensify competition while keeping tolerability and side effects in focus.

Obesity body atlas flags nerve damage - German researchers introduced MouseMapper, an AI-driven whole-body atlas showing obesity-related changes at cellular resolution. A surprising signal was trigeminal nerve damage in mice, with similar molecular patterns found in human samples.

Trump weighs Taiwan arms call - President Trump said he may speak directly with Taiwan’s President Lai about a possible arms sale, a break from decades of diplomatic practice. China condemned the idea, raising the risk of sharper US–China tensions over Taiwan.

WHO declares Ebola global emergency - The WHO declared the DRC Ebola outbreak a Public Health Emergency of International Concern after spread into Uganda. The Bundibugyo strain complicates response because existing vaccines largely target other strains, making containment measures and supportive care crucial.




Episode Transcript
AI model overturns Erdős conjecture
We’ll start in the world of AI and discovery. OpenAI says its newest general-purpose reasoning model has produced an original proof that disproves a well-known discrete geometry conjecture posed by Paul Erdős back in 1946. That’s a big claim in a field that doesn’t hand out credit easily—and it’s especially notable because OpenAI previously took heat after earlier “Erdős problem” claims turned out to overlap with already-known results. This time, the company pointed to supportive remarks from respected mathematicians, including some who had criticized the earlier episode. If the broader community validates the proof, it’s another sign that AI may be moving from summarizing knowledge to genuinely extending it—at least in some corners of mathematics.
Google rebuilds Search around AI
Staying with AI, Google says it’s about to remake how people use Search. At its 2026 I/O conference, the company described a “complete reimagining” of the search bar, shifting the experience toward AI-generated answers and a conversation-style interface powered by the Gemini 3.5 Flash model. Google is also leaning into richer inputs—like images and files—and even hints that Search can work more like an assistant that keeps an eye on topics and reports back. The immediate, real-world question is who wins and who loses when the answer shows up directly on the results page. Publishers, creators, and small businesses have been warning for months that AI summaries can mean fewer clicks, and fewer clicks can mean less revenue. This isn’t just a product tweak—it could change the economics of the open web.
Macrophages caught eating melanoma cells
Google is also pushing AI deeper into the smart home—though with a different strategy. The company says it wants Google Home to become a “full-stack AI offering,” combining its Home platform with Gemini-powered features...

Видео AI model overturns Erdős conjecture & Google rebuilds Search around AI - News (May 22, 2026) канала The Automated Daily