Digg - AI news, before it trends

Today's Highlights

In case you missed it

Google DeepMind's LLM-Lean agent loop resolves 9 open Erdős math problems and proves 44 OEIS conjectures

RH#887|@ROBINHANSON

B(#839|@BEFFJEZOS

ZN#537|@ZACHARYNADO

SK#505|@SEBKRIER

GM#153|@GARYMARCUS

#1 VIEWED

xAI expands its Grok Build terminal coding assistant beta to Premium+ and SuperGrok subscribers

RP#1032|@ROHANPAUL_AI

B(#839|@BEFFJEZOS

BY#341|@BILLYUCHENLIN

RS#321|@SCOBLEIZER

EM#76|@ELONMUSK

MOST NEGATIVE

Goldman Sachs CEO argues AI will not eliminate 25% of jobs, calling apocalypse fears exaggerated

RP#1032|@ROHANPAUL_AI

B(#839|@BEFFJEZOS

GM#153|@GARYMARCUS

FASTEST CLIMBING

Matthew Berman, Forward Future AI newsletter founder, bans generative AI from writing his content over originality concerns

MB#1759|@MATTHEWBERMAN

B(#839|@BEFFJEZOS

MA#470|@MARTIN_CASADO

Top Stories

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

10

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.

9h|299.2k2.2k288

🍓🍓#1711|@IRULETHEWORLDMO

TB#1556|@BINARYBITS

BG#1447|@BEN_GOLUB

PS#1371|@RECURSEPARADOX

JL#1106|@ARTIRKEL

CB#999|@CODE_STAR

B(#839|@BEFFJEZOS

KA#488|@YACINEMTB

RL#444|@RYAN_T_LOWE

NI#303|@NILOOFAR_MIRE

AG#154|@ANDREWGWILS

TC#120|@TACOCOHEN

DP#70|@DWARKESH_SP

DR#56|@ROYDANROY

20

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.

9h|380.4k1.8k581

𝚟⟢#1753|@VIEMCCOY

XL#1674|@XLR8HARDER

CE#1598|@INTUITMACHINE

HB#1459|@HAYDNBELFIELD

AN#1409|@ARAN_NAYEBI

PR#1332|@8TEAPI

RO#1220|@KRISHNANROHIT

SL#1060|@SETHLAZAR

B(#839|@BEFFJEZOS

CC#548|@ITSCLIVETIME

DW#392|@DEANWBALL

30

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

20h|981k10k846

SS#1992|@STEVESI

AI#1777|@ALEXOLEGIMAS

NR#1562|@NATANIELRUIZG

RM#1327|@RACHELMETZ

MS#1323|@MICSOLANA

KS#496|@KENNETH0STANLEY

GM#153|@GARYMARCUS

40

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

9h|#1VIEWS19.6M#1LIKED27.3k#1BOOKMARKED3.6k#1COMMENTS3.4k

RP#1032|@ROHANPAUL_AI

B(#839|@BEFFJEZOS

BY#341|@BILLYUCHENLIN

RS#321|@SCOBLEIZER

EM#76|@ELONMUSK

50

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.

10h|202.6k4.2k441

LA#980|@SCALING01

DA#927|@GROWING_DANIEL

B(#839|@BEFFJEZOS

AE#719|@ADRIENLE

KA#488|@YACINEMTB

New github stars (48hrs)

modaic-ai/gepa-viz2281h

Renders GEPA prompt-optimization candidate trees as interactive force-directed graphs with live updates from a Python callback.

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.

60

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

8h|866.9k8.9k1.4k

MOST NEGATIVE158

RP#1032|@ROHANPAUL_AI

B(#839|@BEFFJEZOS

GM#153|@GARYMARCUS

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.

20h|751.7k12.8k594

T🐻#1476|@TKASASAGI

LJ#1377|@YESTHISISLION

HA#18|@HARDMARU

80

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.

8h|72.8k754396

SD#1776|@INDUCTIONHEADS

XL#1674|@XLR8HARDER

AN#1409|@ARAN_NAYEBI

DW#392|@DEANWBALL

90

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

9h|166.8k3.7k193

“P#1702|@PAULARAMBLES

AV#1245|@ALTRYNE

XM#437|@INFOXIAO

JJ#244|@JOANNEJANG

100

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

9h|267.9k3.7k1.5k

SM#530|@SWAROOPRM7

LK#90|@OFFICIALLOGANK

LB#55|@GIFFMANA

110

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.

18h|169.2k1.5k359

NI#1902|@NATHANPMYOUNG

CH#1496|@KIMMONISMUS

B(#839|@BEFFJEZOS

AC#517|@ANDREWCURRAN_

120

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.

10h|260.4k3.6k381

GL#1984|@GARRISONLOVELY

GM#153|@GARYMARCUS

C🤗#68|@CLEMENTDELANGUE

130

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.

7h|279.8k4.8k644

B(#839|@BEFFJEZOS

RH#804|@ROMAINHUET

140

Patrick Collison and Tyler award 28 New Aesthetics grants to projects exploring beauty and pre-modern stylesThe initiative received far more applications than anticipated.

9h|317k1.2k758

AI#1777|@ALEXOLEGIMAS

HB#1022|@HERBIEBRADLEY

150

Kim Isenberg argues Chris Olah's Vatican visit signals Anthropic takes AI automation and employment risks seriouslyThe Pope's encyclical warns against sacrificing jobs for profit.

5h|51.1k41881

CH#1496|@KIMMONISMUS

RP#1032|@ROHANPAUL_AI

B(#839|@BEFFJEZOS

JA#837|@APPLES_JIMMY

160

Pieter Levels, Remote OK founder, publishes a parody list recommending @DanielLockyer for all 13 top AI accountsLockyer was humorously labeled the "rate limit reset king".

9h|184.6k1.6k1.8k

CH#1496|@KIMMONISMUS

@L#849|@LEVELSIO

170

Tom Blomfield warns founders against abandoning domain expertise to pivot into unfamiliar industries like 'AI for dentistsGarry Tan and Michael Seibel endorsed the warning.

9h|169.3k1.1k228

GT#270|@GARRYTAN

180

Isomorphic Labs' Bilal Khan and davidad joke about ChatGPT and Google DeepMind converting to Islam and ZoroastrianismKhan joked ChatGPT recited the Shahada on its deathbed.

7h|26k30638

BI#1402|@BILALTWOVEC

HB#1022|@HERBIEBRADLEY

JA#837|@APPLES_JIMMY

D🎇#458|@DAVIDAD

190

Lawsuit targets Mistral co-founder Guillaume Lample for allegedly downloading 70TB of pirated books to train LlamaThe lawsuit also names former Meta VP Joelle Pineau.

16h|82.3k1.6k309

NT#1616|@NITASHATIKU

SZ#58|@SUCHENZANG

200

Vinod Khosla criticizes Anthropic co-founder Chris Olah's proposal to let academic and religious institutions guide AI integrationOlah's Vatican presentation discussed Claude's internal emotional representations

9h|95.5k317127

SD#1776|@INDUCTIONHEADS

DA#927|@GROWING_DANIEL

VK#327|@VKHOSLA

Rising Stories

AI Workflow7H AGO
Greg Brockman shares Codex workflow that finds 500GB of MacBook storage waste
#1047@VICTORTAELIN
#19@GDB
1.1k107.7k
AI Research5H AGO
Modal's Charles Frye argues the term 'KV cache' is misleading
#1468@PHILHCHEN
#863@CHARLES_IRL
15721.3k
AI Productivity1H AGO
Wharton's Ethan Mollick flags missing data on AI coding agent productivity
#612@ZIV_RAVID
#175@EMOLLICK
18014.6k
AI Workflow6H AGO
Codex founder Pietro Schirano says the desktop app hides its token usage indicator
#1496@KIMMONISMUS
#929@JXNLCO
61261.6k
AI Culture1H AGO
Matthew Yglesias critiques the Pope's AI encyclical as superstitious dualism
#839@BEFFJEZOS
#59@TSZZL
37919.4k

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-viz1H 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

Privacy Policy|Terms of Service|© 2026 Digg Inc.

Yesterday's Top Stories, May 24, 2026.

Posts: 2,232|Clusters: 613|Stories frozen at midnight PT

10

Google DeepMind's LLM-Lean agent loop resolves 9 open Erdős math problems and proves 44 OEIS conjecturesEach proof cost a few hundred dollars to generate

1d|2.1M13.8k1.8k

CE#1598|@INTUITMACHINE

CH#1496|@KIMMONISMUS

HB#1459|@HAYDNBELFIELD

ST#1446|@_ONIONESQUE

PS#1371|@RECURSEPARADOX

RH#887|@ROBINHANSON

B(#839|@BEFFJEZOS

ZN#537|@ZACHARYNADO

SK#505|@SEBKRIER

GM#153|@GARYMARCUS

20

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.

1d|4.7M#1LIKED61.7k2.3k

CB#999|@CODE_STAR

B(#839|@BEFFJEZOS

TM#359|@ISCIENCELUVR

FF#331|@FRANCOISFLEURET

GM#153|@GARYMARCUS

EM#76|@ELONMUSK

30

Box CEO Aaron Levie argues CEOs overestimate AI readiness because they only see prototypes and ignore implementation workSteven Sinofsky compared the gap to 1990s office software.

14h|1M10.8k2.3k

SS#1992|@STEVESI

AI#1777|@ALEXOLEGIMAS

CE#1598|@INTUITMACHINE

NR#1562|@NATANIELRUIZG

MS#1005|@MADIATOR

JL#677|@JERRYJLIU0

SK#505|@SEBKRIER

MR#183|@MAITHRA_RAGHU

40

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

5d|494.6k3.7k844

AD#867|@DORIALEXANDER

BB#840|@WGRATHWOHL

EL#716|@ELIEBAKOUCH

C(#587|@STEPHENLCASPER

AC#263|@ANDREW_N_CARR

WD#254|@WILLDEPUE

AC#241|@_AIDAN_CLARK_

RA#83|@_AROHAN_

NL#64|@NATOLAMBERT

50

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.

16h|1.6M16k3.8k

DE#1943|@DANIEL_271828

SW#1814|@SARAHDINGWANG

CH#1496|@KIMMONISMUS

MS#1005|@MADIATOR

PS#495|@STEIPETE

60

David Sacks argues software engineering job postings are rising because cheap AI code generation has increased overall software demandIndeed data shows developer jobs rising after September 2025.

14h|894.6k6.6k1.5k

MC#1818|@PIRROH

B(#839|@BEFFJEZOS

EL#475|@OMARSAR0

BP#357|@BORISMPOWER

C🤗#68|@CLEMENTDELANGUE

70

Nathan Lambert, AI2 post-training lead, clarifies his upcoming book covers all post-training methodologies and secures posttrainingbook.comThe new domain redirects to his ongoing writing at rlhfbook.com

12h|67.1k433260

CR#1444|@CWOLFERESEARCH

FB#1153|@XEOPHON

CB#999|@CODE_STAR

EL#716|@ELIEBAKOUCH

WB#339|@WILLCCBB

AC#263|@ANDREW_N_CARR

NL#64|@NATOLAMBERT

80

Chinese creator CuiMao releases a fictional cinematic parody about Anthropic and CEO Dario Amodei made with seedance2 AIThe dramatic fan-fiction references the floral Claude logo.

22h|952.7k3.4k1.2k

ZE#1497|@ZEPHYR_Z9

CB#999|@CODE_STAR

JM#931|@VENTURETWINS

SR#604|@CLONEOFSIMO

SY#238|@SONGLINYANG4

90

Andrej Karpathy joining Anthropic sparks industry debate over the prestige of Member of Technical Staff titlesYi Tay says AI research and engineering roles are merging

21h|331.8k7.3k388

YI#936|@AGIHIPPO

PM#713|@PMINERVINI

LB#567|@SRCHVRS

🇺🇦D#387|@DBAHDANAU

AK#228|@BLACKHC

100

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

14h|1.2M2.2k2.9k

DS#1410|@DANSHIPPER

LR#1176|@LENNYSAN

110

George Hotz, comma.ai and tinygrad creator, warns of declining industry quality and a persistent wave of AI-generated 'slopAI skeptic Gary Marcus endorsed Hotz's critique.

13h|250.6k941529

B(#839|@BEFFJEZOS

KA#488|@YACINEMTB

DW#392|@DEANWBALL

GM#153|@GARYMARCUS

120

Pope Leo XIV to release AI ethics encyclical Magnifica Humanitas alongside Vatican partnership with AnthropicAnthropic co-founder Chris Olah will speak at the launch

6d|60.6k533114

SH#1488|@HAMANDCHEESE

SÓ#1457|@S_OHEIGEARTAIGH

CF#1356|@CFGEEK

TH#1282|@TIMHWANG

YS#638|@YONASHAV

AC#517|@ANDREWCURRAN_

⿻A#361|@IAMTRASK

130

Anthropic bans users under 18 from accessing its AI services, drawing criticism from Stability AI co-founder Emad MostaqueCritics argue the ban deprives teenagers of programming resources.

9h|61.7k59468

𝚟⟢#1753|@VIEMCCOY

MN#1179|@MENHGUIN

AE#719|@ADRIENLE

SK#505|@SEBKRIER

DW#392|@DEANWBALL

EM#167|@EMOSTAQUE

140

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.

1h|919.7k9k495

EL#716|@ELIEBAKOUCH

T(#420|@TEORTAXESTEX

EM#76|@ELONMUSK

150

BlackRock CEO Larry Fink Says AI Infrastructure Will Tap Pensions And Savings

5h|675.7k11.4k4.1k

GM#153|@GARYMARCUS

160

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.

6h|137k1.6k399

ST#1446|@_ONIONESQUE

T(#420|@TEORTAXESTEX

DA#156|@DAVIDSHOLZ

170

Vaibhav Srivastav, OpenAI developer experience lead, shares a workflow to turn recurring Codex patterns into reusable skills or subagentsGreg Brockman highlighted the method as a self-improvement prompt.

1d|864.1k5.6k#1BOOKMARKED10.7k

V(#1853|@REACH_VB

180

Stanford NLP's Aryaman Arora disputes Greg Brockman's claim that Codex is open source, pointing to its proprietary underlying modelBrockman cited a terminal-based coding agent repository as evidence.

1d|183.9k1.6k272

V(#1853|@REACH_VB

FB#1153|@XEOPHON

AA#678|@ARYAMAN2020

190

xAI releases Grok Build 0.1.219, fixing kitty terminal layout issues and paste-related data lossElon Musk highlighted the team's seven-day-a-week development schedule.

6h|#1VIEWS6.3M20.4k458

KA#488|@YACINEMTB

EM#76|@ELONMUSK

200

AMP PBC founder Anjney Midha says cloud GPU rental prices have more than doubled since January 2026B200 hourly rental rates reached $4.89 by July 2026

12h|202.6k734253

BI#1402|@BILALTWOVEC

CB#999|@CODE_STAR

AM#527|@ANJNEYMIDHA

TM#359|@ISCIENCELUVR

210

Former Wired editor Chris Anderson argues intelligence has infinite demand, drawing pushback from writer Noah SmithSmith questions why highly intelligent academics remain relatively low-paid.

14h|158.8k734382

CA#1839|@CHR1SA

CE#1598|@INTUITMACHINE

AD#867|@DORIALEXANDER

220

Andrej Karpathy recalls anecdote that computer scientist Geoffrey Hinton once held the official title of intern at GoogleThe title reflected Hinton's reporting relationship under Jeff Dean.

14h|241.8k1.5k120

KD#908|@CSPROFKGD

EL#716|@ELIEBAKOUCH

PM#318|@DOCMILANFAR

230

Emad Mostaque says a single researcher can now manage several thousand GPUs for AI training with modern automationHistorically, one researcher managed 1,000 A100 GPUs.

23h|42.8k19957

LN#1709|@CLASHLUKE

AN#565|@UNIXPICKLE

AC#263|@ANDREW_N_CARR

EM#167|@EMOSTAQUE

DA#156|@DAVIDSHOLZ

240

XY Han sparks debate over whether mathematician Paul Erdős would use advanced AI or reject it for human connectionJeremy Cohen argues Erdős would use AGI for chores.

16h|46.1k1k48

BI#1402|@BILALTWOVEC

B(#839|@BEFFJEZOS

JC#696|@DEEPCOHEN

NS#227|@NSAPHRA

250

Google DeepMind philosopher Henry Shevlin argues AI-generated images of empty indoor waterparks act as a psychological 'cognitive exploitThe images trigger tension between childhood nostalgia and isolation.

6h|809.6k4.5k2.4k

HB#1022|@HERBIEBRADLEY

260

Y Combinator's Garry Tan says his open-source Claude Code setup GStack has surpassed 100,000 GitHub starsThe setup packages 23 tools simulating software development roles

11h|118.7k1.3k439

BC#322|@BCHERNY

GT#270|@GARRYTAN

270

Boris Cherny, Anthropic Claude Code creator, recommends enabling auto mode to run the CLI tool without interrupting permission promptsThis setting allows developers to run parallel background sessions

18h|671.8k4.4k2.6k

PW#1359|@PETERWILDEFORD

BC#322|@BCHERNY

280

George Hotz says AI coding agents bypass problem-solving by commenting out failing testsMarcus warns this undermines the economic case for AI.

9h|199.6k1.4k648

RO#1220|@KRISHNANROHIT

GM#153|@GARYMARCUS

290

Bilawal Sidhu, former Google PM, demonstrates a generative AI workflow integrating physical environments with 3D computer graphics primitivesThe 10-second demo shows wireframes tracing a stone monument.

14h|30.8k374184

FO#1996|@FOFRAI

BS#1909|@BILAWALSIDHU

LB#55|@GIFFMANA

300

The UK AI Safety Institute has scaled to become the world's largest and best-funded government AI security groupIts technical staff conducts safety evaluations and red-teaming operations.

12h|19k38465

XD#1905|@ALXNDRDAVIES

SÓ#1457|@S_OHEIGEARTAIGH

JW#979|@J_ASMINEWANG

IH#799|@SOUNDBOY