Amit Sahai says understanding AI's new mathematics will take more mathematicians, not fewer — Hacker News, September 26

2 minutes ago

The Hacker News front page for Saturday, September twenty sixth, two thousand twenty six. At the top, with about three hundred sixty points: a guest post on Terence Tao's blog, where Amit Sahai argues that the machines will leave humanity needing more mathematicians.

Ask

Ask about this presentation

Answers are generated from this presentation.

Chapters

  1. 0:00Hacker News, September 26
  2. 0:17A time for humility in research mathematics
  3. 0:33A fusion design built on principles no human conceived
  4. 0:50A deployable intellectual reserve
  5. 1:07A commenter watching their own scrutiny slip
  6. 1:24What Google Play costs one Android developer
  7. 1:44A support number that cannot pass verification
  8. 2:01The founder of a planning app says planning moved
  9. 2:15Plan mode was only ever a prompt
  10. 2:29Steve Jobs asks for a thank-you card from his iPhone
  11. 2:48The startup Apple landed on
  12. 3:06Four clouds, emulated on localhost
  13. 3:25A reader already running it in CI
Show transcript

Hacker News, September 26

Hacker NewsSaturday, September 26, 2026

Amit Sahai says understanding AI's new mathematics will take more mathematicians, not fewer — Hacker News, September 26

Saturday, September 26, 2026
news.ycombinator.com/front?day=2026-09-26
Also on the front page
  • Conversations leaves Google Play
  • The end of plan mode
  • How Apple Cards got printed
  • Floci, four clouds on a laptop

The Hacker News front page for Saturday, September twenty sixth, two thousand twenty six. At the top, with about three hundred sixty points: a guest post on Terence Tao's blog, where Amit Sahai argues that the machines will leave humanity needing more mathematicians.

A time for humility in research mathematics

Hacker NewsSaturday, September 26, 2026

We're gonna need a lot more mathematicians

terrytao.wordpress.com · about 360 points · about 460 comments on Hacker News
Who is arguing it
Amit Sahai, in a guest post on Terence Tao's blog.
What the systems do now
Beautiful new ideas, Sahai writes, well past impressive calculation or a fast version of an argument a strong researcher would already follow.
The worry
Researchers who can no longer keep up will quietly leave, the way the undergraduates Sahai remembers gave up on research mathematics.
Source: terrytao.wordpress.com

Amit Sahai is writing as a guest on Terence Tao's blog. The systems he works with already produce genuinely new ideas, he says, not just fast arguments. So every mathematician is about to learn what it feels like to be unable to keep up.

A fusion design built on principles no human conceived

Hacker NewsSaturday, September 26, 2026

Would you approve a one terawatt fusion plant you cannot follow?

The scenario
An AI system proposes a way to sustain and control fusion that no human had conceived of. Robots stand ready to build it.
What approval needs
How failures are contained, where the stored energy goes at shutdown, whether the materials behave as the design assumes.
Why the usual answer fails
The novelty that makes the design exciting also means decades of operating similar plants carry no confidence over.
Source: terrytao.wordpress.com

His example is a one terawatt fusion plant, designed by an AI on principles people have never put into practice. Approving it means understanding containment, shutdown and materials. And because the design is new, experience with earlier plants can't answer them.

A deployable intellectual reserve

Hacker NewsSaturday, September 26, 2026

Sahai's proposal is a deployable intellectual reserve

The unit of work
A research group with sustained support, spending a term or a year understanding one extraordinary set of machine-produced ideas, with AI help.
Why it takes more people
Depth of understanding needs time and a pace of life a human body can sustain, so each person can only be asked for so much.
Who gets called on
Mathematically sophisticated people willing to work far outside their own research interests, on whatever breakthrough arrives.
Source: terrytao.wordpress.com

What he wants funded is research groups, each spending a term or a year understanding one set of machine-made ideas. Human understanding runs at a human pace, which is why it takes more people rather than fewer. He calls it a deployable intellectual reserve.

A commenter watching their own scrutiny slip

Hacker NewsSaturday, September 26, 2026

In the thread

“Why check it? It's obviously going to be correct.”

pyridines, on how carefully they now review generated code
Source: news.ycombinator.com/item?id=49852717
NextConversations leaves Google Play

Commenter pyridines takes the fusion plant down to the desk. They used to read every line the model wrote and usually found something; they catch fewer problems now, and they ask whether the ten thousandth fusion plant gets the same trust. Next: Conversations leaves Google Play.

What Google Play costs one Android developer

Hacker NewsSaturday, September 26, 2026

Conversations leaves Google Play and goes free

gultsch.de · about 630 points · about 250 comments on Hacker News
15%
Google's cut of every sale
More than 1,000 euros a year, which the developer says is 1.5 times his internet bill.
14 days
waiting for Google to review one update
Security fixes wait in the same queue as features. The app has been pulled from the store twice.
Source: gultsch.de

Conversations is an XMPP messenger for Android, and since 2014 its Play Store sales have paid Daniel Gultsch's rent. Google's fifteen percent cut comes to more than a thousand euros a year. One update has waited fourteen days for review. Grants now fund the work through 2029, so the app is free.

A support number that cannot pass verification

Hacker NewsSaturday, September 26, 2026

In the thread

“After a year of trying we haven't been able to.”

k1w1, on getting a company support number verified for the Play Store
Source: news.ycombinator.com/item?id=49855315
NextThe end of plan mode

Other developers describe the same queue from the other side. Commenter k1w1 says their company has spent a year failing Google's support-number check, because verification wants a text or a human and their line answers with a menu. Next: The end of plan mode.

The founder of a planning app says planning moved

Hacker NewsSaturday, September 26, 2026

Plan mode is dead

aymannadeem.com · about 550 points · about 470 comments on Hacker News
What they built
Nuanced, a desktop coding app where a chat became a persistent spec, and the spec drove the implementation.
Why it failed
Early users had little appetite for the spec, and the machine-written version was long enough that eyes glazed over it.
The loop that won
Understand, act, inspect, clarify, adjust, act again. Plenty of planning, no document called the plan.
Source: aymannadeem.com

Ayman Nadeem built a coding app around planning, where a conversation hardened into a spec. Users had little appetite for that spec, and machine-written prose is punishing to read. Planning has moved inside the build loop instead.

Plan mode was only ever a prompt

Hacker NewsSaturday, September 26, 2026

In the thread

“Plan mode has always been a prompt.”

bcherny, who works on Claude Code
Source: news.ycombinator.com/item?id=49840054
NextHow Apple Cards got printed

Commenter bcherny, who works on Claude Code, says plan mode there is a reminder appended to each message. Switching the tools instead would break the prompt cache, and cost users money. Next: How Apple Cards got printed.

Steve Jobs asks for a thank-you card from his iPhone

Hacker NewsSaturday, September 26, 2026

Fifteen years later, the Apple Cards origin story

lexontech.org · about 330 points · 86 comments on Hacker News
How it started
Steve Jobs, on a walk after dinner in 2011: wouldn't it be great to send that dinner companion a thank-you card from an iPhone?
What that took
Two dozen restored 1850s letterpresses in upstate New York, cotton stock the ink would not stick to, and a three-pass print process.
Launch day
Apple wanted hundreds of thousands of cards ready to ship. The first day's orders nearly fit in a glovebox.
Source: lexontech.org

Lex Friedman of Lex on Tech heard it from the man who ran the printing: it began with Steve Jobs on a walk after dinner. It took restored eighteen-fifties letterpresses, and cotton paper the ink refused. Apple wanted hundreds of thousands of cards ready. The first day's orders nearly fit in a glovebox.

The startup Apple landed on

Hacker NewsSaturday, September 26, 2026

In the thread

“It felt like we'd been Sherlocked.”

solfox, co-founder of Sincerely, whose Postagram shipped before Cards
Source: news.ycombinator.com/item?id=49854693
NextFloci, four clouds on a laptop

Commenter solfox co-founded Sincerely, which was mailing printed cards from an iPhone before Apple was. Their account is that the keynote mostly brought them awareness, and that when Apple retired Cards, it came as no shock. Next: Floci, four clouds on a laptop.

Four clouds, emulated on localhost

Hacker NewsSaturday, September 26, 2026

Floci emulates AWS, Azure, Google Cloud and Oracle Cloud locally

floci.io · about 160 points · 35 comments on Hacker News
24 ms
cold start, idling at 13 MiB of memory
Standalone MIT-licensed native binaries. No cloud account, no auth token, throwaway keys.
119
AWS services, on port 4566
The port LocalStack uses. Lambda runs in Docker, RDS on PostgreSQL or MySQL, ElastiCache on Redis.
Source: floci.io

Floci emulates four clouds on your laptop, as MIT-licensed binaries that start in about twenty four milliseconds and need no cloud account. Its AWS emulator answers on the port LocalStack uses, with about a hundred twenty services, and Lambda, RDS and Redis run for real underneath.

A reader already running it in CI

Hacker NewsSaturday, September 26, 2026

In the thread

“It's very good and much more lightweight than Localstack.”

microflash, running integration tests against it with Testcontainers
Source: news.ycombinator.com/item?id=49854416

Commenter microflash has been running integration tests against it with Testcontainers for a while, and calls it much more lightweight than LocalStack.