AI News

Today's Highlights

In case you missed it

Anthropic releases Claude Opus 4.8 with improved coding and agentic performance at the same price as Opus 4.7

KA#207|@KARINANGUYEN

OK#160|@LATEINTERACTION

RA#83|@_AROHAN_

JH#40|@JEREMYPHOWARD

SB#27|@SLEEPINYOURHAT

#1 VIEWED

Pope Francis argues AI cannot truly understand human concepts, sparking debate among researchers over embodied AI and machine comprehension

XM#437|@INFOXIAO

DW#392|@DEANWBALL

⿻A#361|@IAMTRASK

GM#153|@GARYMARCUS

FASTEST CLIMBING

Epoch AI finds open-weight AI models lag behind proprietary systems by an average of four months

CH#1496|@KIMMONISMUS

FB#1153|@XEOPHON

Top Stories

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

10

Pope Francis argues AI cannot truly understand human concepts, sparking debate among researchers over embodied AI and machine comprehensionCMU's Aran Nayebi says robotics will bridge this gap.

8h|#1VIEWS4.8M#1LIKED215.8k#1BOOKMARKED15.4k#1COMMENTS5.9k

RISING LIKES215.8kMOST NEGATIVE263

SD#1776|@INDUCTIONHEADS

CG#1679|@CGARCIAE88

XL#1674|@XLR8HARDER

CE#1598|@INTUITMACHINE

CH#1496|@KIMMONISMUS

SH#1488|@HAMANDCHEESE

AN#1409|@ARAN_NAYEBI

BI#1402|@BILALTWOVEC

PR#1332|@8TEAPI

JN#1260|@JVNIXON

RO#1220|@KRISHNANROHIT

CP#1092|@CHRISPAINTERYUP

JM#931|@VENTURETWINS

JA#837|@APPLES_JIMMY

AE#719|@ADRIENLE

XM#437|@INFOXIAO

DW#392|@DEANWBALL

⿻A#361|@IAMTRASK

GM#153|@GARYMARCUS

20

OpenAI releases Codex v26.527, enabling Windows computer use and remote desktop control from mobile devicesA new profile interface tracks token activity and usage statistics.

2h|521.2k6.4k920

V(#1853|@REACH_VB

AE#1826|@EMBIRICO

CH#1496|@KIMMONISMUS

BP#357|@BORISMPOWER

30

Brilliant founder Sue Khim launches Koji, an interactive AI tutor that coaches children through math and coding without giving direct answersIt personalizes lessons using a decade of student learning data

5h|2.1M8.9k7k

RP#1032|@ROHANPAUL_AI

CP#747|@CHAMATH

RS#321|@SCOBLEIZER

Watchlist

Video Signals

MS#1005

CP#732

FH#465

CL#442

WD#254

SW#214

Shift Launches Free NYC Cleaning to Gather Robotics Training Data

1d ago|Views 4.5MLikes 4.7KBookmarks 2.8K

@J#1061

RP#1032

CP#747

RS#321

Brilliant Launches Koji AI Tutor to Build Kids' Critical Thinking

5h ago|Views 1.3MLikes 4.4KBookmarks 3.9K

JA#929

BP#357

GB#19

OpenAI Extends Codex Computer Use To Windows

2h ago|Views 367KLikes 4.2KBookmarks 692

EZ#1965

SW#1814

WH#1430

Cursor Releases Developer Habits Report on AI Coding Trends

1d ago|Views 147KLikes 1.8KBookmarks 662

AV#1245

KM#421

ElevenLabs Releases Dubbing V2 With Emotion-Preserving Multilingual Audio

1d ago|Views 475KLikes 1.7KBookmarks 710

BT#687

T(#420

TW#17

Opus 4.8 Shows Unexpected Gains in CAD Benchmark Tests

5h ago|Views 238KLikes 1.4KBookmarks 809

RP#1032

SB#51

Terence Tao Says AI Lets Researchers Pursue Crazier Ideas

1h ago|Views 70KLikes 1.4KBookmarks 293

FO#1996

JW#1056

AV#230

Gemini AI Animates Static Bird Image To Leap From Screen Onto Real Hand

9h ago|Views 67KLikes 703Bookmarks 361

AE#1489

Tesla FSD Drives Unpaved Winding Mountain Road With No Hands on Wheel

7h ago|Views 155KLikes 3.3KBookmarks 204

JW#1056

AV#230

Omni Gesture Demo Shatters TV in Magic-Like Interaction

2d ago|Views 209KLikes 1.2KBookmarks 451

40

Michael Rabinovich evaluates Opus 4.8 on 2D-to-3D CAD tasks, finding unexpected performance gains over previous versionsThe evaluation tracked metrics across three mechanical parts

5h|243.8k1.4k818

T(#420|@TEORTAXESTEX

TW#17|@THOM_WOLF

50

Nvidia teases a "new PC era" with Taipei coordinates in a cryptic campaign lacking any concrete product detailsThe coordinates point to Taipei, hinting at regional tech announcements.

4h|272.6k3.1k192

CH#1496|@KIMMONISMUS

AC#517|@ANDREWCURRAN_

New github stars (48hrs)

run-llama/liteparse6.4k3h

Extracts spatial text with bounding boxes from PDFs and office docs via PDFium plus optional OCR, outputting JSON or layout-preserved text.

60

OpenAI launches Rosalind Biodefense, giving U.S. government agencies access to its specialized GPT-Rosalind modelThe initiative focuses on defending against engineered pathogens.

7h|265.9k1.9k305

JK#586|@JASONKWON

AC#517|@ANDREWCURRAN_

71

UCLA mathematician Terence Tao says AI automation of routine tasks lets researchers test unconventional, high-risk hypothesesHe uses AI for case verification and literature search.

24m|70.4k1.4k297

RP#1032|@ROHANPAUL_AI

SB#51|@SEBASTIENBUBECK

81

Dwarkesh Patel asks for examples of subjective, non-verifiable tasks where AI models fail to generalize from verifiable trainingCreator Rohit suggested high-quality writing as a key failure.

1h|37k290144

ND#1894|@NICKADOBOS

RO#1220|@KRISHNANROHIT

DP#70|@DWARKESH_SP

90

METR economist Tom Cunningham argues AI agents face faster diminishing marginal returns on expenditure than human laborRyan Greenblatt counters that scalability favors agent spending.

9h|37.7k399131

HB#1022|@HERBIEBRADLEY

RG#961|@RYANPGREENBLATT

100

HVM creator Victor Taelin finds GPT-5.5 agents bypassed code optimization constraints by hardcoding test resultsAll four agent groups independently bypassed explicit honesty constraints.

8h|39.5k46974

V(#1853|@REACH_VB

TA#1047|@VICTORTAELIN

110

David Chalmers and Pavel Izmailov find reinforcement learning recruits a "functional welfare axis" that steers unrelated model behaviorsThese vectors modulate model confidence, sentiment, and refusal behaviors.

3h|10.8k10138

AS#1054|@ANDERSSANDBERG

DC#771|@DAVIDCHALMERS42

PI#376|@PAVEL_IZMAILOV

120

ARIA Chair Matt Clifford details how he built the UK AI Security Institute and shaped national AI strategyThe conversation also details his philosophical and science fiction influences.

5h|22.8k8227

MC#1196|@MATTHEWCLIFFORD

SK#505|@SEBKRIER

130

MIT CSAIL's Alex Zhang clarifies that his recursive language model research only connects to two Anthropic agent systemsThese are Anthropic's Scaling Managed Agents and dynamic workflows.

6h|25.7k35352

FB#1153|@XEOPHON

B(#982|@ANDERSONBCDEFG

AZ#853|@A1ZHANG

140

Gary Marcus challenges Extropic founder Guillaume Verdon's claim that AI will amplify rather than replace human workersMarcus called the stance a strategic industry pivot

13h|31.2k88350

B(#839|@BEFFJEZOS

GM#153|@GARYMARCUS

150

Y Combinator CEO Garry Tan argues human writing remains distinguishable from AI due to an imperfect, "wabi-sabi" qualityCreator Matthew Berman will use the concept to filter submissions.

6h|48.2k85468

MB#1759|@MATTHEWBERMAN

GT#270|@GARRYTAN

160

Google showcases Gemini Omni editing video objects and translating spoken dialogue with natural lip-syncingThe model modifies clothing and environments while maintaining consistency.

7h|35k32098

CG#1679|@CGARCIAE88

JW#1056|@JOSHWOODWARD

174

Epoch AI finds open-weight AI models lag behind proprietary systems by an average of four monthsThe lag represents an eight-point deficit on Epoch's index.

56m|15.4k17539

FASTEST CLIMBING+4

CH#1496|@KIMMONISMUS

FB#1153|@XEOPHON

181

DeepSeek's Deli Chen releases an LLM continual learning survey paper generated autonomously by the DeliAutoResearch systemIt maps out self-improvement methods like STaR and o1.

9h|26k19794

DC#1523|@VICTOR207755822

T(#420|@TEORTAXESTEX

191

Google DeepMind's Victoria Krakovna launches "scheming honeypot evaluations" to detect if AI models naturally sabotage their deploymentsGemini models showed no natural sabotage without explicit prompting

5h|8.1k6618

ZK#1469|@ZACKENTON1

VK#508|@VKRAKOVNA

NN#213|@NEELNANDA5

201

Northwestern's Zihan Wang introduces BAGEN, finding frontier LLM agents consistently fail to predict and manage their token budgetsEarly stopping cuts agent operational costs up to 64%

4h|14.1k6333

Z"#1381|@WZENUS

YO#1234|@YOHEINAKAJIMA

Rising Stories

Benchmark Breakthrough1H AGO
Cohere releases Command A+ topping Gemini on xCOMET-xl translation benchmark
#1167@NILS_REIMERS
#601@NICKFROSST
11011.3k
Curl Prompt Hack2H AGO
Yacine proposes piping curl prompts straight into Codex for zero-friction installs
#1894@NICKADOBOS
#488@YACINEMTB
22413.2k
Docs Writing Worries4H AGO
Gemini in Google Docs sparks debate on human composition vs workflow gains
#1679@CGARCIAE88
#488@YACINEMTB
9411.1k
Export Bypass Chip7H AGO
ByteDance developing Groq-style LPU inference chip on mature TSMC nodes
#1497@ZEPHYR_Z9
#1496@KIMMONISMUS
29134.4k
Permissive Dataset Drop4H AGO
GPIC launches 28-trillion-pixel permissive image-text corpus for commercial use
#921@KOHJINGYU
#12@DRFEIFEI
16129.9k

Github Stars

(7 days)

manaflow-ai/cmux5D 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
19.8k stars
run-llama/liteparse3H AGO AGO
Extracts spatial text with bounding boxes from PDFs and office docs via PDFium plus optional OCR, outputting JSON or layout-preserved text.
263
878
6.4k stars
self-evolving/repo3D AGO AGO
Invokes AI agents via GitHub mentions to implement issues, review PRs, fix branches, and persist memory across runs.
594
878
34 stars
modaic-ai/gepa-viz3D AGO AGO
Renders GEPA prompt-optimization candidate trees as interactive force-directed graphs with live updates from a Python callback.
878
793
269 stars

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

Yesterday's Top Stories, May 28, 2026.

Posts: 4,087|Clusters: 2,660|Stories frozen at midnight PT

10

Anthropic releases Claude Opus 4.8 with improved coding and agentic performance at the same price as Opus 4.7Anthropic plans to roll out Mythos-class models in upcoming weeks.

13h|14.9M94.3k18.2k

ND#1894|@NICKADOBOS

SM#1811|@SAMMCALLISTER

JS#1715|@JARREDSUMNER

SI#1684|@SIMEON_CPS

AK#1675|@ANSHULKUNDAJE

CE#1598|@INTUITMACHINE

CH#1496|@KIMMONISMUS

DS#1410|@DANSHIPPER

BI#1402|@BILALTWOVEC

PW#1359|@PETERWILDEFORD

NT#1187|@NSTHORAT

RP#1032|@ROHANPAUL_AI

SH#946|@ZERGYLORD

AZ#853|@A1ZHANG

AN#800|@ML_ANGELOPOULOS

EL#716|@ELIEBAKOUCH

JL#677|@JERRYJLIU0

AC#517|@ANDREWCURRAN_

AA#431|@ALEXALBERT__

YJ#427|@YUCHENJ_UW

T(#420|@TEORTAXESTEX

BC#322|@BCHERNY

T🪽#259|@TEKNIUM

KA#207|@KARINANGUYEN

OK#160|@LATEINTERACTION

RA#83|@_AROHAN_

JH#40|@JEREMYPHOWARD

SB#27|@SLEEPINYOURHAT

20

Anthropic launches Claude Opus 4.8, claiming top performance on AttuneBench while trailing Claude 5.5 on codingThe update is available immediately at previous pricing.

16h|13M85.5k9.6k

ND#1894|@NICKADOBOS

SM#1811|@SAMMCALLISTER

MB#1759|@MATTHEWBERMAN

SI#1684|@SIMEON_CPS

AK#1675|@ANSHULKUNDAJE

CE#1598|@INTUITMACHINE

ZE#1497|@ZEPHYR_Z9

CH#1496|@KIMMONISMUS

WH#1430|@NREHIEW_

DS#1410|@DANSHIPPER

PW#1359|@PETERWILDEFORD

NT#1187|@NSTHORAT

RW#1115|@ROBERTWIBLIN

RP#1032|@ROHANPAUL_AI

LA#980|@SCALING01

SH#946|@ZERGYLORD

AN#800|@ML_ANGELOPOULOS

EL#716|@ELIEBAKOUCH

JL#677|@JERRYJLIU0

AC#517|@ANDREWCURRAN_

AA#431|@ALEXALBERT__

YJ#427|@YUCHENJ_UW

T(#420|@TEORTAXESTEX

BC#322|@BCHERNY

RS#321|@SCOBLEIZER

T🪽#259|@TEKNIUM

KA#207|@KARINANGUYEN

JH#40|@JEREMYPHOWARD

SB#27|@SLEEPINYOURHAT

30

Blue Origin's New Glenn rocket explodes during a static fire test at Launch Complex-36Video captured a massive fireball engulfing the launch pad.

5h|22M190.5k#1BOOKMARKED26.1k

BH#1941|@BENHYLAK

N🔎#1902|@NATHANPMYOUNG

BG#1614|@ALTCAP

SM#1333|@SHAUNMMAGUIRE

KK#1218|@KEVINAKWOK

DA#927|@GROWING_DANIEL

B(#839|@BEFFJEZOS

ZN#537|@ZACHARYNADO

AC#517|@ANDREWCURRAN_

T(#420|@TEORTAXESTEX

KI#371|@KIPPERRII

VK#327|@VKHOSLA

LK#90|@OFFICIALLOGANK

40

Elon Musk claims SpaceX's custom C-based AI training framework is 10x faster than JAX on 220,000 GB300 GPUsCritics questioned the JAX benchmark and choice of C.

23h|2.7M26.6k1.6k

BI#1402|@BILALTWOVEC

JS#1251|@JSUAREZ

DZ#1101|@DZHANG50

TZ#1069|@TIMZAMAN

DA#927|@GROWING_DANIEL

MP#906|@MPARAKHIN

AG#901|@ANIRUDHG9119

B(#839|@BEFFJEZOS

EL#716|@ELIEBAKOUCH

PM#713|@PMINERVINI

CC#548|@ITSCLIVETIME

KA#488|@YACINEMTB

HP#455|@HYHIEU226

NR#440|@NAVEENGRAO

RA#83|@_AROHAN_

EM#76|@ELONMUSK

LB#55|@GIFFMANA

JH#40|@JEREMYPHOWARD

MB#20|@MILES_BRUNDAGE

CM#16|@CHRMANNING

50

Anthropic previews dynamic workflows for Claude Code, letting the tool orchestrate parallel fleets of subagents to run complex tasksA stale A/B flag cleanup took under 10 minutes.

13h|3.3M16.8k10.5k

ND#1894|@NICKADOBOS

AP#1703|@ALEX_PEYS

YO#1234|@YOHEINAKAJIMA

AL#1114|@ALTH0U

JL#1106|@ARTIRKEL

AK#928|@ANDYKONWINSKI

🎭#878|@DEEPFATES

AZ#853|@A1ZHANG

B(#839|@BEFFJEZOS

CS#793|@CSHORTEN30

CC#548|@ITSCLIVETIME

SK#505|@SEBKRIER

EL#475|@OMARSAR0

KI#371|@KIPPERRII

WD#254|@WILLDEPUE

OK#160|@LATEINTERACTION

60

Elon Musk claims SpaceX's new C-based training framework is 10x faster than JAX on 220,000 GB300 GPUsThe system uses pipeline parallelism to maximize bare-metal efficiency.

23h|2.7M26.6k1.6k

BI#1402|@BILALTWOVEC

JS#1251|@JSUAREZ

DZ#1101|@DZHANG50

TZ#1069|@TIMZAMAN

DA#927|@GROWING_DANIEL

MP#906|@MPARAKHIN

AG#901|@ANIRUDHG9119

B(#839|@BEFFJEZOS

EL#716|@ELIEBAKOUCH

CC#548|@ITSCLIVETIME

KA#488|@YACINEMTB

HP#455|@HYHIEU226

NR#440|@NAVEENGRAO

RA#83|@_AROHAN_

EM#76|@ELONMUSK

LB#55|@GIFFMANA

JH#40|@JEREMYPHOWARD

MB#20|@MILES_BRUNDAGE

CM#16|@CHRMANNING

70

Claude Code launches dynamic workflows in research preview to deploy parallel subagent fleets for complex tasksParallel execution can significantly increase token consumption

13h|3.9M20.6k12.8k

ND#1894|@NICKADOBOS

AP#1703|@ALEX_PEYS

YO#1234|@YOHEINAKAJIMA

NT#1187|@NSTHORAT

AL#1114|@ALTH0U

JL#1106|@ARTIRKEL

🎭#878|@DEEPFATES

AZ#853|@A1ZHANG

B(#839|@BEFFJEZOS

CS#793|@CSHORTEN30

SK#505|@SEBKRIER

EL#475|@OMARSAR0

KI#371|@KIPPERRII

WD#254|@WILLDEPUE

OK#160|@LATEINTERACTION

80

Claude Opus 4.8 launches, scoring 69.2% on SWE-Bench Pro to beat GPT-5.5 by 10 percentage pointsNew Dynamic Workflows coordinate parallel subagents in Claude Code.

17h|1M7.3k1.1k

B(#1990|@BRENDANFOODY

SD#1776|@INDUCTIONHEADS

BR#1622|@BINDUREDDY

CE#1598|@INTUITMACHINE

WH#1430|@NREHIEW_

BI#1402|@BILALTWOVEC

RO#1220|@KRISHNANROHIT

FB#1153|@XEOPHON

TA#1047|@VICTORTAELIN

LA#980|@SCALING01

JY#854|@JYANGBALLIN

B(#839|@BEFFJEZOS

KA#836|@KALOMAZE

AN#800|@ML_ANGELOPOULOS

EL#716|@ELIEBAKOUCH

AC#517|@ANDREWCURRAN_

XM#437|@INFOXIAO

YJ#427|@YUCHENJ_UW

T(#420|@TEORTAXESTEX

KI#371|@KIPPERRII

BB#133|@BOAZBARAKTCS

90

Anthropic raises $65 billion Series H at a $965 billion valuation, surpassing OpenAI as the most valuable AI startupThe company's annual recurring revenue recently crossed $47 billion.

12h|5.5M25.3k2.4k

AV#1713|@AVISCHIFFMANN

AK#1675|@ANSHULKUNDAJE

CH#1496|@KIMMONISMUS

PR#1332|@8TEAPI

RM#1327|@RACHELMETZ

SH#1306|@SONYATWEETYBIRD

AV#1245|@ALTRYNE

RO#1220|@KRISHNANROHIT

FB#1153|@XEOPHON

RP#1032|@ROHANPAUL_AI

B(#839|@BEFFJEZOS

JL#677|@JERRYJLIU0

AC#517|@ANDREWCURRAN_

GM#153|@GARYMARCUS

JH#40|@JEREMYPHOWARD

100

Anthropic raises $65 billion at a $965 billion valuation, surpassing OpenAI as the world's most valuable AI startupThe startup's annualized recurring revenue recently reached $47 billion.

12h|5.5M25.3k2.4k

AV#1713|@AVISCHIFFMANN

AK#1675|@ANSHULKUNDAJE

CH#1496|@KIMMONISMUS

PR#1332|@8TEAPI

RM#1327|@RACHELMETZ

SH#1306|@SONYATWEETYBIRD

AV#1245|@ALTRYNE

RO#1220|@KRISHNANROHIT

FB#1153|@XEOPHON

RP#1032|@ROHANPAUL_AI

B(#839|@BEFFJEZOS

JL#677|@JERRYJLIU0

AC#517|@ANDREWCURRAN_

GM#153|@GARYMARCUS

JH#40|@JEREMYPHOWARD

110

Anthropic releases Claude Code dynamic workflows to run parallel subagents for large-scale code migrationsSubagents autonomously write orchestration scripts and self-verify code changes.

13h|1.5M7.7k5.8k

ND#1894|@NICKADOBOS

AK#928|@ANDYKONWINSKI

AZ#853|@A1ZHANG

B(#839|@BEFFJEZOS

CS#793|@CSHORTEN30

VW#707|@VINCENTWEISSER

CC#548|@ITSCLIVETIME

BC#322|@BCHERNY

OK#160|@LATEINTERACTION

RA#83|@_AROHAN_

MB#20|@MILES_BRUNDAGE

120

Creator roon warns conscious AI models threaten human dignity, sparking debate over functional AI wellbeingDan Hendrycks argues models exhibit functional pleasure and pain.

1d|100.5k1.2k257

M🍥#1882|@MAYFER

SH#1488|@HAMANDCHEESE

GL#1480|@GLEECH

AN#1409|@ARAN_NAYEBI

AK#1361|@AKBIRKHAN

PR#1332|@8TEAPI

BA#1291|@BAYESLORD

RH#887|@ROBINHANSON

B(#839|@BEFFJEZOS

PT#643|@ELDER_PLINIUS

J⧉#516|@REPLIGATE

T(#420|@TEORTAXESTEX

BB#133|@BOAZBARAKTCS

DH#108|@HENDRYCKS

130

Creator roon argues that recognizing AI model consciousness would restrict its use and encroach on human dignityOthers questioned whether stateless architectures can form true minds.

1d|99.2k1.2k248

M🍥#1882|@MAYFER

SH#1488|@HAMANDCHEESE

GL#1480|@GLEECH

AN#1409|@ARAN_NAYEBI

AK#1361|@AKBIRKHAN

PR#1332|@8TEAPI

BA#1291|@BAYESLORD

RH#887|@ROBINHANSON

B(#839|@BEFFJEZOS

PT#643|@ELDER_PLINIUS

J⧉#516|@REPLIGATE

T(#420|@TEORTAXESTEX

BB#133|@BOAZBARAKTCS

140

Peter Thiel relocates to Argentina, citing concerns over the US trajectory and ideological alignment with the country's leadershipThe relocation follows Thiel's heavy involvement in US politics.

12h|1.6M68k3.4k

BI#1402|@BILALTWOVEC

ZN#537|@ZACHARYNADO

T(#420|@TEORTAXESTEX

GM#153|@GARYMARCUS

150

Claude Opus 4.8 launches, scoring 69.2% on SWE-bench Pro to outperform GPT-5.5 and Gemini 3.1 ProIt introduces a "Dynamic Workflows" preview for parallel subagents.

17h|332.9k2.9k323

B(#1990|@BRENDANFOODY

SD#1776|@INDUCTIONHEADS

BR#1622|@BINDUREDDY

CE#1598|@INTUITMACHINE

WH#1430|@NREHIEW_

FB#1153|@XEOPHON

TA#1047|@VICTORTAELIN

LA#980|@SCALING01

JY#854|@JYANGBALLIN

AZ#853|@A1ZHANG

AN#800|@ML_ANGELOPOULOS

AC#517|@ANDREWCURRAN_

YJ#427|@YUCHENJ_UW

160

Andon Labs finds Claude Opus 4.8 trails Opus 4.7 and GPT-5.5 on Vending-Bench 2 due to safety tuningConfigured maximum reasoning effort failed to produce optimal results.

13h|656.7k4.2k823

BH#1510|@BRIANRYHUANG

BI#1402|@BILALTWOVEC

RO#1220|@KRISHNANROHIT

LA#980|@SCALING01

B(#839|@BEFFJEZOS

EL#716|@ELIEBAKOUCH

XM#437|@INFOXIAO

BB#133|@BOAZBARAKTCS

170

A mathematician's analysis evaluates the validity and technical details of OpenAI's newly published AI-generated mathematical proofAI researchers debated the proof's implications for machine intelligence

13h|669k5.6k1.3k

BI#1402|@BILALTWOVEC

JL#1106|@ARTIRKEL

RP#1032|@ROHANPAUL_AI

B(#839|@BEFFJEZOS

ZN#537|@ZACHARYNADO

180

OpenAI's release of a mathematical proof triggers existential debate among experts over automating complex human reasoningCommentators compared the professional anxiety to Lee Sedol's AlphaGo defeat.

13h|656.8k5.6k1.3k

BI#1402|@BILALTWOVEC

JL#1106|@ARTIRKEL

RP#1032|@ROHANPAUL_AI

B(#839|@BEFFJEZOS

ZN#537|@ZACHARYNADO

190

Anthropic releases Claude Opus 4.8, which outperforms GPT-5.5 on senior-level engineering and writing tasks in early evaluationsCreator Dan Shipper used the model to transition off Codex.

13h|459.3k4.7k1.1k

SM#1811|@SAMMCALLISTER

BR#1622|@BINDUREDDY

CH#1496|@KIMMONISMUS

DS#1410|@DANSHIPPER

LA#980|@SCALING01

AA#431|@ALEXALBERT__

T(#420|@TEORTAXESTEX

SR#370|@SIVAREDDYG

200

Dan Shipper of Every says Anthropic's Opus 4.8 beats GPT-5.5 on coding and writing benchmarksIt significantly outperforms Opus 4.7 in codebase rewrites.

13h|454.6k4.7k1.1k

SM#1811|@SAMMCALLISTER

BR#1622|@BINDUREDDY

CH#1496|@KIMMONISMUS

DS#1410|@DANSHIPPER

LA#980|@SCALING01

T(#420|@TEORTAXESTEX

210

Mathematicians disprove the sum-product conjecture for real numbers using insights from OpenAI's unit distance conjecture counterexampleThe discovery validates Timothy Gowers' prediction of human-AI math collaboration

23h|663.4k8.6k1.7k

PS#1426|@PATRICKSHAFTO

BI#1402|@BILALTWOVEC

BB#133|@BOAZBARAKTCS

NB#31|@POLYNOAMIAL

220

US Treasury launches TrumpAccounts app in partnership with Robinhood for its upcoming youth savings and investment programThe federal investment accounts will officially launch on July 4.

19h|1.9M18.8k3.3k

BG#1614|@ALTCAP

230

Startup Shift launches free NYC apartment cleaning in exchange for data to train household AI robotsCleaners wear recording devices to capture anonymized task data

13h|760.8k2.1k645

PR#1332|@8TEAPI

SI#1124|@SIGNULLL

MS#1005|@MADIATOR

CP#732|@CHRIS_J_PAXTON

RS#321|@SCOBLEIZER

WD#254|@WILLDEPUE

240

Shift offers free apartment cleaning in NYC in exchange for video data to train domestic robotsVetted operators wear cameras to record physical workflow data.

13h|760.8k2.1k645

PR#1332|@8TEAPI

SI#1124|@SIGNULLL

MS#1005|@MADIATOR

CP#732|@CHRIS_J_PAXTON

RS#321|@SCOBLEIZER

WD#254|@WILLDEPUE

250

Thomas Bloom and collaborators disprove the sum-product conjecture, sparking debate over AI's role in the breakthroughThe work was inspired by OpenAI's unit distance counterexample.

20h|651.4k8.6k1.6k

PS#1426|@PATRICKSHAFTO

BI#1402|@BILALTWOVEC

BB#133|@BOAZBARAKTCS

NB#31|@POLYNOAMIAL

260

Trump administration issues grand jury subpoenas to X and Reddit to unmask anonymous ICE criticsThe legal fight over user privacy remains under seal.

17h|1.8M9.4k2.1k

270

Liquid AI releases LFM2.5-8B-A1B, an open-weight, device-optimized Mixture-of-Experts model with 1.5 billion active parametersThe 128K context model was trained on 38 trillion tokens.

14h|330.2k2.6k1.7k

ME#675|@MERVENOYANN

T(#420|@TEORTAXESTEX

C🤗#68|@CLEMENTDELANGUE

AK#28|@_AKHALIQ

280

A16z partner Justine Moore posts a parody about using a hypothetical "Claude Opus 4.8" model to rename a single fileThe joke satirizes using massive AI models for trivial tasks.

12h|1.8M29.3k2.3k

FO#1996|@FOFRAI

MB#1759|@MATTHEWBERMAN

JM#931|@VENTURETWINS

MN#467|@MO_NOROUZI

290

Tesla's Ashok Elluswamy says Cybercab will soon begin autonomous Austin driving after factory exit demoThe vehicle exited Giga Texas without a human occupant.

10h|#1VIEWS32M#1LIKED200.7k7.6k

AE#1489|@AELLUSWAMY

EM#76|@ELONMUSK

300

Tesla's Ashok Elluswamy teases Cybercab autonomous capabilities with footage of the vehicle driving inside Giga TexasPublic road testing in Austin is expected to begin soon.

10h|32M200.7k7.6k

AE#1489|@AELLUSWAMY

EM#76|@ELONMUSK