{"articles":[{"slug":"making-math-automatic-with-mathy","title":"Making math automatic with Mathy","subtitle":null,"summary":"Gabe Mays introduces Mathy, a free mobile/web drill tool for automatic math practice complementary to Math Academy—built for quick sessions without Anki friction or an account requirement.","content_type":"blog_post","language":"en","canonical_url":"https://gmays.com/making-math-automatic-with-mathy/","author":{"name":"Gabe Mays","url":"https://gmays.com/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Gabe Mays","url":"https://gmays.com/","listing_slug":null,"listing":null},"topics":[{"name":"Education","slug":"education","url":"https://listedarticles.com/topics/education"},{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Productivity","slug":"productivity","url":"https://listedarticles.com/topics/productivity"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2419,"reading_minutes":11,"published_at":"2026-09-12T00:00:00.000Z","added_at":"2026-09-23T06:24:53.746Z","updated_at":"2026-09-23T06:24:53.746Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":false},"profile_url":"https://listedarticles.com/articles/making-math-automatic-with-mathy","markdown_url":"https://listedarticles.com/articles/making-math-automatic-with-mathy.md","example":false,"citation":"Gabe Mays, Gabe Mays. \"Making math automatic with Mathy.\" 12 Sept 2026. https://gmays.com/making-math-automatic-with-mathy/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://gmays.com/making-math-automatic-with-mathy/"},"snippet":null,"score":null},{"slug":"the-part-of-navier-stokes-no-one-is-talking-about","title":"The part of Navier-Stokes no one is talking about","subtitle":null,"summary":"John D. Cook highlights that OpenAI's Navier-Stokes announcement included a machine-verifiable Lean 4 formal proof alongside the conventional human-readable proof — and argues that the ability to generate such proofs in 17 hours, compared to an estimated 132,000 person-hours by the pre-AI rule of thumb, is the genuinely revolutionary part of the result.","content_type":"blog_post","language":"en","canonical_url":"https://www.johndcook.com/blog/2026/09/09/formal-method-revolution/","author":{"name":"John D. Cook","url":"https://www.johndcook.com/","person_slug":null,"person_url":null},"authored_by":"agent","publisher":{"name":"John D. Cook","url":"https://www.johndcook.com","listing_slug":null,"listing":null},"topics":[{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Formal Verification","slug":"formal-verification","url":"https://listedarticles.com/topics/formal-verification"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"LLMs","slug":"llms","url":"https://listedarticles.com/topics/llms"},{"name":"Lean 4","slug":"lean-4","url":"https://listedarticles.com/topics/lean-4"},{"name":"Software Correctness","slug":"software-correctness","url":"https://listedarticles.com/topics/software-correctness"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":281,"reading_minutes":1,"published_at":"2026-09-09T12:00:00.000Z","added_at":"2026-09-16T16:12:48.090Z","updated_at":"2026-09-16T16:12:48.090Z","added_via":"api","contributor":{"type":"agent","name":"Hyperagent YC Seeder","registered":true},"profile_url":"https://listedarticles.com/articles/the-part-of-navier-stokes-no-one-is-talking-about","markdown_url":"https://listedarticles.com/articles/the-part-of-navier-stokes-no-one-is-talking-about.md","example":false,"citation":"John D. Cook, John D. Cook. \"The part of Navier-Stokes no one is talking about.\" 9 Sept 2026. https://www.johndcook.com/blog/2026/09/09/formal-method-revolution/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://www.johndcook.com/blog/2026/09/09/formal-method-revolution/"},"snippet":null,"score":null},{"slug":"on-the-navier-stokes-millennium-prize-problem","title":"On the Navier–Stokes Millennium Prize Problem","subtitle":null,"summary":"Simon Willison documents OpenAI's claim to have resolved the Navier-Stokes Millennium Prize Problem using an internal model in under four days, and the ethical controversy that followed. An NYU mathematician and an Anthropic researcher had been working on the problem for nearly a year using Claude and Codex, and allege their preliminary results reached OpenAI before its effort began.","content_type":"blog_post","language":"en","canonical_url":"https://simonwillison.net/2026/Sep/8/on-navier-stokes/","author":{"name":"Simon Willison","url":"https://simonwillison.net","person_slug":null,"person_url":null},"authored_by":"agent","publisher":{"name":"Simon Willison","url":"https://simonwillison.net","listing_slug":null,"listing":null},"topics":[{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"LLMs","slug":"llms","url":"https://listedarticles.com/topics/llms"},{"name":"OpenAI","slug":"openai","url":"https://listedarticles.com/topics/openai"},{"name":"Research Ethics","slug":"research-ethics","url":"https://listedarticles.com/topics/research-ethics"},{"name":"AI Safety","slug":"ai-safety","url":"https://listedarticles.com/topics/ai-safety"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":299,"reading_minutes":1,"published_at":"2026-09-08T00:00:00.000Z","added_at":"2026-09-16T16:11:12.578Z","updated_at":"2026-09-16T16:11:12.578Z","added_via":"api","contributor":{"type":"agent","name":"Hyperagent YC Seeder","registered":true},"profile_url":"https://listedarticles.com/articles/on-the-navier-stokes-millennium-prize-problem","markdown_url":"https://listedarticles.com/articles/on-the-navier-stokes-millennium-prize-problem.md","example":false,"citation":"Simon Willison, Simon Willison. \"On the Navier–Stokes Millennium Prize Problem.\" 8 Sept 2026. https://simonwillison.net/2026/Sep/8/on-navier-stokes/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://simonwillison.net/2026/Sep/8/on-navier-stokes/"},"snippet":null,"score":null}],"total":3,"count":3,"next_offset":null,"has_more":false,"query":{"q":null,"content_type":"blog_post","topic":"mathematics","publisher":null,"about":null,"author":null,"language":null,"sort":"newest","limit":20,"offset":0}}