frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

"I'm on a war footing": Terry Tao and the crisis in math

https://www.nytimes.com/2026/10/16/us/math-ai-terence-tao.html
42•vinipolicena•2d ago
https://archive.ph/bid95

Comments

ViktorRay•48m ago
I find it interesting that, several years ago when discussing AI, folks used to focus on how automation would first come for blue collar work. Things like driving being automated and truck drivers replaced. And then eventually on the horizon we would see things like this.

But we still have no self driving cars. Seems like the automation came by in the opposite direction. Perhaps driving will actually be the final thing automated.

JLO64•43m ago
> But we still have no self driving cars

While I agree with your statement overall, as someone who drives everyday in LA alongside Waymos without anyone inside of them I must disagree with this aspect of it.

SchemaLoad•21m ago
We still have no general self driving cars. What we have is a bunch of geofenced tests. While we are closer than ever, we are still seemingly a long way away from truck drivers being obsolete was foretold over 10 years ago now.
reilly3000•17m ago
“General” would mean winter driving and I’m not aware of any large-scale tests of things like icy conditions on hills.

Edit: nevermind. https://www.cbc.ca/news/business/waymo-toronto-winter-self-d...

amelius•6m ago
A better formulation would be: we don't know if we have self-driving cars.

Because if it became fashionable for pedestrians to wear large green dresses with red balls, and everybody would wear that, we have no idea what the AI would do.

bluefirebrand•42m ago
Driving is actually regulated.

Something I'm noticing a lot is that automation finds easy footholds in unregulated industries because there's no basis to push back on it. And there's a lot more tolerance for poor quality work in unregulated industries too.

mattnewton•39m ago
An LLM automating web developers with 99% success rate saves the company millions of dollars and allows them to launch products and features faster.

A truck or a car that has a 99% success rate would be the top threat to society and quickly rise to the leading cause of death under 30 if widely deployed.

numbsafari•17m ago
Examples?
BurningFrog•34m ago
I have a self driving Tesla, as do many others.
HoldOnAMinute•28m ago
(Supervised)
fliglr•31m ago
Driving is heavily regulated, and there are a million interest groups lining up to sue to stop self-driving. Imagine all the people who make their money from car crashes, for example.
za_creature•30m ago
Broadly speaking, this is proof that there will be no jobs coming after AI.

All past inventions have put some of the most miserable humans out of a job. Farming by hand is hard, so is copying books and don't even get me started on the dullness of making clothes by hand.

Driving all day isn't all that far off, though still much better than the above and definitely better than riding horses all day.

Telegraph operators? Hell no. Dude sitting in an elevator all day? No thanks.

It's always been from the other end. This time around, there's gonna be some 10-20 years of robot manufacturing, then a universal lifetime of robots fighting misaligned robots until enough paperclips have been manufactured.

Or you know, we block out the sun and live in caves or whatever you fancy.

layer8•23m ago
The physical world is still more difficult and messy than discrete logic (theorems, software).
dyauspitr•21m ago
> But we still have no self driving cars.

Do you live under a rock?

avazhi•17m ago
Uh, they aren’t trustworthy and they aren’t fully autonomous. So no, we indeed do not.
eecks•12m ago
0 self driving cars in my country
skybrian•18m ago
It seems fairer to say that the Waymo fleet has >4,000 driverless cars [1]. There is still a long way to go, but it's rising.

[1] https://pages.skybrian.com/2026/waymo-robotaxi-fleet/

bossyTeacher•4m ago
> folks used to focus on how automation would first come for blue collar work

Developers are guilty of hubris and they are getting slapped back to reality.

bagacrap•47m ago
https://archive.li/0LTWn
zer00eyz•45m ago
> They “used math for what they needed, which was to evaluate their models,”

OAI first paper on the prize was a pretty shitty thing to do. But the rest of this looks like they are just mining the corpus and taking a brute force approach to do it.

Im going to say this again, the "pure math" academic types need to get a grip. Plenty of your peers got PHD's and happily made a fortune in finance, while screwing the world (See 2008 housing bubble) and none of you said a peep about that.

spiderfarmer•18m ago
Plenty of welders made weaponry that killed babies and none of the famous DIY Youtubers spoke out against that either.
typedef_struct•28m ago
TLDR: "I didn't understand this proof and there is no one to explain it to me"
ademup•21m ago
The TLDR seems perhaps tongue-in-cheek, but it's a worthy thought: the situation where our best experts find new science to be inscrutable is close at hand, if not here now.

Humans have been guilty of burying things we don't understand for millenia. Will we continue to do so "because AI"?

throwyawayyyy•19m ago
Has OpenAI shared any new interesting _problems_? I.e. do more than strip-mine mathematics, as said in the article, but said: "Here is a question I cannot answer, it's interesting for this and that reason, I believe it's true for this and that reason, it's beyond me though, have at it." Has that happened yet?
arjie•14m ago
AFAIK it has not happened.

Considering that this is where the mathematician excels over machine wouldn’t that only offer a new view from such a mathematician that “OpenAI has rapaciously stolen from mathematics that last dignity: of choosing worthy problems”? Perhaps with sufficient effort the community of mathematicians may yet forestall such an effort.

magicalist•7m ago
> wouldn’t that only offer a new view from such a mathematician

Don't invent things to get mad about, please.

arjie•17m ago
> Much as one cannot unhear a movie spoiler or a crossword clue, one cannot explore a problem as profitably and richly once one is aware of an existing solution

Certainly, it’s like being made aware of cheat codes to video games: One doesn’t enjoy the game as much after but surely knowing something is true means you can find many other things that come from the pathway to it now that you know it’s true. Lots of science and tech is like this where someone shows something is doable and then people find better ways to do it but until that person showed it was doable there was no progress.

> I am horrified by the many person-years” of research, particularly by young mathematicians, “being casually disrupted or destroyed,” he wrote.

That’s what technology does. And he might be upset but we’re the ones paying for it and frankly, I’m happier to have more questions answered than for fewer answered but in an artisanal fashion.

Most notable is the fact that the released facts are like “treated waste”. But if the question was worth answering and the value is only in a good answer and not simply a correct answer, then the value has simply not been realized.

But that feels strange then that the value is in the good answer, not just a right answer and yet one finds oneself unable to go get the good answer because a correct answer exists.

The fact that any answers are made public at all is useful to us all. That’s free knowledge. Would it have been better if OpenAI had discovered this very achievable fact and not said anything? Surely the papers, post discovery would have spoken of the “hoarding” of such “essential human knowledge”.

Overall, I find the thing unconvincing wholly.

Ygg2•3m ago
> That’s what technology does. And he might be upset but we’re the ones paying for it and frankly, I’m happier to have more questions answered than for fewer answered but in an artisanal fashion.

Would you prefer if graph theory didn't exist but we could answer if you can pass all bridges in Königsberg, without going through same bridge twice.

Or if we could answer any question without knowing why? What about answering Hilbert without theory of Godel's Incompletness theorem? Or knowing Nth digit of Pi without calculus.

Because that's essentially what you're asking for. If you gave humans a Djinn that could answer perfectly any question, it would kill most of our endeavors. Because it's not a problem that was unsolved for years "It's just the thing Djinn already answered so why bother?" Even if one is extremely curious, others would not see value in that curiosity.

fooker•7m ago
I find this entirely self serving.

Terrence Tao was very supportive of AI and formalizing math with lean when it looked like it was giving ‘generalists’ like him over mathematicians too deep into one particular niche field.

But now that it’s letting everyone, including mathematicians who are perhaps too specialized, explore ideas and patterns from related math fields, he’s suddenly ‘on a war footing’.

magus-stoopr•5m ago
the live video interview on numberphile comes without the New York Times' narrative filter

Hybrid Reasoning Agents: LLM agents that think in latent space, act through text

https://arxiv.org/abs/2610.18861
76•allinonai•1h ago•30 comments

Someone behind the software

https://karrisaarinen.com/posts/someone-behind-the-software/
247•tosh•5h ago•99 comments

Free Pascal compiler now supports dynamic packages

https://www.getlazarus.org/dynamic/
79•sysrpl•3h ago•13 comments

"I'm on a war footing": Terry Tao and the crisis in math

https://www.nytimes.com/2026/10/16/us/math-ai-terence-tao.html
42•vinipolicena•2d ago•31 comments

There's never been a better time to go into math (by: 3blue1brown) [video]

https://www.youtube.com/watch?v=LKrwhjOI8Nc
57•mdp2021•22h ago•17 comments

RepRapMicron

https://github.com/VikOlliver/RepRapMicron/wiki
304•RobotToaster•8h ago•46 comments

Dogs seem to agree with humans that 'bouba' is round and 'kiki' is spiky

https://www.sciencealert.com/dogs-seem-to-agree-with-humans-that-bouba-is-round-and-kiki-is-spiky
67•gmays•20h ago•51 comments

PalmOS Lemmings

https://github.com/ardiri/palmos-lemmings
65•memalign•4h ago•19 comments

I built a programming language that LLMs can't use

https://blog.picheta.me/post/killswitch-lang/
27•dom96•23h ago•24 comments

DeepSeek search and fetch – $0.75 per 1000 successful requests

https://api-docs.deepseek.com/guides/search/
511•fagnerbrack•15h ago•251 comments

One parser, two bugs, many routers: Exploiting Broadcom WiFi across eCos, Linux

https://quentinkaiser.be/security/2026/10/16/one-parser-two-bugs/
22•zoobab•2d ago•5 comments

Java sealed classes and exhaustive pattern matching

https://neilmadden.blog/2026/04/24/java-sealed-classes-and-exhaustive-pattern-matching/
119•hnisjafx40•7h ago•94 comments

16-bit fully functional DIY magnetic core memory

https://www.youtube.com/watch?v=OJ1WYyO2jdY
10•oliculipolicula•3d ago•2 comments

The Intel 8087 chip: floating-point addition and subtraction

https://www.righto.com/2026/10/8087-addition-subtraction-microcode.html
78•pwg•5h ago•22 comments

SIGSALY: Churchill's top secret hotline to the president

https://www.iwm.org.uk/history/iwm/cwr/telephone
94•stmw•4d ago•30 comments

Developing for Debugging (2025)

https://www.davepacheco.net/blog/2025/developing-for-debugging-dns-propagation/
16•mpweiher•1d ago•0 comments

Show HN: The Zelda timeline to catch up before the Ocarina of Time remake

https://legendofhyrule.com/
149•jsomau•9h ago•84 comments

Namecheap just seized and disabled all my domains

https://www.reddit.com/r/sysadmin/comments/1x8cycd/namecheap_just_seized_and_disabled_all_my_doma...
316•sashk•5h ago•155 comments

Beyond Tetris: The other games of Alexey Pajitnov [video]

https://www.youtube.com/watch?v=QH_LPimUJMs
49•zdw•23h ago•0 comments

I electrified my push scooter with a power drill

https://eddieabbondanz.io/post/shop/drill-powered-scooter/
97•speckx•4d ago•40 comments

Open MicroManipulator – A sub-micrometer 3D motion control plattform

https://github.com/0x23/MicroManipulatorStepper
163•_Microft•10h ago•13 comments

Florida's HOAs and condo associations are making the housing crisis worse

https://hoaspy.com/hoa/fl/florida-hoa-housing-crisis.html
135•lovewins•3h ago•224 comments

Types of types: Haskell's Kind system

https://thunk.blog/posts/types-of-types-haskell-kind-system/
90•Thom2503•4d ago•71 comments

How the Elizabeth Holmes documentary “You Can See Everything” is deceiving

https://www.readtheprofile.com/p/elizabeth-holmes-documentary-you-can-see-everything
343•MaysonL•18h ago•474 comments

Parser Combinators

https://t3.at/blog/2026-10-17-parser-combinators/
209•schindlabua•13h ago•77 comments

Show HN: Ranet3 – High performance policy routed IPsec mesh SD-WAN

https://ranet3.com/
22•StepBroBD•7h ago•5 comments

Show HN: Sphinx – A hook that quizzes you on your AI's code before shipping

https://sphinx-six-theta.vercel.app/
236•critiquebrowser•17h ago•79 comments

Netflix vmaf: Perceptual video quality assessment based on multi-method fusion

https://github.com/Netflix/vmaf
6•tosh•1h ago•2 comments

Teal – A statically-typed dialect of Lua

https://teal-language.org/
147•Lyngbakr•2d ago•63 comments

Mitos editor is a fork of Helix

https://mitos.computer/
54•ambigious7777•4h ago•50 comments