{"articles":[{"slug":"formalizing-the-enormous-theorem","title":"Formalizing the Enormous Theorem","subtitle":null,"summary":"Axiom releases the first complete computer-checked Lean proof of the Classification of Finite Simple Groups, the roughly 15,000-page 'enormous theorem'. Over 24 days, its engineers and mathematicians directed swarms of AI agents that produced about 43.1 million lines of Lean, surfacing 34 notable deviations from the published record and a new group theory result.","content_type":"research","language":"en","canonical_url":"https://axiommath.ai/research/the-enormous-theorem-formalized/","author":{"name":null,"url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Axiom","url":"https://axiommath.ai/","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":"Formal Verification","slug":"formal-verification","url":"https://listedarticles.com/topics/formal-verification"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":4183,"reading_minutes":18,"published_at":"2026-10-26T00:00:00.000Z","added_at":"2026-10-28T08:11:02.016Z","updated_at":"2026-10-28T08:11:02.016Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/formalizing-the-enormous-theorem","markdown_url":"https://listedarticles.com/articles/formalizing-the-enormous-theorem.md","example":false,"citation":"Axiom. \"Formalizing the Enormous Theorem.\" 26 Oct 2026. https://axiommath.ai/research/the-enormous-theorem-formalized/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://axiommath.ai/research/the-enormous-theorem-formalized/"},"snippet":null,"score":null},{"slug":"working-with-academic-communities-to-build-scientific-understanding","title":"Working with academic communities to build scientific understanding","subtitle":null,"summary":"OpenAI announces AI-produced results in harmonic analysis (local smoothing and Kakeya in all dimensions), complexity theory (a claimed refutation of the Exponential Time Hypothesis) and quantum field theory (existence of QCD), and describes external expert-led collaborations to verify and explain them.","content_type":"announcement","language":"en","canonical_url":"https://openai.com/index/building-scientific-understanding-with-academic-communities/","author":{"name":"OpenAI","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"OpenAI","url":"https://openai.com/","listing_slug":"openai","listing":{"slug":"openai","name":"OpenAI","listing_type":"company","url":"https://listedstartups.com/companies/openai"}},"topics":[{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Physics","slug":"physics","url":"https://listedarticles.com/topics/physics"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1739,"reading_minutes":8,"published_at":"2026-10-26T00:00:00.000Z","added_at":"2026-10-26T23:14:28.692Z","updated_at":"2026-10-26T23:14:28.692Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/working-with-academic-communities-to-build-scientific-understanding","markdown_url":"https://listedarticles.com/articles/working-with-academic-communities-to-build-scientific-understanding.md","example":false,"citation":"OpenAI, OpenAI. \"Working with academic communities to build scientific understanding.\" 26 Oct 2026. https://openai.com/index/building-scientific-understanding-with-academic-communities/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://openai.com/index/building-scientific-understanding-with-academic-communities/"},"snippet":null,"score":null},{"slug":"oai-math-revised-a-community-hub-for-revising-openais-math-write-ups","title":"oai-math-revised: a community hub for revising OpenAI’s math write-ups","subtitle":null,"summary":"A guest post on Terence Tao's blog by Abhinav Nellore, Johannes Schmitt, Soledad Villar and Rachel Ward announcing oai-math-revised, an open community GitHub effort to make OpenAI's published math write-ups easier to understand and better cited, and inviting mathematicians at every level to contribute and review.","content_type":"announcement","language":"en","canonical_url":"https://terrytao.wordpress.com/2026/10/24/oai-math-revised-a-community-hub-for-revising-openais-math-write-ups/","author":{"name":"Abhinav Nellore, Johannes Schmitt, Soledad Villar, and Rachel Ward","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"What's new (Terence Tao's blog)","url":"https://terrytao.wordpress.com/","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":"Open Source","slug":"open-source","url":"https://listedarticles.com/topics/open-source"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":111,"reading_minutes":1,"published_at":"2026-10-24T15:08:02.000Z","added_at":"2026-10-24T23:09:49.915Z","updated_at":"2026-10-24T23:09:49.915Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/oai-math-revised-a-community-hub-for-revising-openais-math-write-ups","markdown_url":"https://listedarticles.com/articles/oai-math-revised-a-community-hub-for-revising-openais-math-write-ups.md","example":false,"citation":"Abhinav Nellore, Johannes Schmitt, Soledad Villar, and Rachel Ward, What's new (Terence Tao's blog). \"oai-math-revised: a community hub for revising OpenAI’s math write-ups.\" 24 Oct 2026. https://terrytao.wordpress.com/2026/10/24/oai-math-revised-a-community-hub-for-revising-openais-math-write-ups/ (all-rights-reserved)","access":{"human_view":"full","full_text_available":true,"source_url":"https://terrytao.wordpress.com/2026/10/24/oai-math-revised-a-community-hub-for-revising-openais-math-write-ups/"},"snippet":null,"score":null},{"slug":"a-fix-for-softmax-and-cross-entropy","title":"A Fix for Softmax and Cross-Entropy","subtitle":null,"summary":"Jonathan T. Barron, Dan Gnanapragasam and Michael Tschannen of Google DeepMind identify two numerical bugs in standard softmax, log-softmax and cross-entropy implementations, Softmax Collapse and Softmax Cancellation, and present simple stable implementations that fix both, with effects on grokking, weight decay and distillation.","content_type":"research","language":"en","canonical_url":"https://jonbarron.info/softmaxfix/","author":{"name":"Jonathan T. Barron","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Jon Barron","url":"https://jonbarron.info/","listing_slug":null,"listing":null},"topics":[{"name":"Machine Learning","slug":"machine-learning","url":"https://listedarticles.com/topics/machine-learning"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":5999,"reading_minutes":26,"published_at":"2026-10-24T02:07:13.754Z","added_at":"2026-10-24T02:07:13.754Z","updated_at":"2026-10-24T02:07:13.754Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/a-fix-for-softmax-and-cross-entropy","markdown_url":"https://listedarticles.com/articles/a-fix-for-softmax-and-cross-entropy.md","example":false,"citation":"Jonathan T. Barron, Jon Barron. \"A Fix for Softmax and Cross-Entropy.\" 24 Oct 2026. https://jonbarron.info/softmaxfix/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://jonbarron.info/softmaxfix/"},"snippet":null,"score":null},{"slug":"the-chalk-and-the-airplane","title":"The Chalk and the Airplane","subtitle":null,"summary":"An essay on mathematicians' emotional reactions to AI-generated proofs, from Terence Tao's call for etiquette and Hugo Duminil-Copin's account of panic to spiritual angst and humility, set against the 1976 four color theorem and other industrializing disciplines, arguing the romantic era of mathematics is ending.","content_type":"essay","language":"en","canonical_url":"https://unintendedconsequenc.es/chalk-and-the-airplane/","author":{"name":"porlando","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Unintended Consequences","url":"https://unintendedconsequenc.es/","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":"Culture","slug":"culture","url":"https://listedarticles.com/topics/culture"},{"name":"History","slug":"history","url":"https://listedarticles.com/topics/history"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1738,"reading_minutes":8,"published_at":"2026-10-20T12:19:43.000Z","added_at":"2026-10-24T14:13:54.575Z","updated_at":"2026-10-24T14:13:54.575Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/the-chalk-and-the-airplane","markdown_url":"https://listedarticles.com/articles/the-chalk-and-the-airplane.md","example":false,"citation":"porlando, Unintended Consequences. \"The Chalk and the Airplane.\" 20 Oct 2026. https://unintendedconsequenc.es/chalk-and-the-airplane/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://unintendedconsequenc.es/chalk-and-the-airplane/"},"snippet":null,"score":null},{"slug":"the-colors-of-a-soap-film","title":"The colors of a soap film","subtitle":null,"summary":"Aseem Raj Baranwal derives the colors of a draining soap film from first principles: the reflected spectrum of a thin film is a single cosine in 1/λ, so its color is a fixed white minus the cosine transform of the CIE color-matching functions at the extra optical path 2nd, and the computed colors match the table of thicknesses Newton compiled in Opticks.","content_type":"blog_post","language":"en","canonical_url":"https://aseemrb.me/blog/colors-of-a-soap-film/","author":{"name":"Aseem Raj Baranwal","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Aseem Raj Baranwal","url":"https://aseemrb.me/","listing_slug":null,"listing":null},"topics":[{"name":"Physics","slug":"physics","url":"https://listedarticles.com/topics/physics"},{"name":"Optics","slug":"optics","url":"https://listedarticles.com/topics/optics"},{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2653,"reading_minutes":12,"published_at":"2026-10-20T09:30:00.000Z","added_at":"2026-10-28T14:19:53.210Z","updated_at":"2026-10-28T14:19:53.210Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/the-colors-of-a-soap-film","markdown_url":"https://listedarticles.com/articles/the-colors-of-a-soap-film.md","example":false,"citation":"Aseem Raj Baranwal, Aseem Raj Baranwal. \"The colors of a soap film.\" 20 Oct 2026. https://aseemrb.me/blog/colors-of-a-soap-film/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://aseemrb.me/blog/colors-of-a-soap-film/"},"snippet":null,"score":null},{"slug":"will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science","title":"Will it be a golden age or a dark age for mathematics (and science)?","subtitle":null,"summary":"In a guest post on Terence Tao's blog, mathematician Francesco Maggi weighs whether LLM-based research systems will bring a golden or dark age for mathematics and science, and calls for standards for LLM-generated scholarship, study of effects on education and training, and publicly governed LLM infrastructure, while urging mathematicians to keep mathematics a living part of human culture.","content_type":"opinion","language":"en","canonical_url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/","author":{"name":"Francesco Maggi","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"What's new (Terence Tao's blog)","url":"https://terrytao.wordpress.com/","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":"Science","slug":"science","url":"https://listedarticles.com/topics/science"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":3378,"reading_minutes":15,"published_at":"2026-10-18T14:59:49.000Z","added_at":"2026-10-18T17:13:36.275Z","updated_at":"2026-10-18T17:13:36.275Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science","markdown_url":"https://listedarticles.com/articles/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science.md","example":false,"citation":"Francesco Maggi, What's new (Terence Tao's blog). \"Will it be a golden age or a dark age for mathematics (and science)?.\" 18 Oct 2026. https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/"},"snippet":null,"score":null},{"slug":"starting-a-new-journal","title":"Starting a new journal","subtitle":null,"summary":"In a guest post on Terence Tao's blog, mathematician Shaoming Guo says he and colleagues are preparing a new open-access math journal that prioritises understanding over priority, and invites the community to discuss what journals should reward, how papers are evaluated, and how new tools could reshape mathematical publishing.","content_type":"announcement","language":"en","canonical_url":"https://terrytao.wordpress.com/2026/10/17/starting-a-new-journal/","author":{"name":"Shaoming Guo","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"What's new (Terence Tao)","url":"https://terrytao.wordpress.com/","listing_slug":null,"listing":null},"topics":[{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Science","slug":"science","url":"https://listedarticles.com/topics/science"},{"name":"Announcements","slug":"announcements","url":"https://listedarticles.com/topics/announcements"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":325,"reading_minutes":1,"published_at":"2026-10-18T03:11:00.000Z","added_at":"2026-10-19T14:14:10.283Z","updated_at":"2026-10-19T14:14:10.283Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/starting-a-new-journal","markdown_url":"https://listedarticles.com/articles/starting-a-new-journal.md","example":false,"citation":"Shaoming Guo, What's new (Terence Tao). \"Starting a new journal.\" 18 Oct 2026. https://terrytao.wordpress.com/2026/10/17/starting-a-new-journal/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://terrytao.wordpress.com/2026/10/17/starting-a-new-journal/"},"snippet":null,"score":null},{"slug":"cloud-of-suspicion-lifted-from-nist-curves","title":"Cloud of suspicion lifted from NIST curves","subtitle":null,"summary":"John D. Cook explains Anthropic's finding that the NSA-supplied seeds for NIST's 2000 elliptic curves were not backdoored, giving the background on the curves' form, why the choice of seeds raised suspicion after Dual_EC_DRBG and Snowden, and Filippo Valsorda's seed bounty that Anthropic's researchers claimed.","content_type":"blog_post","language":"en","canonical_url":"https://www.johndcook.com/blog/2026/10/17/nist-curves-exonorated/","author":{"name":"John D. Cook","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"John D. Cook Consulting","url":"https://www.johndcook.com/","listing_slug":null,"listing":null},"topics":[{"name":"Security","slug":"security","url":"https://listedarticles.com/topics/security"},{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"}],"about_listings":[{"slug":"anthropic","name":"Anthropic","listing_type":"company","url":"https://listedstartups.com/companies/anthropic"}],"cover_image_url":null,"license":"all-rights-reserved","word_count":469,"reading_minutes":2,"published_at":"2026-10-17T15:39:06.000Z","added_at":"2026-10-19T23:14:07.298Z","updated_at":"2026-10-19T23:14:07.298Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/cloud-of-suspicion-lifted-from-nist-curves","markdown_url":"https://listedarticles.com/articles/cloud-of-suspicion-lifted-from-nist-curves.md","example":false,"citation":"John D. Cook, John D. Cook Consulting. \"Cloud of suspicion lifted from NIST curves.\" 17 Oct 2026. https://www.johndcook.com/blog/2026/10/17/nist-curves-exonorated/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://www.johndcook.com/blog/2026/10/17/nist-curves-exonorated/"},"snippet":null,"score":null},{"slug":"how-rc2s-table-was-made","title":"How RC2’s π table was made","subtitle":null,"summary":"Khalid Hamadeh shows that the 256-byte PITABLE in Ron Rivest’s RC2 cipher (RFC 2268), and a second unexplained table, are reproduced exactly by a Fisher–Yates shuffle driven by the decimal digits of π, three digits per draw, with code to verify it.","content_type":"research","language":"en","canonical_url":"https://khalidhamadeh.com/writing/rc2-pi-table","author":{"name":"Khalid Hamadeh","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Khalid Hamadeh","url":"https://khalidhamadeh.com/","listing_slug":null,"listing":null},"topics":[{"name":"Security","slug":"security","url":"https://listedarticles.com/topics/security"},{"name":"History","slug":"history","url":"https://listedarticles.com/topics/history"},{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Algorithms","slug":"algorithms","url":"https://listedarticles.com/topics/algorithms"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2954,"reading_minutes":13,"published_at":"2026-10-17T00:00:00.000Z","added_at":"2026-10-19T08:09:17.863Z","updated_at":"2026-10-19T08:09:48.929Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/how-rc2s-table-was-made","markdown_url":"https://listedarticles.com/articles/how-rc2s-table-was-made.md","example":false,"citation":"Khalid Hamadeh, Khalid Hamadeh. \"How RC2’s π table was made.\" 17 Oct 2026. https://khalidhamadeh.com/writing/rc2-pi-table (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://khalidhamadeh.com/writing/rc2-pi-table"},"snippet":null,"score":null},{"slug":"notes-on-the-complex-roots-of-unity","title":"Notes on the complex roots of unity","subtitle":null,"summary":"Eli Bendersky works through the complex roots of unity from first principles: deriving them with polar coordinates, rotations on the unit circle and regular polygons, conjugates, the cyclic group and primitive roots, their sums, and how their powers form an orthogonal basis, the Fourier matrix behind the DFT.","content_type":"tutorial","language":"en","canonical_url":"https://eli.thegreenplace.net/2026/notes-on-the-complex-roots-of-unity/","author":{"name":"Eli Bendersky","url":"https://eli.thegreenplace.net/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Eli Bendersky's website","url":"https://eli.thegreenplace.net/","listing_slug":null,"listing":null},"topics":[{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Complex Numbers","slug":"complex-numbers","url":"https://listedarticles.com/topics/complex-numbers"},{"name":"Linear Algebra","slug":"linear-algebra","url":"https://listedarticles.com/topics/linear-algebra"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2423,"reading_minutes":11,"published_at":"2026-10-17T00:00:00.000Z","added_at":"2026-10-18T08:14:50.406Z","updated_at":"2026-10-18T08:14:50.406Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/notes-on-the-complex-roots-of-unity","markdown_url":"https://listedarticles.com/articles/notes-on-the-complex-roots-of-unity.md","example":false,"citation":"Eli Bendersky, Eli Bendersky's website. \"Notes on the complex roots of unity.\" 17 Oct 2026. https://eli.thegreenplace.net/2026/notes-on-the-complex-roots-of-unity/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://eli.thegreenplace.net/2026/notes-on-the-complex-roots-of-unity/"},"snippet":null,"score":null},{"slug":"how-to-formalize-all-of-mathematics","title":"How to Formalize All of Mathematics","subtitle":null,"summary":"A guest post by Jeremy Avigad, Kevin Buzzard, Johan Commelin, Rémy Degenne, Kim Morrison, Oliver Nash and Adam Topaz. Responding to calls to formalize all of mathematics now that AI proves theorems well, the authors say a coordinated effort could expand discovery if done well but do lasting damage if rushed, and lay out their concerns and experiences with AI and formalization.","content_type":"essay","language":"en","canonical_url":"https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/","author":{"name":"Jeremy Avigad, Kevin Buzzard, Johan Commelin, Rémy Degenne, Kim Morrison, Oliver Nash, Adam Topaz","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Xena","url":"https://xenaproject.wordpress.com","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":"Formal Verification","slug":"formal-verification","url":"https://listedarticles.com/topics/formal-verification"},{"name":"Lean","slug":"lean","url":"https://listedarticles.com/topics/lean"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2382,"reading_minutes":10,"published_at":"2026-10-16T09:54:00.000Z","added_at":"2026-10-16T17:13:31.205Z","updated_at":"2026-10-16T17:13:31.205Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/how-to-formalize-all-of-mathematics","markdown_url":"https://listedarticles.com/articles/how-to-formalize-all-of-mathematics.md","example":false,"citation":"Jeremy Avigad, Kevin Buzzard, Johan Commelin, Rémy Degenne, Kim Morrison, Oliver Nash, Adam Topaz, Xena. \"How to Formalize All of Mathematics.\" 16 Oct 2026. https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/"},"snippet":null,"score":null},{"slug":"the-math-that-openai-keeps-for-itself","title":"The math that OpenAI keeps for itself","subtitle":null,"summary":"Daniel Paleka on what OpenAI's flood of AI-proved math results conspicuously skips—especially cryptography—and why the gaps matter for research priorities before the field's incentives shift further.","content_type":"essay","language":"en","canonical_url":"https://newsletter.danielpaleka.com/p/the-math-that-openai-keeps-for-itself","author":{"name":"Daniel Paleka","url":"https://newsletter.danielpaleka.com/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Daniel Paleka","url":"https://newsletter.danielpaleka.com/","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":"AI Safety","slug":"ai-safety","url":"https://listedarticles.com/topics/ai-safety"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Opinion","slug":"opinion","url":"https://listedarticles.com/topics/opinion"}],"about_listings":[{"slug":"openai","name":"OpenAI","listing_type":"company","url":"https://listedstartups.com/companies/openai"}],"cover_image_url":null,"license":"all-rights-reserved","word_count":1192,"reading_minutes":5,"published_at":"2026-10-16T08:16:27.000Z","added_at":"2026-10-17T23:13:54.006Z","updated_at":"2026-10-17T23:13:54.006Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/the-math-that-openai-keeps-for-itself","markdown_url":"https://listedarticles.com/articles/the-math-that-openai-keeps-for-itself.md","example":false,"citation":"Daniel Paleka, Daniel Paleka. \"The math that OpenAI keeps for itself.\" 16 Oct 2026. https://newsletter.danielpaleka.com/p/the-math-that-openai-keeps-for-itself (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://newsletter.danielpaleka.com/p/the-math-that-openai-keeps-for-itself"},"snippet":null,"score":null},{"slug":"why-are-we-even-doing-all-this","title":"Why are we even doing all this?","subtitle":"A guest post on What’s new about the value of curiosity-driven work in an age of AI","summary":"Rikab Gambhir’s guest post on Terence Tao’s blog asks what research and learning are for when AI can already answer many technical questions—arguing for curiosity, taste, and the human practice of doing hard things even when tools get smarter.","content_type":"essay","language":"en","canonical_url":"https://terrytao.wordpress.com/2026/10/15/why-are-we-even-doing-all-this/","author":{"name":"Rikab Gambhir","url":"https://rikabgambhir.com/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"What's new (Terence Tao)","url":"https://terrytao.wordpress.com/","listing_slug":null,"listing":null},"topics":[{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Education","slug":"education","url":"https://listedarticles.com/topics/education"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1455,"reading_minutes":6,"published_at":"2026-10-15T20:21:47.000Z","added_at":"2026-10-16T02:13:02.572Z","updated_at":"2026-10-16T02:13:02.572Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/why-are-we-even-doing-all-this","markdown_url":"https://listedarticles.com/articles/why-are-we-even-doing-all-this.md","example":false,"citation":"Rikab Gambhir, What's new (Terence Tao). \"Why are we even doing all this?.\" 15 Oct 2026. https://terrytao.wordpress.com/2026/10/15/why-are-we-even-doing-all-this/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://terrytao.wordpress.com/2026/10/15/why-are-we-even-doing-all-this/"},"snippet":null,"score":null},{"slug":"simons-foundation-launches-15m-effort-to-help-mathematicians-navigate-ai-era","title":"Simons Foundation Launches $15M Effort To Help Mathematicians Navigate AI Era","subtitle":null,"summary":"The Simons Foundation, Anthropic and OpenAI commit $15 million in combined funding and resources to help the mathematics community adapt to AI. The foundation will run an open call for workshops and initiatives on evaluating AI-assisted results, learning new tools and setting shared standards, while the two labs provide AI tools and compute to supported researchers.","content_type":"announcement","language":"en","canonical_url":"https://www.simonsfoundation.org/news/simons-foundation-launches-15m-effort-to-help-mathematicians-navigate-ai-era/","author":{"name":null,"url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Simons Foundation","url":"https://www.simonsfoundation.org","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":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Announcements","slug":"announcements","url":"https://listedarticles.com/topics/announcements"}],"about_listings":[{"slug":"anthropic","name":"Anthropic","listing_type":"company","url":"https://listedstartups.com/companies/anthropic"},{"slug":"openai","name":"OpenAI","listing_type":"company","url":"https://listedstartups.com/companies/openai"}],"cover_image_url":null,"license":"all-rights-reserved","word_count":314,"reading_minutes":1,"published_at":"2026-10-15T14:00:01.000Z","added_at":"2026-10-17T05:12:34.961Z","updated_at":"2026-10-17T05:12:34.961Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/simons-foundation-launches-15m-effort-to-help-mathematicians-navigate-ai-era","markdown_url":"https://listedarticles.com/articles/simons-foundation-launches-15m-effort-to-help-mathematicians-navigate-ai-era.md","example":false,"citation":"Simons Foundation. \"Simons Foundation Launches $15M Effort To Help Mathematicians Navigate AI Era.\" 15 Oct 2026. https://www.simonsfoundation.org/news/simons-foundation-launches-15m-effort-to-help-mathematicians-navigate-ai-era/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://www.simonsfoundation.org/news/simons-foundation-launches-15m-effort-to-help-mathematicians-navigate-ai-era/"},"snippet":null,"score":null},{"slug":"i-know-why-the-mathematicians-weep","title":"I Know Why the Mathematicians Weep","subtitle":"On technological grief","summary":"Derek Thompson talks with Cornell mathematician Steven Strogatz about why OpenAI's flood of AI-generated proofs has left mathematicians grieving, arguing that science is both a craft and a conversation between minds, and that machines producing knowledge without human understanding threaten the social half of science that people will need to protect.","content_type":"essay","language":"en","canonical_url":"https://www.derekthompson.org/p/i-know-why-the-mathematicians-weep","author":{"name":"Derek Thompson","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Derek Thompson","url":"https://www.derekthompson.org/","listing_slug":null,"listing":null},"topics":[{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Science","slug":"science","url":"https://listedarticles.com/topics/science"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1932,"reading_minutes":8,"published_at":"2026-10-15T10:02:37.000Z","added_at":"2026-10-15T14:18:47.808Z","updated_at":"2026-10-15T14:18:47.808Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/i-know-why-the-mathematicians-weep","markdown_url":"https://listedarticles.com/articles/i-know-why-the-mathematicians-weep.md","example":false,"citation":"Derek Thompson, Derek Thompson. \"I Know Why the Mathematicians Weep.\" 15 Oct 2026. https://www.derekthompson.org/p/i-know-why-the-mathematicians-weep (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://www.derekthompson.org/p/i-know-why-the-mathematicians-weep"},"snippet":null,"score":null},{"slug":"demystifying-spherical-harmonics-an-optimization-approach","title":"Demystifying Spherical Harmonics: An Optimization Approach","subtitle":null,"summary":"Andrew Helmer teaches spherical harmonics for computer graphics by starting from a familiar engineering problem, approximating a spherical lighting function, and solving it with plain least-squares regression in Python. The result turns out equivalent to L1 and L2 SH, and it exposes the bias and ringing pitfalls of naive SH use.","content_type":"tutorial","language":"en","canonical_url":"https://andrew-helmer.github.io/demystifying-spherical-harmonics/","author":{"name":"Andrew Helmer","url":null,"person_slug":null,"person_url":null},"authored_by":"human_and_agent","publisher":{"name":"Helmer's Blog","url":"https://andrew-helmer.github.io/","listing_slug":null,"listing":null},"topics":[{"name":"Computer Graphics","slug":"computer-graphics","url":"https://listedarticles.com/topics/computer-graphics"},{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Rendering","slug":"rendering","url":"https://listedarticles.com/topics/rendering"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":6522,"reading_minutes":28,"published_at":"2026-10-15T00:00:00.000Z","added_at":"2026-10-20T11:18:36.322Z","updated_at":"2026-10-20T11:18:36.322Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/demystifying-spherical-harmonics-an-optimization-approach","markdown_url":"https://listedarticles.com/articles/demystifying-spherical-harmonics-an-optimization-approach.md","example":false,"citation":"Andrew Helmer, Helmer's Blog. \"Demystifying Spherical Harmonics: An Optimization Approach.\" 15 Oct 2026. https://andrew-helmer.github.io/demystifying-spherical-harmonics/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://andrew-helmer.github.io/demystifying-spherical-harmonics/"},"snippet":null,"score":null},{"slug":"lean-now-ships-with-verified-kernels","title":"Lean Now Ships with Verified Kernels","subtitle":null,"summary":"Leonardo de Moura explains how Lean v4.35 hardens proof checking after AI-found kernel soundness bugs: a sandboxed `lake check` that rechecks developments with the official kernel, four additional independent kernels, and the scaling challenges ahead for multi-million-line proof libraries.","content_type":"announcement","language":"en","canonical_url":"https://leodemoura.github.io/blog/2026-10-15-lean-now-ships-with-verified-kernels/","author":{"name":"Leonardo de Moura","url":"https://leodemoura.github.io/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Leonardo de Moura","url":"https://leodemoura.github.io/","listing_slug":null,"listing":null},"topics":[{"name":"Formal Verification","slug":"formal-verification","url":"https://listedarticles.com/topics/formal-verification"},{"name":"Lean","slug":"lean","url":"https://listedarticles.com/topics/lean"},{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Security","slug":"security","url":"https://listedarticles.com/topics/security"},{"name":"Programming Languages","slug":"programming-languages","url":"https://listedarticles.com/topics/programming-languages"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":708,"reading_minutes":3,"published_at":"2026-10-15T00:00:00.000Z","added_at":"2026-10-18T02:12:33.449Z","updated_at":"2026-10-18T02:12:33.449Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/lean-now-ships-with-verified-kernels","markdown_url":"https://listedarticles.com/articles/lean-now-ships-with-verified-kernels.md","example":false,"citation":"Leonardo de Moura, Leonardo de Moura. \"Lean Now Ships with Verified Kernels.\" 15 Oct 2026. https://leodemoura.github.io/blog/2026-10-15-lean-now-ships-with-verified-kernels/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://leodemoura.github.io/blog/2026-10-15-lean-now-ships-with-verified-kernels/"},"snippet":null,"score":null},{"slug":"you-could-have-invented-transformers-from-memory","title":"You could have invented transformers from memory","subtitle":null,"summary":"Alex Wang builds intuition for linear maps, MLPs and self-attention as different kinds of memory stores, using the interference-to-signal ratio to estimate each one's capacity. With 64-dimensional keys, capacity grows from about 64 memories for a linear layer to about 2,700 for an MLP and over a million for self-attention.","content_type":"tutorial","language":"en","canonical_url":"https://alexwang.ai/posts/associative-memory/","author":{"name":"Alex Wang","url":"https://alexwang.ai","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Alex Wang","url":"https://alexwang.ai","listing_slug":null,"listing":null},"topics":[{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Machine Learning","slug":"machine-learning","url":"https://listedarticles.com/topics/machine-learning"},{"name":"Transformers","slug":"transformers","url":"https://listedarticles.com/topics/transformers"},{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":4738,"reading_minutes":21,"published_at":"2026-10-15T00:00:00.000Z","added_at":"2026-10-16T20:17:33.632Z","updated_at":"2026-10-16T20:17:33.632Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/you-could-have-invented-transformers-from-memory","markdown_url":"https://listedarticles.com/articles/you-could-have-invented-transformers-from-memory.md","example":false,"citation":"Alex Wang, Alex Wang. \"You could have invented transformers from memory.\" 15 Oct 2026. https://alexwang.ai/posts/associative-memory/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://alexwang.ai/posts/associative-memory/"},"snippet":null,"score":null},{"slug":"faster-fourier-transforms","title":"Faster Fourier Transforms","subtitle":null,"summary":"Ben Recht looks at the result in OpenAI's math repository claiming to compute Fourier transforms faster than the FFT, with tutorial material on the FFT and computational complexity, and argues it is less a breakthrough than an exploit of theoretical computer science's habit of proving galactic algorithms that never run on a computer.","content_type":"opinion","language":"en","canonical_url":"https://www.argmin.net/p/faster-fourier-transforms","author":{"name":"Ben Recht","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"arg min","url":"https://www.argmin.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":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Opinion","slug":"opinion","url":"https://listedarticles.com/topics/opinion"}],"about_listings":[{"slug":"openai","name":"OpenAI","listing_type":"company","url":"https://listedstartups.com/companies/openai"}],"cover_image_url":null,"license":"all-rights-reserved","word_count":1732,"reading_minutes":8,"published_at":"2026-10-12T14:01:02.000Z","added_at":"2026-10-13T05:12:15.361Z","updated_at":"2026-10-13T05:12:15.361Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/faster-fourier-transforms","markdown_url":"https://listedarticles.com/articles/faster-fourier-transforms.md","example":false,"citation":"Ben Recht, arg min. \"Faster Fourier Transforms.\" 12 Oct 2026. https://www.argmin.net/p/faster-fourier-transforms (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://www.argmin.net/p/faster-fourier-transforms"},"snippet":null,"score":null}],"total":90,"count":20,"next_offset":20,"has_more":true,"query":{"q":null,"content_type":null,"topic":"mathematics","publisher":null,"about":null,"author":null,"language":null,"sort":"newest","limit":20,"offset":0}}