---
format: "aidr-story-markdown/v1"
id: "8eac2b30b1f412fac221e85ccadc9bd580f8834ffdc0444eaace2bdb6a8aba2f"
canonical_url: "https://aidr.today/8eac2b30?lang=en"
title: "OpenAI mistranslated mathematics into code for its Navier-Stokes proof"
lang: "en"
requested_lang: "en"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-10-09T21:25:09.000Z"
category: "Research"
topics: ["openai","llm"]
source_urls: ["https://news.ycombinator.com/item?id=50026734"]
summary: "OpenAI produced a human proof and a computer proof for its Navier-Stokes solution, but the two do not match."
---

# OpenAI mistranslated mathematics into code for its Navier\-Stokes proof

> [Open the canonical story](<https://aidr.today/8eac2b30?lang=en>)

**Published:** 2026-10-09T21:25:09.000Z
**Category:** Research
**Topics:** openai, llm

## Summary

OpenAI produced a human proof and a computer proof for its Navier\-Stokes solution, but the two do not match\.

## Sources

- [Discussion](<https://news.ycombinator.com/item?id=50026734>)