frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

A Misalignment of AI in Mathematics

https://terrytao.wordpress.com/2026/09/11/a-severe-misalignment-of-ai-in-mathematics/
136•Iuz•1h ago

Comments

tomhow•18m ago
Comments moved to https://news.ycombinator.com/item?id=49662371.
metanoia_•17m ago
In the Economist article Tao links, Hugo Duminil-Copin, draws a comparison: airdropping someone on the summit of Mount Everest is very different from climbing it.

The fundamental issue with AI solving any perceived difficult problem is that we have lost the journey. The sight atop Mount Everest looks much different when you have climbed compared to being dropped from above.

againstapples•16m ago
At this rate AI will be doing all of the mathematics within 5 years, I don’t see why a mathematician would be worried about anything other than that at this point?
twsted•15m ago
All clear and understandable. I completely agree.

As developers, we’re seeing this a little earlier.

david-gpu•11m ago
Tao's critique of AI in the field of mathematics reminds me of what French art critic Charles Baudelaire said in the 19th century about photography [0].

Baudelaire argued that photography became a haven for failed painters, the sorts of hacks that could not finish proper training. Photography, as a mechanical rendering of the world, could only record what already existed; it couldn't transform reality the way a painting could.

He also criticized the public's craze for "rushing" into it, and complained that this technical "progress" was weakening the arts.

Do you see some parallels as well?

[0] https://fr.wikisource.org/wiki/Curiosit%C3%A9s_esth%C3%A9tiq...

road61•4m ago
It's a turning point for science and beyond. AI has shown itself to be transformative. Even today, it is already changing how research in math (and other sciences) is conducted. In the near future, whether it is LLMs or some other superior method, its capabilities are only expected to grow. The time to ask the question is now: Will AI be arguably the best tool at scientist's disposal, or will it instead be paraded around as a super brain collective that no human or group of humans can compete with, discouraging entire new generations of future scientists from ever entering the field? The jury is out on this one.

A misalignment of AI in mathematics

https://mathandai.org/
69•meredydd•1h ago•161 comments

Λ Snap – An inviting programming language for kids and adults for CS study

https://snap.berkeley.edu/
47•dr_kiszonka•1h ago•18 comments

Claude is only available to people over 18 years

https://support.claude.com/en/articles/15171100-age-assurance-on-claude
423•Muhammad523•8h ago•482 comments

Litelm: LiteLLM Without the Bloat

https://github.com/kennethwolters/litelm
25•kennethwolters•1h ago•5 comments

The EPA Is Planning to Scrap Public Review Rules for Data Center Pollution

https://capitalbnews.org/data-centers-permit-rules-epa/
99•doener•1h ago•44 comments

Show HN: Toast, a beautiful by default in terminal IDE

https://github.com/paradise-runner/toast
61•dividedcomet•1h ago•49 comments

Show HN: Hacker News, Without AI

https://www.unslop.news/
98•otherayden•3h ago•37 comments

Hot coffee could cause oesophageal cancer

https://www.economist.com/science-and-technology/2026/09/11/hot-coffee-could-cause-oesophageal-ca...
4•vinni2•13m ago•2 comments

I've operated petabyte-scale ClickHouse clusters for 5 years

https://www.tinybird.co/blog/what-i-learned-operating-clickhouse
113•adastral•4d ago•45 comments

118M Queries per Second on Neki

https://planetscale.com/blog/118-million-queries-per-second-on-neki
58•joshmgross•3h ago•31 comments

Zep AI (YC W24) Is Hiring a Head of Forward Deployed Engineering

https://www.getzep.com/careers/
1•roseway4•2h ago

Show HN: Godot and Rust based multiplexer (terminal panes and more)

https://github.com/godot-pty/gpty
58•1nv1n•3h ago•35 comments

Rune is now open source

https://rune.build/blog/rune-is-now-open-source
61•ernestrc•3h ago•15 comments

AlphaGenome maps 9B DNA variants

https://spectrum.ieee.org/alphagenome-atlas
8•ltononro•2d ago•0 comments

Logo Programming Language

https://el.media.mit.edu/logo-foundation/what_is_logo/logo_programming.html
169•azhenley•2d ago•79 comments

So you want to use OpenRouter?

https://mmoustafa.com/blog/so-you-want-to-use-openrouter/
580•player85•2d ago•161 comments

Global Glacier Extinction Explorer

https://glacierextinction.com
123•guillego•3h ago•42 comments

RTK reports token savings, but our cost benchmarks disagree

https://quesma.com/blog/does-rtk-make-ai-coding-cheaper/
123•michalwarda•8h ago•58 comments

How I Prompt

https://thorstenball.com/talks/how-i-prompt/
38•luu•2d ago•7 comments

Copying login keychains between Macs fails on Secure Enclave Macs with Tahoe

https://derflounder.wordpress.com/2026/09/08/manually-copying-login-keychain-files-from-one-mac-t...
51•zdw•20h ago•38 comments

Measuring the sloppiness of code

https://earendil.com/posts/measuring-code-sloppiness/
172•doppp•5h ago•197 comments

Mind-altering drugs played key role in rise of Andean civilization

https://www.science.org/content/article/mind-altering-drugs-played-key-role-rise-andean-civilization
7•geneticdrifts•1h ago•0 comments

Show HN: Bodily Oddities

https://vester.si/bodily-oddities/
98•vesterde•22h ago•85 comments

Stop making swap partitions—use swap files instead

https://gist.github.com/joshenders/c4960cec9c63a7b7d68ffa9543356c43
64•jenders•2d ago•97 comments

Room 641A

https://en.wikipedia.org/wiki/Room_641A
41•paimapi•1h ago•5 comments

HuggingFace: Security.txt

https://huggingface.co/security.txt
186•yarapavan•4h ago•47 comments

Copper lined vest to help penguins with recovery

https://apnews.com/article/chile-el-nino-humboldt-penguins-vulnerable-injuries-rehabilitation-6e9...
29•ninju•3d ago•12 comments

How the Chorleywood Bread Process transformed British bread

https://edconway.substack.com/p/the-little-holes-in-your-bread-are
62•baud147258•3d ago•77 comments

Cherenkov Radiation

http://www.iaea.org/newscenter/news/what-is-cherenkov-radiation
201•andsoitis•10h ago•88 comments

Google will buy half the electricity from one of Finland's nuclear power plants

https://www.bbc.com/news/articles/c8r6y4me2g6o
250•lukaspetersson•18h ago•258 comments