Record · terrytao.wordpress.com

Mathematics Distillation Challenge – Equational Theories

Terence Tao · 14 March 2026 · 4 min read

A post on terrytao.wordpress.com, published 14 March 2026, is cited by 1 distinct blog to date (corpus.blog, measured 16 October 2026).

A record is what was published and who pointed at it. The text of the post is not shown here: read it at the source, or at its Wayback capture.

Read at terrytao.wordpress.com Wayback capture

1blog citing

Citing blogs and links by period
Period	Blogs	Links
All time	1	1
Last 90 days	1	1
Last 30 days	1	1
Last 7 days	1	1

Figures for this page
First cited	11 Oct 2026
Latest citation	11 Oct 2026
Words blogs link it with	1
External links	13
Length	919

Words blogs link it with

The words blogs link this page with, by how many different blogs use them.

author’s announcement1 blog

Cited by 1 blog in 1 post

One row per blog, the most recently citing first. Each shows the blog's newest citing post; open a row for the others.

Blog

Newest citing post

Date

antomon.github.io1 post

Math 2.0: Beyond the Theorem Factory

linked as “Author’s announcement”

Read at antomon.github.io

11 Oct 2026

Links from this post

Link

Host

https://en.wikipedia.org/wiki/Polymath_Project Who cites this page

en.wikipedia.org

https://github.com/teorth/pfr Who cites this page

github.com

https://github.com/teorth/equational_theories Who cites this page

github.com

https://en.wikipedia.org/wiki/GOFAI Who cites this page

en.wikipedia.org

https://damek.github.io/

damek.github.io

https://competition.sair.foundation/competitions/mathematics-distillation-challenge-equational-theories-stage1/overview

competition.sair.foundation

https://sair.foundation/ Who cites this page

sair.foundation

https://arxiv.org/abs/2509.20820 Who cites this page

arxiv.org

https://gemini.google.com/share/23d35d7eb8b4 Who cites this page

gemini.google.com

https://benchmark.sair.foundation/benchmarks/mathematics-distillation-challenge-equational-theories-stage1

benchmark.sair.foundation

https://playground.sair.foundation/playground/mathematics-distillation-challenge-equational-theories-stage1

playground.sair.foundation

https://www.youtube.com/watch?v=H5u2wtUE7UQ Who cites this page

youtube.com

https://zulip.sair.foundation/ Who cites this page

zulip.sair.foundation

Elsewhere on terrytao.wordpress.com (4)

Formalizing the proof of PFR in Lean4 using Blueprint: a short tour Read at terrytao.wordpress.com

terrytao.wordpress.com

A pilot project in universal algebra to explore new ways to collaborate and use machine assistance? Read at terrytao.wordpress.com

terrytao.wordpress.com

The equational theories project: a brief tour Read at terrytao.wordpress.com

terrytao.wordpress.com

https://terrytao.wordpress.com/2025/12/09/the-equational-theories-project-advancing-collaborative-mathematical-research-at-scale/ Read at terrytao.wordpress.com

terrytao.wordpress.com

Mathematics Distillation Challenge – Equational Theories

Words blogs link it with

Cited by 1 blog in 1 post

Links from this post

Similar posts