Digg - AI news, before it trends

Today's Highlights

In case you missed it

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

Denny ZhouDZ#145|@DENNY_ZHOU
roonRO#59|@TSZZL
Susan ZhangSZ#58|@SUCHENZANG
Sam BowmanSB#27|@SLEEPINYOURHAT
Chris OlahCO#21|@CH402
+34 more

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

Top Stories

Posts:—|Clusters:—|Next Crawl:—
11

FDA launches 2026 Accelerated AI Pathway Pilot to evaluate AI-generated evidence in drug submissionsNo AI-designed drug has received FDA approval yet.

5h|28.6k42155
Chubby♨️CH#1496|@KIMMONISMUS
Bojan TunguzBT#687|@TUNGUZ
21

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

5h|77.8k52856
ZephyrZE#1497|@ZEPHYR_Z9
Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞)T(#420|@TEORTAXESTEX
31

Gergely Bérczi and László M. Fehér use DeepMind's AlphaEvolve and GPT 5.5 Pro to generate new geometry conjecturesThis is the second paper to cite AlphaEvolve

4h|16.3k9339
Patrick ShaftoPS#1426|@PATRICKSHAFTO
Dan RoyDR#56|@ROYDANROY
41

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

6h|6.5k6929
Lucas NestlerLN#1709|@CLASHLUKE
Simo RyuSR#604|@CLONEOFSIMO
53

Google DeepMind's Susan Zhang requests documented proof of AI support bots successfully resolving customer issues without human interventionAn engineer argued support loops are intentional cost-reduction tactics.

33m|3.4k668
kacheKA#488|@YACINEMTB
Susan ZhangSZ#58|@SUCHENZANG
New github stars (48hrs)
modaic-ai/gepa-viz2289h
Renders GEPA prompt-optimization candidate trees as interactive force-directed graphs with live updates from a Python callback.
🎭🎭878
Connor ShortenCS793
manaflow-ai/cmux19.4k1d
Integrates Ghostty into a macOS terminal with vertical tabs, sidebar metadata, OSC notifications, and in-app browser for AI coding agents.
Mark SaroufimMS759
Peter J. LiuPJ660
Jim FanJF30
Peter Steinberger 🦞PS495
Jack MorrisJM203
63

Daniel Jeffries argues closed-source AI risks digital oligarchy, while Carlos Perez warns open-source decentralization could destabilize societyPerez noted the printing press historically triggered extensive European warfare.

6h|14.3k6217
Daniel JeffriesDJ#1988|@DAN_JEFFRIES1
Carlos E. PerezCE#1598|@INTUITMACHINE
7NEW

MIKASA-Robo-VLA v1.0.0 benchmark suite launches to evaluate memory bottlenecks in robot VLA policiesIt evaluates memory limits addressable with existing hardware.

54m|2.5k259
Chris PaxtonCP#732|@CHRIS_J_PAXTON
kacheKA#488|@YACINEMTB
81

MINT Lab lead Seth Lazar says Pangram's '100% AI-generated' rating only means all text falls inside partially flagged chunksThe system segments documents into 350-to-400-word chunks

4h|4.4k558
EthanET#1884|@TORCHCOMPILED
Seth LazarSL#1060|@SETHLAZAR
93

Min-p creator Minh Nhat Nguyen says he recognized ChatGPT's distinctive writing patterns during a live, in-person speechAndreas Kirsch proposed studying the detectability of AI writing styles.

3h|2.4k872
Minh Nhat NguyenMN#1179|@MENHGUIN
Andreas Kirsch 🇺🇦AK#228|@BLACKHC
101

AI experimenter fofr releases a joke video showcasing a parody AI model that counts the R sounds in 'strawberry' in real timeThe parody plays on a popular AI capability meme.

1h|3k1087
fofrFO#1996|@FOFRAI
🍓🍓🍓🍓🍓#1711|@IRULETHEWORLDMO
111

Prime Intellect's Elie Bakouch highlights an AI meme's evolution into a binary swing between "we're so back" and "it's so overThe chart's transitional "mixed state" band disappeared in later versions.

3h|1k121
elieEL#716|@ELIEBAKOUCH
NiloofarNI#303|@NILOOFAR_MIRE
1211

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.

4h|000
bilalBI#1402|@BILALTWOVEC
Rob WiblinRW#1115|@ROBERTWIBLIN

Github Stars

(7 days)
  1. 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.
    Mark SaroufimMS759
    Peter J. LiuPJ660
    Jim FanJF30
    Peter Steinberger 🦞PS495
    Jack MorrisJM203
    19.4k stars
  2. modaic-ai/gepa-viz9H AGO AGO
    Renders GEPA prompt-optimization candidate trees as interactive force-directed graphs with live updates from a Python callback.
    🎭🎭878
    Connor ShortenCS793
    228 stars
  3. …-group/InferenceBench5D AGO AGO
    Evaluates autonomous AI agents optimizing LLM serving like vLLM in open-ended scenarios with quality and integrity gates.
    Rulin ShaoRS1224
    Maksym AndriushchenkoMA1066
    16 stars
Privacy Policy|Terms of Service|© 2026 Digg Inc.

Yesterday's Top Stories, May 25, 2026.

Posts: 2,930|Clusters: 789|Stories frozen at midnight PT
10

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.

7d|10.8M#1LIKED108.3k#1BOOKMARKED20.1k
Cheng LouCL#1983|@_CHENGLOU
Vaibhav (VB) SrivastavV(#1853|@REACH_VB
sam mcallisterSM#1811|@SAMMCALLISTER
𝚟𝚒𝚎 ⟢𝚟⟢#1753|@VIEMCCOY
🍓🍓🍓🍓🍓#1711|@IRULETHEWORLDMO
Carlos E. PerezCE#1598|@INTUITMACHINE
Nataniel RuizNR#1562|@NATANIELRUIZG
Chubby♨️CH#1496|@KIMMONISMUS
Andrew MayneAM#1487|@ANDREWMAYNE
Haydn BelfieldHB#1459|@HAYDNBELFIELD
Seán Ó hÉigeartaighSÓ#1457|@S_OHEIGEARTAIGH
Aran NayebiAN#1409|@ARAN_NAYEBI
bilalBI#1402|@BILALTWOVEC
Peter Wildeford🇺🇸🚀PW#1359|@PETERWILDEFORD
Charles FosterCF#1356|@CFGEEK
Kevin KwokKK#1218|@KEVINAKWOK
Rohan PaulRP#1032|@ROHANPAUL_AI
🎭🎭#878|@DEEPFATES
Alexander DoriaAD#867|@DORIALEXANDER
Beff (e/acc)B(#839|@BEFFJEZOS
Bojan TunguzBT#687|@TUNGUZ
Pliny the Liberator 🐉󠅫󠄼󠄿󠅆󠄵󠄐󠅀󠄼󠄹󠄾󠅉󠅭PT#643|@ELDER_PLINIUS
Will KnightWK#609|@WILLKNIGHT
Aaron LevieAL#562|@LEVIE
Clive ChanCC#548|@ITSCLIVETIME
Andrew CurranAC#517|@ANDREWCURRAN_
Séb KrierSK#505|@SEBKRIER
Max TegmarkMT#450|@TEGMARK
Dean W. BallDW#392|@DEANWBALL
Tanishq Mathew Abraham, Ph.D.TM#359|@ISCIENCELUVR
François FleuretFF#331|@FRANCOISFLEURET
KarinaKA#207|@KARINANGUYEN
@timnitGebru (@dair-community.social/bsky.social)@(#195|@TIMNITGEBRU
David PfauDP#150|@PFAU
Denny ZhouDZ#145|@DENNY_ZHOU
roonRO#59|@TSZZL
Susan ZhangSZ#58|@SUCHENZANG
Sam BowmanSB#27|@SLEEPINYOURHAT
Chris OlahCO#21|@CH402
20

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

12h|#1VIEWS24.5M28.9k3.8k
“paula”“P#1702|@PAULARAMBLES
Rohan PaulRP#1032|@ROHANPAUL_AI
Beff (e/acc)B(#839|@BEFFJEZOS
Bill Yuchen LinBY#341|@BILLYUCHENLIN
Robert ScobleRS#321|@SCOBLEIZER
Elon MuskEM#76|@ELONMUSK
Jonny DJD1
30

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.

12h|310.8k2.2k296
🍓🍓🍓🍓🍓#1711|@IRULETHEWORLDMO
Timothy B. LeeTB#1556|@BINARYBITS
Ben GolubBG#1447|@BEN_GOLUB
Pranav ShyamPS#1371|@RECURSEPARADOX
José Luis Ricón Fernández de la PuenteJL#1106|@ARTIRKEL
Cody BlakeneyCB#999|@CODE_STAR
Beff (e/acc)B(#839|@BEFFJEZOS
kacheKA#488|@YACINEMTB
Ryan Lowe 🥞RL#444|@RYAN_T_LOWE
NiloofarNI#303|@NILOOFAR_MIRE
Andrew Gordon WilsonAG#154|@ANDREWGWILS
David PfauDP#150|@PFAU
Taco CohenTC#120|@TACOCOHEN
Dwarkesh PatelDP#70|@DWARKESH_SP
Dan RoyDR#56|@ROYDANROY
40

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.

16h|394k1.9k600
𝚟𝚒𝚎 ⟢𝚟⟢#1753|@VIEMCCOY
xlr8harderXL#1674|@XLR8HARDER
Carlos E. PerezCE#1598|@INTUITMACHINE
Haydn BelfieldHB#1459|@HAYDNBELFIELD
Aran NayebiAN#1409|@ARAN_NAYEBI
PrakashPR#1332|@8TEAPI
rohitRO#1220|@KRISHNANROHIT
Seth LazarSL#1060|@SETHLAZAR
Zvi MowshowitzZM#918|@THEZVI
Beff (e/acc)B(#839|@BEFFJEZOS
Bojan TunguzBT#687|@TUNGUZ
Clive ChanCC#548|@ITSCLIVETIME
Dean W. BallDW#392|@DEANWBALL
50

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

21h|1M10.3k872
Steven SinofskySS#1992|@STEVESI
Alex ImasAI#1777|@ALEXOLEGIMAS
Nataniel RuizNR#1562|@NATANIELRUIZG
Rachel MetzRM#1327|@RACHELMETZ
Mike SolanaMS#1323|@MICSOLANA
Kenneth StanleyKS#496|@KENNETH0STANLEY
Gary Marcus, MIT PhD and NYU Professor EmeritusGM#153|@GARYMARCUS
Paul GrahamPG#78|@PAULG
60

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

6d|136.3k1.5k207
Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞)T(#420|@TEORTAXESTEX
Xin Eric Wang (hiring postdoc)XE#417|@XWANG_LK
Preetum NakkiranPN#348|@PREETUMNAKKIRAN
NiloofarNI#303|@NILOOFAR_MIRE
Teknium 🪽T🪽#259|@TEKNIUM
will depueWD#254|@WILLDEPUE
Nathan BenaichNB#242|@NATHANBENAICH
Michael BronsteinMB#199|@MMBRONSTEIN
Behnam NeyshaburBN#107|@BNEYSHABUR
Edward GrefenstetteEG#87|@EGREFEN
rohan anilRA#83|@_AROHAN_
Nathan LambertNL#64|@NATOLAMBERT
Susan ZhangSZ#58|@SUCHENZANG
70

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.

22h|761.6k12.9k597
tkasasagi 🐻T🐻#1476|@TKASASAGI
Llion JonesLJ#1377|@YESTHISISLION
hardmaruHA#18|@HARDMARU
80

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.

1d|434.8k3.1k846
Pasquale MinerviniPM#713|@PMINERVINI
Simo RyuSR#604|@CLONEOFSIMO
François FleuretFF#331|@FRANCOISFLEURET
Gary Marcus, MIT PhD and NYU Professor EmeritusGM#153|@GARYMARCUS
David PfauDP#150|@PFAU
90

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

1d|647.4k2.1k3.3k
Pietro SchiranoPS#1593|@SKIRANO
Dan Shipper 📧DS#1410|@DANSHIPPER
Lenny RachitskyLR#1176|@LENNYSAN
100

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

15h|888.1k9k1.5k
Rohan PaulRP#1032|@ROHANPAUL_AI
Beff (e/acc)B(#839|@BEFFJEZOS
Aaron LevieAL#562|@LEVIE
Gary Marcus, MIT PhD and NYU Professor EmeritusGM#153|@GARYMARCUS
110

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.

15h|207.7k2.9k287
Theo - t3.ggT-#1829|@THEO
Lisan al GaibLA#980|@SCALING01
DanielDA#927|@GROWING_DANIEL
Beff (e/acc)B(#839|@BEFFJEZOS
Adrien EcoffetAE#719|@ADRIENLE
kacheKA#488|@YACINEMTB
roonRO#59|@TSZZL
120

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.

2d|233.7k3.3k739
Pedro DomingosPD#654|@PMDDOMINGOS
Kyle CranmerKC#489|@KYLECRANMER
Gary Marcus, MIT PhD and NYU Professor EmeritusGM#153|@GARYMARCUS
David PfauDP#150|@PFAU
Yann LeCunYL#4|@YLECUN
130

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

11h|289.1k3.9k1.6k
Swaroop MishraSM#530|@SWAROOPRM7
Logan KilpatrickLK#90|@OFFICIALLOGANK
Lucas Beyer (bl16)LB#55|@GIFFMANA
140

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.

20h|1.1M17.3k915
Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞)T(#420|@TEORTAXESTEX
150

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.

14h|266.4k3.7k390
Garrison Lovely is in DCGL#1984|@GARRISONLOVELY
Gary Marcus, MIT PhD and NYU Professor EmeritusGM#153|@GARYMARCUS
clem 🤗C🤗#68|@CLEMENTDELANGUE
160

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.

14h|296.8k4.9k668
jasonJA#929|@JXNLCO
Beff (e/acc)B(#839|@BEFFJEZOS
Romain HuetRH#804|@ROMAINHUET
170

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

12h|183.6k4k209
“paula”“P#1702|@PAULARAMBLES
Alex VolkovAV#1245|@ALTRYNE
Xiao MaXM#437|@INFOXIAO
Joanne JangJJ#244|@JOANNEJANG
Sheing NgSN1
180

Google Omni AI Edits Videos With Dynamic Object Additions And Effects

21h|1.1M13.8k6.3k
190

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.

20h|178.5k1.6k369
Nathan is in.. Rhode Island?? 🔎NI#1902|@NATHANPMYOUNG
Chubby♨️CH#1496|@KIMMONISMUS
Beff (e/acc)B(#839|@BEFFJEZOS
Andrew CurranAC#517|@ANDREWCURRAN_
200

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.

9h|43.2k417180
Super DarioSD#1776|@INDUCTIONHEADS
xlr8harderXL#1674|@XLR8HARDER
Aran NayebiAN#1409|@ARAN_NAYEBI
Dean W. BallDW#392|@DEANWBALL
210

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.

2d|73.4k85385
Nate Soares ⏹️NS#1981|@SO8RES
Peter Wildeford🇺🇸🚀PW#1359|@PETERWILDEFORD
Robin HansonRH#887|@ROBINHANSON
davidad 🎇D🎇#458|@DAVIDAD
Christian SzegedyCS#43|@CHRSZEGEDY
Sheing NgSN1
220

Uber COO Andrew Macdonald says rising AI token costs are hard to justify after exhausting its 2026 Claude Code budgetUber is slowing down hiring to offset the ballooning costs

7h|451.4k6.7k487
Hieu PhamHP#455|@HYHIEU226
Gary Marcus, MIT PhD and NYU Professor EmeritusGM#153|@GARYMARCUS
230

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.

13h|318.4k3.7k232
Beff (e/acc)B(#839|@BEFFJEZOS
240

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.

1d|42.2k70129
Bindu ReddyBR#1622|@BINDUREDDY
Beff (e/acc)B(#839|@BEFFJEZOS
Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞)T(#420|@TEORTAXESTEX
Bill Yuchen LinBY#341|@BILLYUCHENLIN
Teknium 🪽T🪽#259|@TEKNIUM
EmadEM#167|@EMOSTAQUE
250

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

21h|312.5k4.2k2.3k
Paul GrahamPG#78|@PAULG
260

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.

15h|135.7k1.4k399
Pushmeet KohliPK#298|@PUSHMEET
Dan RoyDR#56|@ROYDANROY
270

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.

1d|175.3k867129
SuhailSU#631|@SUHAIL
Garry TanGT#270|@GARRYTAN
roonRO#59|@TSZZL
280

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.

15h|81.8k733940
elvisEL#475|@OMARSAR0
Garry TanGT#270|@GARRYTAN
290

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.

1d|79.3k697176
Carlos E. PerezCE#1598|@INTUITMACHINE
Chubby♨️CH#1496|@KIMMONISMUS
Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞)T(#420|@TEORTAXESTEX
300

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.

1d|97.3k894634
rohan anilRA#83|@_AROHAN_