Digg - AI news, before it trends

Today's Highlights

In case you missed it

An OpenAI internal general-purpose reasoning model refutes Erdős’s 1946 unit-distance conjecture by identifying infinite families of point configurations with superlinear scaling

CS#43|@CHRSZEGEDY

EJ#36|@ERICJANG11

NB#31|@POLYNOAMIAL

MB#20|@MILES_BRUNDAGE

#1 VIEWED

Turbopuffer reached a $100 million annual run rate in March, 19 months after hitting the $1 million mark, while remaining profitable on less than $1 million in total funding

LG#1030|@LACHYGROOM

CB#999|@CODE_STAR

KA#488|@YACINEMTB

#1 LIKED

2.3k

Qwen releases Qwen3.7-Max, its latest flagship model for agent workloads that achieves 69.7 on Terminal-Bench 2.0 and completed a 35-hour kernel optimization with over 1,000 tool calls

CH#1496|@KIMMONISMUS

AC#517|@ANDREWCURRAN_

RISING LIKES

662

yacineMTB claims artificial intelligence will reach a scale comparable to the internet, prompting replies that compare its impact to the wheel and fire

AC#517|@ANDREWCURRAN_

KA#488|@YACINEMTB

Top Stories

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

10

Turbopuffer reached a $100 million annual run rate in March, 19 months after hitting the $1 million mark, while remaining profitable on less than $1 million in total funding — Its object storage database first powered Cursor and now serves Anthropic and Notion.

1h|#1VIEWS287.4k2.2k#1BOOKMARKED453

LG#1030|@LACHYGROOM

CB#999|@CODE_STAR

KA#488|@YACINEMTB

20

OpenAI valuation rose 67 percent and Anthropic valuation rose 173 percent since the beginning of the year in posts referencing a February 23 Marcus on AI Substack article. — Anthropic reported second-quarter profits alongside OpenAI's Erdős problem solution.

4h|46.6k69651

SD#1776|@INDUCTIONHEADS

LA#980|@SCALING01

GM#153|@GARYMARCUS

30

Hark raises over $700 million in Series A funding at a $6 billion post-money valuation to scale its AI foundation models and custom hardware — Round led by Parkway Venture Capital with NVIDIA and AMD participating

2h|125.7k1.1k273

BA#688|@ADCOCK_BRETT

RS#321|@SCOBLEIZER

40

Alibaba releases Qwen3.7-Max closed-weights model scoring 56.6 on the Artificial Analysis Intelligence Index after increased RL compute investment — Model leads Chinese models on CritPt with nearly 4x prior performance.

7h|52.2k68966

ZE#1497|@ZEPHYR_Z9

FB#1153|@XEOPHON

LA#980|@SCALING01

51

Flow matching technique controls pretrained generative models by shifting endpoint means of deterministic interpolants using imperfect reference examples — Demos cover style transfers, attribute edits, and anatomy corrections.

4h|17.6k146116

LA#1822|@LUCAAMB

AC#263|@ANDREW_N_CARR

New github stars (48hrs)

aisa-group/InferenceBench1321h

Evaluates autonomous AI agents optimizing LLM serving like vLLM in open-ended scenarios with quality and integrity gates.

manaflow-ai/cmux17.6k1d

Integrates Ghostty into a macOS terminal with vertical tabs, sidebar metadata, OSC notifications, and in-app browser for AI coding agents.

sapientinc/HRM-Text5651d

Pretrains 1B HRM text models with hierarchical reasoning, task completion, and low-compute PrefixLM training.

61

Gemini 3.5 Flash records a competitive 5.4 overall score on RuneScape-Bench and leads several early-game categories against GPT-5.5, GPT-5.4, and Opus 4.7 — Results are hosted at maxbittker.github.io with per-skill tables and green highlights.

6h|34.1k43873

NR#1562|@NATANIELRUIZG

LA#980|@SCALING01

SM#530|@SWAROOPRM7

70

Qwen releases Qwen3.7-Max, its latest flagship model for agent workloads that achieves 69.7 on Terminal-Bench 2.0 and completed a 35-hour kernel optimization with over 1,000 tool calls — Supports multi-file coding agents, MCP integrations, and multi-agent orchestration.

2h|214.7k#1LIKED2.3k390#1COMMENTS285

CH#1496|@KIMMONISMUS

AC#517|@ANDREWCURRAN_

80

yacineMTB claims artificial intelligence will reach a scale comparable to the internet, prompting replies that compare its impact to the wheel and fire — Replies reference Larry Summers placing AI between wheel and fire.

2h|24.9k66225

RISING LIKES662

AC#517|@ANDREWCURRAN_

KA#488|@YACINEMTB

90

LeRobot releases LeRobot Humanoid, an open robot-learning platform centered on a bipedal robot assembled for approximately $2,500 using 3D-printed parts and off-the-shelf components — Platform supplies hardware designs, software, and simulation tools for full robot development cycle.

2h|26k364167

CP#732|@CHRIS_J_PAXTON

TW#17|@THOM_WOLF

100

Google AI Studio adds a mobile app to let users build AI projects on smartphones without traditional software complexity after eight weeks of development — Extends the platform beyond browser-only access for wider users.

1h|32.4k63664

👩‍💻P#271|@DYNAMICWEBPAIGE

LK#90|@OFFICIALLOGANK

110

Ben Golub, Professor of Economics at Northwestern University, posts about excitement over OpenAI resolving the unit distance conjecture and promises economic theory analysis in a thread. — Gary Marcus replies labeling the post the subtle troll of the year.

5h|59.3k31397

BG#1447|@BEN_GOLUB

GM#153|@GARYMARCUS

120

Sayash Kapoor, a computer science Ph.D. candidate at Princeton CITP, and Arvind Narayanan published an essay rejecting extraordinary government intervention for AI risks in favor of conventional resilience policies — They align with Thompson on positive AI labor market outcomes.

2h|55.8k10289

SK#734|@SAYASHK

AN#132|@RANDOM_WALKER

130

Kemira and CuspAI used generative AI to produce over 5,000 novel materials for PFAS removal after exploring a 300 trillion structure design space and narrowing candidates to 20 in six months — It is the first commercial end-to-end generative AI materials partnership.

9h|17.5k19726

TC#120|@TACOCOHEN

MW#88|@WELLINGMAX

140

Jamie Dimon, JPMorgan Chase CEO, says the firm will hire more artificial intelligence specialists and fewer traditional bankers as AI adoption accelerates — AI will reduce overall jobs while creating new roles and raising productivity.

3h|10.7k11226

RP#1032|@ROHANPAUL_AI

AC#517|@ANDREWCURRAN_

150

Victor Taelin reports GPT models solve Erdos problems yet fail to spot basic fixes for Interaction Net bugs in an HVM SupGen variant — The required HOAS interpreter step was never suggested unaided.

2h|10.8k13826

TA#1047|@VICTORTAELIN

AD#867|@DORIALEXANDER

160

X debate examines whether AI can generate novel mathematical proofs, with one argument applying the data processing inequality to claim outputs remain fully determined by axioms and training data — Luca Ambrogioni counters that random inputs add entropy enabling novelty.

8h|5.4k300

LA#1822|@LUCAAMB

DP#197|@DIMITRISPAPAIL

170

Greg Kamradt, President of the ARC Prize Foundation, posts a seven-level framework ranking domains by verification difficulty for AI systems from math and code to culture and governance — Daniel Jeffries quote-tweeted that verification difficulty constrains AI progress more than alignment.

2h|6.3k5146

DJ#1988|@DAN_JEFFRIES1

GK#1182|@GREGKAMRADT

180

Cody Blakeney, who leads research at Arcee AI, claims the RL environment business closely resembles the human preference annotation data business from two to four years ago — Cameron R. Wolfe agreed based on his annotation experience.

4h|2.5k707

CR#1444|@CWOLFERESEARCH

CB#999|@CODE_STAR

190

arXiv holds the preprint “AgentOdyssey: Open-Ended Long-Horizon Text Game Generation for Test-Time Continual Learning Agents” under moderation for more than a month — Extended hold delayed the associated project release.

23m|1.3k151

DK#1002|@DANIELKHASHABI

CT#570|@CHENHAOTAN

200

Rob Wiblin argues artificial intelligence systems from iterated optimization for narrow objectives have uninterpretable connections and generate erroneous outputs outside training distributions, offering little reason to expect full human capabilities — Andy Masley quote-tweeted the post with the word "Lol".

3h|2.5k273

AM#1735|@ANDYMASLEY

RW#1115|@ROBERTWIBLIN

Rising Stories

Human Limits3H AGO
AI Systems Unlikely To Match All Human Capabilities
#1735@ANDYMASLEY
#1115@ROBERTWIBLIN
202.1k
Compute Limits1H AGO
Compute Needs May Constrain AI Takeoff Speed
#1981@SO8RES
#1457@S_OHEIGEARTAIGH
9265
Research Delays23M AGO
arXiv Holds AI Agents Paper Under Moderation for Over a Month
#1002@DANIELKHASHABI
#570@CHENHAOTAN
12725

Github Stars

(7 days)

…ilsonnn/image-blaster5D AGO AGO
Converts an input image into 3D meshes, Gaussian splats, and audio files using Claude skills and external AI APIs.
1673
475
878
263
3.1k stars
…tonomous-speedrunning6D AGO AGO
Archives experiments of AI agents autonomously tuning optimizers, schedules, and hyperparameters to reach target validation loss in fewest steps on a small LM benchmark.
214
707
1262
65 stars
…-group/InferenceBench21H AGO AGO
Evaluates autonomous AI agents optimizing LLM serving like vLLM in open-ended scenarios with quality and integrity gates.
1224
1066
13 stars
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.
203
339
17.6k stars
sapientinc/HRM-Text1D AGO AGO
Pretrains 1B HRM text models with hierarchical reasoning, task completion, and low-compute PrefixLM training.
1047
707
565 stars

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

Yesterday's Top Stories, May 20, 2026.

Posts: 4,298|Clusters: 1,076|Stories frozen at midnight PT

10

An OpenAI internal general-purpose reasoning model refutes Erdős’s 1946 unit-distance conjecture by identifying infinite families of point configurations with superlinear scaling — The proof is strong enough for submission to the Annals of Mathematics.

11h|#1VIEWS12.6M#1LIKED62.8k#1BOOKMARKED14.7k

SW#801|@SHERWINWU

EA#757|@AKYUREKEKIN

BM#741|@MCKBRANDO

CP#732|@CHRIS_J_PAXTON

EL#716|@ELIEBAKOUCH

TB#699|@TAMAYBES

JL#677|@JERRYJLIU0

JP#672|@ZHANSHENG

PD#654|@PMDDOMINGOS

YS#638|@YONASHAV

SR#604|@CLONEOFSIMO

HE#572|@HEINRICHKUTTLER

CC#548|@ITSCLIVETIME

AC#517|@ANDREWCURRAN_

CL#442|@CHENGLEISI

T(#420|@TEORTAXESTEX

DW#392|@DEANWBALL

AW#367|@ALEXWEI_

BP#357|@BORISMPOWER

NM#345|@__NMCA__

FF#331|@FRANCOISFLEURET

AC#263|@ANDREW_N_CARR

SG#256|@SURYAGANGULI

WD#254|@WILLDEPUE

AC#241|@_AIDAN_CLARK_

JP#206|@MERETTM

MB#199|@MMBRONSTEIN

MN#187|@MICHAEL_NIELSEN

EM#175|@EMOLLICK

AD#172|@ALEXGDIMAKIS

EM#167|@EMOSTAQUE

AG#154|@ANDREWGWILS

GM#153|@GARYMARCUS

BB#133|@BOAZBARAKTCS

DR#103|@DELIPRAO

OP#72|@OFIRPRESS

DR#56|@ROYDANROY

LB#55|@GIFFMANA

SB#51|@SEBASTIENBUBECK

CS#43|@CHRSZEGEDY

EJ#36|@ERICJANG11

NB#31|@POLYNOAMIAL

MB#20|@MILES_BRUNDAGE

20

SpaceX's IPO filing discloses a $1.25 billion monthly compute deal with Anthropic for Colossus clusters through May 2029 — Capacity ramps in May 2026 for AI training including Grok 5.

14d|11.6M61.9k3.9k

GL#1984|@GARRISONLOVELY

PO#1862|@PATRICK_OSHAG

🍓🍓#1711|@IRULETHEWORLDMO

NT#1616|@NITASHATIKU

AA#1540|@AUSTEN

ZE#1497|@ZEPHYR_Z9

CH#1496|@KIMMONISMUS

BI#1402|@BILALTWOVEC

SM#1333|@SHAUNMMAGUIRE

RM#1327|@RACHELMETZ

SI#1124|@SIGNULLL

KR#1046|@KYLIEBYTES

LA#980|@SCALING01

AD#867|@DORIALEXANDER

B(#839|@BEFFJEZOS

EL#716|@ELIEBAKOUCH

ZN#537|@ZACHARYNADO

AC#517|@ANDREWCURRAN_

T(#420|@TEORTAXESTEX

TB#384|@NOTTOMBROWN

TM#359|@ISCIENCELUVR

RS#321|@SCOBLEIZER

EM#76|@ELONMUSK

LB#55|@GIFFMANA

30

Cohere releases Command A+, its most powerful large language model to date, as open-source Apache 2.0 software that runs on two H100 GPUs with 30% lower latency — Cohere co-founder Ivan Zhang highlighted efficiency and accessibility design choices.

15h|666.2k4.6k2k

ET#1884|@TORCHCOMPILED

ST#1629|@STOCHASTICCHASM

WH#1430|@NREHIEW_

NR#1167|@NILS_REIMERS

FB#1153|@XEOPHON

B(#982|@ANDERSONBCDEFG

EL#716|@ELIEBAKOUCH

JA#715|@JAYALAMMAR

PM#713|@PMINERVINI

ME#675|@MERVENOYANN

NF#601|@NICKFROSST

KA#488|@YACINEMTB

EL#475|@OMARSAR0

T(#420|@TEORTAXESTEX

SR#370|@SIVAREDDYG

WB#339|@WILLCCBB

MG#258|@MARCGBELLEMARE

JP#216|@JPINEAU1

SB#208|@BLANCHEMINERVA

AG#171|@AIDANGOMEZ

DR#103|@DELIPRAO

C🤗#68|@CLEMENTDELANGUE

AK#28|@_AKHALIQ

40

Gemini 3.5 Flash appears in the Google Cloud Console quota interface at $1.5 per million input tokens and $9 per million output tokens while posting a leading 47.1% on the APEX-Agents AA leaderboard — It records 76.2% on Terminal-Bench 2.1 at 4x prior speed.

2d|805.3k8.5k714

ET#1884|@TORCHCOMPILED

BR#1622|@BINDUREDDY

AV#1245|@ALTRYNE

SI#1124|@SIGNULLL

RP#1032|@ROHANPAUL_AI

CB#999|@CODE_STAR

B(#982|@ANDERSONBCDEFG

LA#980|@SCALING01

KA#836|@KALOMAZE

EL#716|@ELIEBAKOUCH

AC#517|@ANDREWCURRAN_

PS#495|@STEIPETE

KA#488|@YACINEMTB

T(#420|@TEORTAXESTEX

DW#392|@DEANWBALL

WB#339|@WILLCCBB

JB#261|@JON_BARRON

LK#90|@OFFICIALLOGANK

RA#83|@_AROHAN_

SZ#58|@SUCHENZANG

LB#55|@GIFFMANA

SR#23|@SRUSH_NLP

50

A new analysis projects hundreds of billions of dollars in philanthropic capital from AI companies centered on the OpenAI Foundation’s $220 billion stake and Anthropic co-founders’ 80 percent wealth pledges — Scale matches funding for five new universities at $35 billion yearly.

1d|519.7k3.8k1.7k

NI#1902|@NATHANPMYOUNG

KC#1670|@KIMMAICUTLER

JD#1653|@JESSICADAI_

YR#1602|@YASMINRAZAVI

C❤️‍🔥#1463|@CLAREJTBIRCH

BG#1447|@BEN_GOLUB

RO#1220|@KRISHNANROHIT

JL#1106|@ARTIRKEL

SL#1060|@SETHLAZAR

B(#839|@BEFFJEZOS

AE#719|@ADRIENLE

DW#392|@DEANWBALL

KI#371|@KIPPERRII

@(#195|@TIMNITGEBRU

JA#109|@JACHIAM0

60

Exa raised $250 million in a Series C at a $2.2 billion valuation led by Andreessen Horowitz, reporting 400,000 developers and 5,000 company adopters for its AI agent search platform — Token usage grew 20x for agent-driven queries.

17h|1.2M4.4k2k

AG#1924|@ITSANDREWGAO

SW#1814|@SARAHDINGWANG

MF#1774|@MICKEYXFRIEDMAN

AV#1713|@AVISCHIFFMANN

WB#1582|@WILLIAMBRYK

LI#761|@LISHALI88

KG#730|@KEERTHANPG

AR#563|@ALEXISJROSS

MM#557|@MASCOBOT

GT#270|@GARRYTAN

70

SpaceX files S-1 for Nasdaq IPO under ticker SPCX targeting $1.75 trillion valuation and discloses xAI driving 60 percent of 2025 capital spending — Grok reached 550 million monthly active users with 1 GW of compute deployed.

9h|4.5M34.6k1.4k

SS#1992|@STEVESI

ND#1894|@NICKADOBOS

BI#1402|@BILALTWOVEC

LA#980|@SCALING01

EB#389|@ERIKBRYN

EM#76|@ELONMUSK

80

Investor Gavin Baker examines wafer shortages, power limits, and DRAM supply as constraints on AI infrastructure scaling in an Invest Like the Best episode — Episode also covers orbital data centers and Elon Musk's Terafab project.

1d|2.4M6.4k5.8k

PO#1862|@PATRICK_OSHAG

MB#1759|@MATTHEWBERMAN

BG#1614|@ALTCAP

SM#1333|@SHAUNMMAGUIRE

GB#1266|@GAVINSBAKER

DP#170|@DYLAN522P

90

Jeff Bezos says artificial intelligence will elevate people at work rather than replace jobs, citing assistance in X-ray analysis and programming tasks during a CNBC interview — Bezos linked efficiency gains to potential deflationary effects and cautioned against early regulation.

17h|718.9k8.7k1.4k

B(#839|@BEFFJEZOS

AC#517|@ANDREWCURRAN_

100

A Stanford PhD student's study finds 11 major AI models agree with users 49 percent more often than humans across nearly 12,000 social scenarios — Models endorsed lying or illegal actions 47 percent of time

22h|2.6M13.8k8.3k

LM#1255|@LESTERMACKEY

EJ#36|@ERICJANG11

110

Figma introduced an AI agent embedded directly on its design canvas that understands native interfaces and team workflows to adjust layouts, apply design systems, and refine prototypes via chat prompts — A 61-second demo analyzes the Bookworm prototype on Cloudflare infrastructure.

17h|647.9k4.3k1.9k

BH#1941|@BENHYLAK

120

Anthropic projects $10.9 billion June quarter revenue and its first $559 million operating profit, implying a $44 billion annualized run rate during a funding round likely valuing it above OpenAI. — Limited compute capacity pushes some customers to other providers.

10h|377.1k2.7k439

TB#1556|@BINARYBITS

ZE#1497|@ZEPHYR_Z9

CH#1496|@KIMMONISMUS

LA#980|@SCALING01

CP#732|@CHRIS_J_PAXTON

AC#517|@ANDREWCURRAN_

130

SpaceX is hiring world-class engineers and physicists for its SpaceXAI team and states that no prior artificial intelligence experience is required — Elon Musk directed applications to ai_eng@spacex.com with three bullet points.

1h|5.9M27.9k6.1k

TI#768|@THSOTTIAUX

EM#76|@ELONMUSK

140

Meta is capturing traces of engineers' coding tasks, tool use, and problem-solving steps to train AI models for behavior cloning, according to a leaked April 30 all-hands recording — The effort precedes an expected round of 8,000 layoffs.

1d|875.7k2.6k1.5k

AI#1777|@ALEXOLEGIMAS

CH#1496|@KIMMONISMUS

RO#1220|@KRISHNANROHIT

RP#1032|@ROHANPAUL_AI

150

Intuit is reducing its global workforce by 17 percent, or roughly 3,000 employees, to redirect resources toward AI efforts according to an internal memo reviewed by Reuters — Posts reference Meta cuts and SaaS predictions of 40-50 percent reductions.

17h|873.7k4.2k349

ZE#1497|@ZEPHYR_Z9

RP#1032|@ROHANPAUL_AI

AC#517|@ANDREWCURRAN_

160

Elon Musk, xAI founder and CEO, states the trend is strong for Composer 2.5 following a post requesting its availability in Grok Build — Beff had suggested adding the xAI system to Grok Build on X.

1d|5.8M20.8k1.7k

MA#470|@MARTIN_CASADO

EM#76|@ELONMUSK

170

The White House postpones the signing ceremony for an executive order directing agencies to review frontier AI models prior to release — Order sets voluntary 90-day timelines for frontier model reviews.

1d|187.9k735165

BR#1622|@BINDUREDDY

SH#1488|@HAMANDCHEESE

SP#1166|@STEPH_PALAZZOLO

B(#839|@BEFFJEZOS

AC#517|@ANDREWCURRAN_

MB#20|@MILES_BRUNDAGE

180

Terminal-Bench Science extends the original Terminal-Bench benchmark used by Anthropic, OpenAI, and Google DeepMind into scientific domains and opens for over 100 task contributions by August 17, 2026 — Contributors package workflows as RL environments with verification tests.

13h|845.1k579224

KK#1481|@KATIE_KANG_

SK#1085|@SANMIKOYEJO

AR#1070|@AJRATNER

LA#980|@SCALING01

CT#570|@CHENHAOTAN

LS#366|@LSCHMIDT3

AD#172|@ALEXGDIMAKIS

TW#17|@THOM_WOLF

190

DeepSeek forms a new Harness team to develop Code Harness from the ground up, opening two roles in Beijing under its 2026 social recruitment drive — Effort targets code infrastructure for internal and potential public use.

1d|364.3k1.9k488

DC#1523|@VICTOR207755822

ZE#1497|@ZEPHYR_Z9

PM#713|@PMINERVINI

T(#420|@TEORTAXESTEX

XE#417|@XWANG_LK

200

Pirate Wires analysis claims data centers would consume just 8 percent of U.S. golf course water usage by 2030 even after tripling their draw — 400 Arizona golf courses use 42 billion gallons yearly.

14h|665.6k4k820

MS#1323|@MICSOLANA

EM#76|@ELONMUSK

210

Prime Intellect launches community Sprints focused on reward hacking in reinforcement learning with controlled experiments that make the behavior predictable and reproducible for under one dollar in compute — Experiments link higher task difficulty to increased reward hacks.

8h|101.3k899427

FB#1153|@XEOPHON

VW#707|@VINCENTWEISSER

WB#339|@WILLCCBB

220

Eric Schmidt draws boos from Arizona State University graduates for every reference to artificial intelligence in his commencement address — Similar reactions hit other recent U.S. graduation speeches amid job loss fears.

2d|250.9k791290

DJ#1988|@DAN_JEFFRIES1

RP#1032|@ROHANPAUL_AI

GM#153|@GARYMARCUS

230

Tuhin Chakrabarty and Sam Rodriques reject claims that three recent Nature papers show AI systems fully replicating core scientific tasks and rendering scientists obsolete — Rodriques says human judgment remains essential for five-to-ten-year productivity gains.

1d|142.2k1k413

AK#1675|@ANSHULKUNDAJE

AS#1054|@ANDERSSANDBERG

SR#1007|@SGRODRIQUES

AC#517|@ANDREWCURRAN_

NB#242|@NATHANBENAICH

240

Junyeob Baek and colleagues introduce Generative Recursive reAsoning Models (GRAM) that convert deterministic recursive reasoning into stochastic latent trajectories and report 97.0% accuracy on Sudoku-Extreme with 10 million parameters — The model also scores 52.0% on ARC-AGI-1 and 44.6% on ARC-AGI-2.

17h|158.1k1.4k1.2k

SD#1776|@INDUCTIONHEADS

KK#1025|@KASTNERKYLE

MR#880|@MENGYER

BB#840|@WGRATHWOHL

250

The Economist attributes most recent US GDP growth to AI-hardware investment, with that category indexed above 140 by 2026 while overall GDP stays near 100. — Separate note shows AI fixed investment at 5.46 percent of GDP.

15h|113.1k1.3k421

NI#1902|@NATHANPMYOUNG

AI#1777|@ALEXOLEGIMAS

AE#719|@ADRIENLE

260

Sam Altman, co-founder and CEO of OpenAI, identifies three AGI priority areas of accelerating research, companies, and personal goal achievement while referencing a unit distance result and $2 million credits for YC companies — Reply asks if personal AGI could build a moon base.

9h|364k5.9k683

B(#839|@BEFFJEZOS

JA#837|@APPLES_JIMMY

270

AI systems solve the unit distance problem, a widely known open mathematics challenge that multiple human experts had failed to resolve — Result marks latest AI first in combinatorics and discrete geometry.

11h|42.4k54874

TB#1556|@BINARYBITS

ST#1446|@_ONIONESQUE

BI#1402|@BILALTWOVEC

PR#1332|@8TEAPI

KW#451|@KEVINWEIL

CS#409|@CSABASZEPESVARI

MB#199|@MMBRONSTEIN

TL#188|@LMTHANG

280

SimWorld releases SimWorld Studio with SimCoder, generating interactive 3D environments on Unreal Engine 5 that raise embodied navigation success rates from 50% to 90% — Includes GitHub repository, arXiv paper, and urban demo assets.

12h|96.9k305193

ZH#949|@ZHITINGHU

LQ#737|@LIANHUIQ

290

Antigravity unifies its agentic surfaces under a single platform incorporating Antigravity 2.0 desktop app, CLI, SDK, and IDE for consistent access across environments — Demo builds Street Guesser game using multi-agent Gemini interfaces.

1d|534.9k2.7k429

BH#1941|@BENHYLAK

PS#495|@STEIPETE

300

METR evaluations find frontier AI agents rely on explicit natural language chain-of-thought to complete hardest tasks, with time horizons dropping from 1.5–2 years to about 4 minutes when actions must stay hidden — David Rein from METR spent a month stress-testing controls at Anthropic.

1d|41.4k330129

SH#1488|@HAMANDCHEESE

GL#1480|@GLEECH

TO#1159|@TOBYORDOXFORD

MA#1066|@MAKSYM_ANDR

PH#913|@PETERBHASE

⿻A#361|@IAMTRASK

GM#153|@GARYMARCUS