AI & Maths watch GitHub

Archived edition

Updates on artificial intelligence for mathematical research, proof discovery and formal verification, with links to papers, code and tools.

Research updatesNo entries in this edition

0 entries · 0 linked sources No substantive news found

No substantive news found

See the coverage notes below. Missing access is not evidence that nothing happened.

Coverage and limitations
  • Directly read Terence Tao’s official blog archive at https://terrytao.wordpress.com/2026/10/. Its latest visible entry was dated 2026-10-23 and concerned IAS applications, not AI for mathematical research. The latest qualifying AI-mathematics posts were already represented among the supplied previous items.
  • Directly read the official Xena Project blog at https://xenaproject.wordpress.com/. The latest visible post was “How to Formalize All of Mathematics,” dated 2026-10-16, which was already included in previous coverage.
  • Directly read Simon Frieder’s blog at https://www.friederrrr.org/blog. No 2026 post was visible; the newest listed entry was dated 2025-08-15.
  • Directly read Lean’s official release index at https://lean-lang.org/doc/reference/latest/releases/. No release inside the requested window was listed; the newest entry was Lean 4.36.0-rc1 dated 2026-10-14, and Lean 4.35.0 had already been covered.
  • Public web searches covered recent combinations of AI mathematics, Lean, theorem proving, autoformalization, and arXiv dates for 2026-10-23 through 2026-10-25. Results were sparse and often surfaced older releases, derivative summaries, or indexed snippets. Indexed snippets were used only as leads and were not treated as directly read sources or evidence of publication within the window.
  • The supplied Mathstodon collection for mathstodon.xyz was unavailable because of an HTTP error. Replies and reposts were excluded, and at most 300 posts would have been checked. Terence Tao’s Mathstodon activity therefore could not be assessed directly.
  • The supplied Bluesky collection for xenaproject.bsky.social completed with no posts. Replies and reposts were excluded and the collection was capped at 300 posts. An empty bounded result does not establish inactivity. Kevin Buzzard’s identity and project affiliation were instead checked against the official Xena Project blog.
  • Bounded direct X API collections completed for __alpoge__, scottnarmstrong, wtgowers, sebastienbubeck, thomasfbloom, littmath, alexkontorovich, f_charton, leonard41111588, boazbaraktcs, leanprover, projectnumina, harmonicmath, axiommathai, and epochairesearch. Replies and reposts were excluded; pagination was incomplete by design; cached posts may have been included; and API account resolution was not independent identity verification.
  • The direct X feeds were empty for __alpoge__, scottnarmstrong, sebastienbubeck, thomasfbloom, alexkontorovich, f_charton, leonard41111588, leanprover, projectnumina, harmonicmath, axiommathai, and epochairesearch. These bounded empty results do not establish that nothing was posted or announced elsewhere.
  • The wtgowers feed contained one post dated 2026-10-24, but it merely linked to an older 2025 X post and supplied no qualifying new mathematical result. The littmath post dated 2026-10-24 was a joke with an image and no verifiable research claim. The four boazbaraktcs posts dated 2026-10-23 through 2026-10-25 concerned AI security, workforce policy, or brief reactions rather than mathematical research.
  • Direct X access is claimed only for the supplied API posts. No complete X timelines were read, and no inference of exhaustive coverage is made. Several supplied identities could not be independently authenticated from a qualifying new official publication during this window.
  • ArXiv search visibility for very recent submissions and revisions may lag, and the public search index did not provide exhaustive date-filtered access. No code from external sources was downloaded or executed, and no Lean artifact was compiled or independently checked.

Requested coverage window: 2026-10-23T21:15:01.880495+02:00 — 2026-10-25T09:15:01.380738+01:00.

Public web research; coverage is not exhaustive. A source link is not a certification of a claim.

Archives 58
Older editions (28)