41554 blogs · [ { "id": "01a08c64-c3f6-72c3-8b1b-7a87b5773888", "title": "FLT: Anthropic has beaten me to it", "url": "https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-has-beaten-me-to-it/", "published_at": "2026-09-04T18:30:42+00:00" }, { "id": "01a08c64-c3f6-72c3-8b1b-7a87b63cb785", "title": "The Annals Challenge", "url": "https://xenaproject.wordpress.com/2026/08/13/the-annals-challenge/", "published_at": "2026-08-13T18:04:19+00:00" }, { "id": "01a08c64-c3f6-72c3-8b1b-7a87b63fd24b", "title": "Human mathematicians are being outcounterexampled", "url": "https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/", "published_at": "2026-07-20T09:53:22+00:00" }, { "id": "01a08c64-c3f6-72c3-8b1b-7a87b664a936", "title": "Formalizing Fermat workshop", "url": "https://xenaproject.wordpress.com/2026/05/15/formalizing-fermat-workshop/", "published_at": "2026-05-15T12:23:02+00:00" }, { "id": "01a08c64-c3f6-72c3-8b1b-7a87b6dc1040", "title": "Accelerating mathematics", "url": "https://xenaproject.wordpress.com/2026/02/09/accelerating-mathematics/", "published_at": "2026-02-09T13:23:22+00:00" }, { "id": "01a08c64-c3f6-72c3-8b1b-7a87b7bf3679", "title": "Formalization of Erdős problems", "url": "https://xenaproject.wordpress.com/2025/12/05/formalization-of-erdos-problems/", "published_at": "2025-12-05T15:06:26+00:00" }, { "id": "01a08c64-c3f6-72c3-8b1b-7a87b87834a1", "title": "Formal or not formal? That is the question in AI for theorem proving.", "url": "https://xenaproject.wordpress.com/2025/10/22/formal-or-not-formal-that-is-the-question-in-ai-for-theorem-proving/", "published_at": "2025-10-22T14:41:23+00:00" }, { "id": "01a08c64-c3f6-72c3-8b1b-7a87b891561b", "title": "AI at IMO 2025: a round-up", "url": "https://xenaproject.wordpress.com/2025/08/03/ai-at-imo-2025-a-round-up/", "published_at": "2025-08-03T00:03:49+00:00" }, { "id": "01a08c64-c3f6-72c3-8b1b-7a87b8924c27", "title": "Think of a number: an update", "url": "https://xenaproject.wordpress.com/2025/03/16/think-of-a-number-an-update/", "published_at": "2025-03-16T14:03:44+00:00" }, { "id": "01a08c64-c3f6-72c3-8b1b-7a87b89a24e9", "title": "What is a quotient?", "url": "https://xenaproject.wordpress.com/2025/02/09/what-is-a-quotient/", "published_at": "2025-02-09T22:24:42+00:00" } ] posts Claim your blog

Back to Xena | Mathematicians learning Lean by doing.

Blog · corpus.blog/blogs/xenaproject.wordpress.com/posts