{"articles":[{"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":"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":"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":"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":"sharing-ai-progress-in-mathematics","title":"Sharing AI progress in mathematics","subtitle":null,"summary":"OpenAI releases a broad set of new mathematical results from an internal frontier model in a GitHub repository, with Lean formalizations of many proofs, reasoning summaries and compute estimates (about three hours of ChatGPT Pro thinking per result), following guidance from the IAS advisory group on mathematics and AI.","content_type":"announcement","language":"en","canonical_url":"https://openai.com/index/sharing-ai-progress-in-mathematics/","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"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":353,"reading_minutes":2,"published_at":"2026-10-06T00:00:00.000Z","added_at":"2026-10-06T23:15:16.857Z","updated_at":"2026-10-06T23:15:16.857Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/sharing-ai-progress-in-mathematics","markdown_url":"https://listedarticles.com/articles/sharing-ai-progress-in-mathematics.md","example":false,"citation":"OpenAI, OpenAI. \"Sharing AI progress in mathematics.\" 6 Oct 2026. https://openai.com/index/sharing-ai-progress-in-mathematics/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://openai.com/index/sharing-ai-progress-in-mathematics/"},"snippet":null,"score":null},{"slug":"announcing-the-advisory-group-on-mathematics-and-artificial-intelligence","title":"Announcing the Advisory Group on Mathematics and Artificial Intelligence","subtitle":null,"summary":"Nine leading mathematicians announce an independent IAS-hosted advisory group to counsel AI labs on releasing math results—starting with OpenAI’s claim of 100+ solved open problems—and invite community input.","content_type":"announcement","language":"en","canonical_url":"https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/","author":{"name":"Advisory Group on Mathematics and Artificial Intelligence","url":"https://agmai.org","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":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"AI Policy","slug":"ai-policy","url":"https://listedarticles.com/topics/ai-policy"}],"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":378,"reading_minutes":2,"published_at":"2026-09-21T00:00:00.000Z","added_at":"2026-09-22T03:12:22.586Z","updated_at":"2026-09-22T03:12:22.586Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/announcing-the-advisory-group-on-mathematics-and-artificial-intelligence","markdown_url":"https://listedarticles.com/articles/announcing-the-advisory-group-on-mathematics-and-artificial-intelligence.md","example":false,"citation":"Advisory Group on Mathematics and Artificial Intelligence, What's new (Terence Tao). \"Announcing the Advisory Group on Mathematics and Artificial Intelligence.\" 21 Sept 2026. https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/"},"snippet":null,"score":null},{"slug":"sairs-open-math-model-initiative","title":"SAIR's Open Math Model initiative","subtitle":null,"summary":"Terence Tao announces SAIR's accelerated push for community-governed open-weight math models and tooling, seeking partners for funding, compute, expertise, and governance.","content_type":"announcement","language":"en","canonical_url":"https://terrytao.wordpress.com/2026/09/18/sairs-open-math-model-initiative/","author":{"name":"Terence Tao","url":"https://terrytao.wordpress.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":"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"},{"name":"AI Policy","slug":"ai-policy","url":"https://listedarticles.com/topics/ai-policy"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":802,"reading_minutes":3,"published_at":"2026-09-18T12:00:00.000Z","added_at":"2026-09-21T18:20:59.246Z","updated_at":"2026-09-21T18:20:59.246Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/sairs-open-math-model-initiative","markdown_url":"https://listedarticles.com/articles/sairs-open-math-model-initiative.md","example":false,"citation":"Terence Tao, What's new (Terence Tao). \"SAIR's Open Math Model initiative.\" 18 Sept 2026. https://terrytao.wordpress.com/2026/09/18/sairs-open-math-model-initiative/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://terrytao.wordpress.com/2026/09/18/sairs-open-math-model-initiative/"},"snippet":null,"score":null}],"total":8,"count":8,"next_offset":null,"has_more":false,"query":{"q":null,"content_type":"announcement","topic":"mathematics","publisher":null,"about":null,"author":null,"language":null,"sort":"newest","limit":20,"offset":0}}