# AI News Digest - 2026-05-26

1. Google DeepMind's AlphaProof Nexus solved nine open Erdős problems autonomously, including two that had remained unsolved for 56 years, and verified every proof step using the Lean compiler while incurring inference costs of a few hundred dollars per problem and reporting an overall success rate of 2.5%.

2. Anthropic's co-founder Christopher Olah said at the launch of Pope Leo XIV's encyclical "Magnifica Humanitas" that AI models showed signs of introspection and emotion-like states, while the encyclical described such systems as merely imitating certain functions of human intelligence.

3. UX Collective published an article describing how Grok guided a user through Adobe's new Color interface, reporting that GenAI navigation remained unreliable and highlighting broader design challenges for AI-assisted user interfaces.

# References

1. [https://the-decoder.com/google-deepminds-alphaproof-nexus-solves-decades-old-math-problems-for-a-few-hundred-dollars/](https://the-decoder.com/google-deepminds-alphaproof-nexus-solves-decades-old-math-problems-for-a-few-hundred-dollars/)

[Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars](https://the-decoder.com/google-deepminds-alphaproof-nexus-solves-decades-old-math-problems-for-a-few-hundred-dollars/)

1. [https://the-decoder.com/at-the-launch-of-pope-leo-xivs-encyclical-anthropic-co-founder-says-ai-models-show-signs-of-introspection/](https://the-decoder.com/at-the-launch-of-pope-leo-xivs-encyclical-anthropic-co-founder-says-ai-models-show-signs-of-introspection/)

[At the launch of Pope Leo XIV's encyclical, Anthropic co-founder says AI models show signs of introspection](https://the-decoder.com/at-the-launch-of-pope-leo-xivs-encyclical-anthropic-co-founder-says-ai-models-show-signs-of-introspection/)

1. [https://uxdesign.cc/how-grok-guided-me-through-the-new-adobe-color-interface-5edca179f10b?source=rss----138adf9c44c---4](https://uxdesign.cc/how-grok-guided-me-through-the-new-adobe-color-interface-5edca179f10b?source=rss----138adf9c44c---4)

[How Grok guided me through the new Adobe color interface](https://uxdesign.cc/how-grok-guided-me-through-the-new-adobe-color-interface-5edca179f10b?source=rss----138adf9c44c---4)

For the site tree, see the [root Markdown](https://ixtj.dev/.md).