{"ok":true,"trend":{"id":1661978,"platform":"hn","region":"global","key":"openai mistranslated mathematics into code for its navier-stokes proof","title":"OpenAI mistranslated mathematics into code for its Navier-Stokes proof","url":"https://www.newscientist.com/article/2592824-openai-mistranslated-mathematics-into-code-for-its-navier-stokes-proof/","first_seen":"2026-10-09T22:50:39.771578Z","last_seen":"2026-10-11T01:39:48.400552Z","last_rank":12,"peak_rank":10,"last_volume":56,"peak_volume":56,"seen_count":29,"score":1.08921875,"category_hint":"basketball","section":"sport","category":"basketball","summary":"A report by New Scientist says OpenAI mistranslated mathematics into code in the computer-assisted proof it announced for the Navier-Stokes problem, one of the millennium prize equations. The claim has drawn attention because it raises questions about how rigorously such AI-assisted proofs can be verified, and whether the celebrated result holds up under scrutiny.","why":"A claimed AI-assisted proof of a famous millennium prize problem is now being questioned, casting doubt on OpenAI's announcement.","tone":"negative","entities":["OpenAI","New Scientist","Navier-Stokes","Clay Mathematics Institute"],"summarized_at":"2026-10-10T22:59:44.613832Z","meta":{"via":"scan","lang":"en","link":"https://www.newscientist.com/article/2592824-openai-mistranslated-mathematics-into-code-for-its-navier-stokes-proof/","term":"nba","hn_id":"50026734","comments":5},"nw":null,"promo":null,"kind":null,"importance":null,"hidden":false,"hide_reason":null,"judged_at":null,"title_en":"OpenAI mistranslated mathematics in its Navier-Stokes proof","section_name":"Sport","category_name":"Basketball","timeline":[{"captured_at":"2026-10-09T22:50:39.771578Z","rank":30,"volume":11},{"captured_at":"2026-10-09T23:05:39.788723Z","rank":28,"volume":15},{"captured_at":"2026-10-09T23:20:40.050085Z","rank":28,"volume":19},{"captured_at":"2026-10-09T23:35:39.790432Z","rank":28,"volume":20},{"captured_at":"2026-10-09T23:50:39.844817Z","rank":26,"volume":26},{"captured_at":"2026-10-10T00:05:39.770941Z","rank":26,"volume":29},{"captured_at":"2026-10-10T00:20:39.757467Z","rank":24,"volume":37},{"captured_at":"2026-10-10T00:35:39.768853Z","rank":21,"volume":44},{"captured_at":"2026-10-10T00:50:39.869584Z","rank":20,"volume":47},{"captured_at":"2026-10-10T00:57:11.316251Z","rank":11,"volume":50},{"captured_at":"2026-10-10T01:05:39.773642Z","rank":16,"volume":50},{"captured_at":"2026-10-10T02:19:11.321315Z","rank":10,"volume":55},{"captured_at":"2026-10-10T03:41:54.728468Z","rank":10,"volume":55},{"captured_at":"2026-10-10T05:04:17.014446Z","rank":11,"volume":55},{"captured_at":"2026-10-10T06:27:00.370871Z","rank":12,"volume":55},{"captured_at":"2026-10-10T07:49:22.146350Z","rank":12,"volume":55},{"captured_at":"2026-10-10T09:11:45.183200Z","rank":12,"volume":56},{"captured_at":"2026-10-10T10:33:45.012451Z","rank":12,"volume":56},{"captured_at":"2026-10-10T11:55:45.347090Z","rank":12,"volume":56},{"captured_at":"2026-10-10T13:17:45.086397Z","rank":12,"volume":56},{"captured_at":"2026-10-10T14:40:25.038712Z","rank":12,"volume":56},{"captured_at":"2026-10-10T16:02:26.366034Z","rank":12,"volume":56},{"captured_at":"2026-10-10T17:25:43.545837Z","rank":12,"volume":56},{"captured_at":"2026-10-10T18:48:06.356779Z","rank":12,"volume":56},{"captured_at":"2026-10-10T20:10:05.753566Z","rank":12,"volume":56},{"captured_at":"2026-10-10T21:32:05.525723Z","rank":12,"volume":56},{"captured_at":"2026-10-10T22:55:27.854049Z","rank":12,"volume":56},{"captured_at":"2026-10-11T00:17:47.777539Z","rank":12,"volume":56},{"captured_at":"2026-10-11T01:39:48.400552Z","rank":12,"volume":56}],"posts":[{"platform":"hn","url":"https://news.ycombinator.com/item?id=50026734","author":"danielmorozoff","title":"OpenAI mistranslated mathematics into code for its Navier-Stokes proof","snippet":null,"posted_at":"2026-10-09T21:25:09Z","likes":56}],"elsewhere":[],"window":"7d"}}