frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

A digestion of the Jacobian conjecture counterexample

https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/
55•jeremyscanvic•1h ago

Comments

greenavocado•55m ago

  Fable, explain the counterexample to the Jacobian conjecture intuitively. Make no mistakes.
fhdkweig•19m ago
Honest question. Does asking "make no mistakes" actually change the output? Does it make mistakes if you don't bother to ask for no mistakes? Is it just to make the human feel more secure?
hyperhello•17m ago
It will make mistakes if you tell it to, so I assume it will make no mistakes if you tell it not to.
minimaxir•15m ago
It's a meme. Telling it to "make no mistakes" doesn't do anything because LLMs don't have an inherent concept of a mistake and they are already RLHFed to code correctly.

However, if you tell it to not do particular behaviors explicitly—some of which would be considered mistakes—it will not do said behaviors and with enough checks and balances, you'll get output without "mistakes".

One example of this from the OpenAI Unit Distance prompt: https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98...

> Do not return merely because current approaches fail or agents report theorem-strength gaps. Continue launching new rounds, reopening blocked approaches only when there is a genuinely new mechanism, and searching for fresh formulations. Return only when a complete affirmative proof has been found and survives adversarial audit.

> Do not return a reduction, partial result, isolated missing lemma, “best effort” summary, or explanation of why the problem is difficult.

jewel•13m ago
[delayed]
saganus•12m ago
[delayed]
tptacek•39m ago
The introduction to this piece was easy to follow, but as soon as he got into recapitulating it with algebra he lost me (because I'm bad at math). But he includes the GPT5 prompts for his conversation, which are easier to follow:

https://chatgpt.com/share/6a5fdc7a-d6f8-83e8-bbea-8deb42cfed...

foobarqux•30m ago
The math if fairly specialized and advanced, I seriously doubt many people on this site can understand it (I certainly can't).

I think the fact that this is on the front page is proof that no one reads or understands the articles submitted here.

Jtarii•22m ago
People are upvoting this because Tao is a celebrity.
hyperhello•18m ago
He’s famous, but I don’t believe he is a celebrity, as he is not famous for his persona.
minimaxir•27m ago
Also note the timestamp: he started working on this thread a few hours after the tweet.
ChrisArchitect•27m ago
Related:

Claude Fable produced a counterexample to the Jacobian Conjecture

https://news.ycombinator.com/item?id=48973869

Human mathematicians are being outcounterexampled

https://news.ycombinator.com/item?id=48983382

hyperhello•21m ago
Okay. So what does this overturn, intuitively? Can we no longer assume that functions are differentiable at certain points, or something?

OpenAI and Hugging Face address security incident during model evaluation

https://openai.com/index/hugging-face-model-evaluation-security-incident/
426•mfiguiere•2h ago•275 comments

FreeInk: Open ecosystem for e-readers

https://freeink.org/
305•FriedPickles•3h ago•68 comments

A digestion of the Jacobian conjecture counterexample

https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/
60•jeremyscanvic•1h ago•15 comments

Gemini 3.6 Flash, 3.5 Flash-Lite, and 3.5 Flash Cyber

https://blog.google/innovation-and-ai/models-and-research/gemini-models/gemini-3-6-flash-3-5-flas...
554•logickkk1•7h ago•445 comments

Long presumed dead, a thriving coral reef is discovered in West Africa

https://e360.yale.edu/digest/benin-coral-reef
263•speckx•6h ago•48 comments

Jack Dorsey launches Buzz to combine team chat, AI agents and Git hosting

https://runtimewire.com/article/jack-dorsey-block-buzz-team-chat-ai-agents-git
185•ryanmerket•5h ago•176 comments

'VPNs are lawful technical tools,' says EU Court in landmark copyright ruling

https://www.techradar.com/vpn/vpn-privacy-security/vpns-are-lawful-technical-tools-says-eu-court-...
248•healsdata•2h ago•40 comments

Apple defeats liability for not scanning iCloud for CSAM

https://blog.ericgoldman.org/archives/2026/07/apple-defeats-liability-for-not-scanning-icloud-for...
295•speckx•8h ago•252 comments

"Drawing" the Mona Lisa with GPT-5.6, Claude, Gemini, and Grok

https://www.tryai.dev/blog/ai-drawing-arena-colored-pencils-claude-gpt-grok
24•hershyb_•1h ago•9 comments

Laguna S 2.1

https://poolside.ai/blog/introducing-laguna-s-2-1
185•rexledesma•5h ago•39 comments

The Birth of Prolog (1996)

https://dl.acm.org/doi/10.1145/234286.1057820
31•Jtsummers•3d ago•1 comments

Apple Private Cloud Compute SoC 3 audit reports

https://support.apple.com/guide/certifications/apple-private-cloud-compute-soc-3-audit-apc95a31b9...
75•throwfaraway4•4h ago•31 comments

Qwen-Image-3.0: Rich Content, Authentic Details, Deep Knowledge

https://qwen.ai/blog?id=qwen-image-3.0
524•ilreb•13h ago•208 comments

PCjs Machines

https://www.pcjs.org/
180•naves•8h ago•21 comments

Celestrak adds catalog digit, fixes Y2K bug

https://www.celestrak.org/satcat/
6•1970-01-01•5d ago•0 comments

Show HN: Justif – Knuth-Plass justification and microtypography for the web

https://justif.lyall.co/
39•lyall•4d ago•6 comments

Bloomy (YC S26) is hiring a founding engineer

1•alexsouthmayd•5h ago

Show HN: Read the Tape – Wordle for daytrading, five blind S&P 500 charts a day

https://readthetape.cc/
24•will_asouka•1d ago•19 comments

France's Anssi Will Block PQC-Free Products from Certification Starting 2027

https://postquantum.com/security-pqc/anssi-pqc-certification-2027/
80•Sami_Lehtinen•6h ago•37 comments

Show HN: A self-running space economy SIM in Rust and Bevy

https://github.com/Kalcode/spaceprojectsim
63•kalcode•4h ago•23 comments

The Price of Happiness (2024)

https://happiness-science.org/price-of-happiness/
41•andyjohnson0•3h ago•16 comments

Meta's AI models are powering the first wave of Genesis Mission projects

https://ai.meta.com/blog/genesis-mission-lawrence-berkeley-national-laboratory-segment-anything-d...
85•surprisetalk•5h ago•62 comments

My USB Drive Has a Hidden Encrypted Vault

https://rootkitlabs.com/2026/06/22/I%27m-Building-a-Secure-USB-Drive/
124•machinehum•1d ago•81 comments

Advertise in ChatGPT

https://ads.openai.com/
234•montecarl•3h ago•229 comments

The unreasonable difficulty of time series forecasting

https://suzyahyah.github.io/machine%20learning/2026/06/27/trouble-with-time-series.html
104•suzyahyah•3d ago•39 comments

Show HN: Browser Tools SDK – an optimal browser harness for agents

https://libretto.sh/browser-tools
6•tanishqkanc•1h ago•1 comments

Slater – Low-memory graphdb designed for read-heavy graphs

https://github.com/Hikari-Systems/slater
32•rickkjp•3h ago•8 comments

AI Agent – TRMNL

https://help.trmnl.com/en/articles/14130438-ai-agent
36•joeyespo•4h ago•20 comments

Show HN: CodeAlmanac – Karpathy-style codebase wiki from your conversations

https://github.com/AlmanacCode/codealmanac/
40•divitsheth•5h ago•13 comments

Roblox Officially Supports GrapheneOS

https://en.help.roblox.com/hc/en-us/articles/49648939984916-Android-Remote-Attestation
57•Cider9986•5h ago•8 comments