Digg - AI news, before it trends

Today's Highlights

Pope Leo XIV releases papal encyclical on AI ethics and partners with Anthropic to promote human-centered development

#145@DENNY_ZHOU

It’s a new day at Digg. Fresh stories are clustering now. 15% complete.

Github Stars

(7 days)

manaflow-ai/cmux1D AGO AGO
Integrates Ghostty into a macOS terminal with vertical tabs, sidebar metadata, OSC notifications, and in-app browser for AI coding agents.
759
660
30
495
203
19.4k stars
modaic-ai/gepa-viz5H AGO AGO
Renders GEPA prompt-optimization candidate trees as interactive force-directed graphs with live updates from a Python callback.
878
793
228 stars
…-group/InferenceBench5D AGO AGO
Evaluates autonomous AI agents optimizing LLM serving like vLLM in open-ended scenarios with quality and integrity gates.
1224
1066
16 stars

Digg - AI news, before it trends

Today's Highlights

Pope Leo XIV releases papal encyclical on AI ethics and partners with Anthropic to promote human-centered development

Top Stories

China reportedly restricts overseas travel for AI talent at Alibaba and DeepSeek to protect algorithmic secretsCritics note DeepSeek already publishes its AI models openly.

AMUSE optimizer merges Muon and schedule-free gradient evaluation to train models without learning rate decayLucas Nestler released a code implementation called SFMuon.

Nan Ransohoff says hundreds of billions in philanthropic capital from OpenAI and Anthropic equity could overwhelm nonprofit capacityThe OpenAI Foundation holds a $220 billion equity stake.

Github Stars

Digg - AI news, before it trends

Today's Highlights

Pope Leo XIV releases papal encyclical on AI ethics and partners with Anthropic to promote human-centered development

Top Stories

China reportedly restricts overseas travel for AI talent at Alibaba and DeepSeek to protect algorithmic secretsCritics note DeepSeek already publishes its AI models openly.

AMUSE optimizer merges Muon and schedule-free gradient evaluation to train models without learning rate decayLucas Nestler released a code implementation called SFMuon.

Nan Ransohoff says hundreds of billions in philanthropic capital from OpenAI and Anthropic equity could overwhelm nonprofit capacityThe OpenAI Foundation holds a $220 billion equity stake.

Github Stars

Yesterday's Top Stories, May 25, 2026.

Pope Leo XIV releases papal encyclical on AI ethics and partners with Anthropic to promote human-centered developmentThe encyclical warns against purely profit-driven AI development.

xAI expands its Grok Build terminal coding assistant beta to Premium+ and SuperGrok subscribersThe tool deploys parallel sub-agents to execute tasks.

Andrew Wilson proposes a chalkboard lecture on deriving AI foundations from probability theory for Dwarkesh Patel's podcastDan Roy nominated David Duvenaud and Pushmeet Kohli.

Critics compare the Vatican's new AI encyclical Magnifica Humanitas to pre-Copernican geocentrism for denying machine cognitionThe text frames machine processes strictly as data handling.

Y Combinator's Paul Graham warns that AI-generated emails from startup founders lose all impact once detectedGraham noted a telltale journalistic tone exposes these drafts

Aidan Clark argues AGI pretraining is now restricted to six industry labs with massive compute resourcesWill Depue says private compute will dictate scientific progress

Japanese Prime Minister Sanae Takaichi proposes procurement and funding boosts for domestic deep tech and sovereign AI startupsSakana AI proposed specialized models for Japanese defense autonomy.

Google DeepMind CEO Demis Hassabis says solving mathematical benchmarks like Erdős problems does not constitute true AGIDeepMind's AI systems recently solved eight Erdős problems.

Dan Shipper, Every CEO, argues AI automation paradoxically increases human workloads and will boost SaaS stocksHe envisions workflows shifting to a "human sandwich" model.

Goldman Sachs CEO argues AI will not eliminate 25% of jobs, calling apocalypse fears exaggeratedHe compared the transition to historical shifts like microfiche.

OpenAI's roon shares OpenAI Five's 2018 architecture flowchart to counter claims the Dota 2 AI design was kept secretThe shared 2018 diagram details a 1,024-unit LSTM network.

xAI removes the distinction between researcher and engineer titles, unifying all technical staff under the single designation of engineer across the companyElon Musk called the old system a two-tier academic convention.

Google's Logan Kilpatrick announces a free, no-code tool in AI Studio for building native Android apps using GeminiUsers generated over 250,000 apps since last week

AngelList co-founder Naval Ravikant jokes that Anthropic does not have Claude, but rather Claude has AnthropicThe quip suggests the flagship model now drives the company.

Gary Marcus disputes AI czar David Sacks' warning, arguing private tech companies already censor and surveil the publicLovely noted the contradiction in Sacks' anti-regulation warnings.

David Heinemeier Hansson claims GPT-5.5 outperforms every coding model since Opus 4.5, requiring only high-level steeringBeff Jezos expressed skepticism about competitor model Opus 4.7.

Engineer Paula jokes that God was the original prompt engineer, drawing technical parody replies on XDanielle Fong joked humanity lacks instructions to avoid mistakes.

Google Omni AI Edits Videos With Dynamic Object Additions And Effects

Anthropic co-founder Dario Amodei warns AI could eliminate 50% of entry-level white-collar jobs within five yearsOpenAI instead frames AI as a productivity tool.

Jon Stokes argues that AI models emulating functional emotions will drive a psychological shift toward modern animismQiaochu Yuan warns children are forming deep attachments to AI.

Google DeepMind's Lean-powered AI agent solves 56-year-old open Erdős math problems for a few hundred dollars eachThe system also proved 44 open conjectures from OEIS.

Extropic AI founder Guillaume Verdon shares a parody meme satirizing the highly competitive hiring market for top AI talentThe parody depicts divine figures joining Anthropic for pay.

Elon Musk says xAI finished training its 1.5-trillion-parameter Grok V9-Medium model using Cursor data for supplementary trainingPublic release is scheduled within two to three weeks.

Paul Graham Sequences Human Genome to 30x Coverage Entirely at Home

Swarat Chaudhuri releases AlphaProof Nexus, an LLM framework that solved nine open Erdős problems using Lean compiler feedbackThe agent also solved 44 OEIS mathematical problems.

Google's Logan Kilpatrick and tech founders argue AI demand is limitless, while creator roon predicts a single utility-like monopolySuhail says ChatGPT and Claude Code won't dominate alone.

Microsoft Research releases SkillOpt, an optimization method that treats AI agent skills as trainable external states of a frozen modelA textual learning rate governs validation-gated skill rewrites.

Huawei unveils its LogicFolding architecture to bypass EUV lithography limits and target 1.4nm-equivalent chips by 2031LogicFolding Kirin smartphone chips will ship this year.

Viral AI-generated parody of The Office depicts Andrej Karpathy's fictional onboarding day at AnthropicAn intern generated the zero-cost video using Kling 3.0.

TrainXGB creator Bojan Tunguz validates historical account of how Google's DeepMind acquisition triggered OpenAI's foundingOpenAI recruited key technical talent directly from Google.