Xena xenaproject.wordpress.com

Formalizing Fermat workshop

xenaproject.wordpress.com·1w

Accelerating mathematics

xenaproject.wordpress.com·14w

Formalization of Erdős problems

xenaproject.wordpress.com·24w·Hacker News

Formal or not formal? That is the question in AI for theorem proving.

xenaproject.wordpress.com·30w·Lobsters, Hacker News

AI at IMO 2025: a round-up

xenaproject.wordpress.com·41w·Hacker News

original ↗

xenaproject.wordpress.com·61w·Hacker News

What is a quotient?

xenaproject.wordpress.com·66w

Think of a number.

xenaproject.wordpress.com·69w·Hacker News

Can AI do maths yet? Thoughts from a mathematician

xenaproject.wordpress.com·73w·Lobsters, Hacker News

Fermat's Last Theorem – how it's going

xenaproject.wordpress.com·75w·Hacker News

Lean in 2024

xenaproject.wordpress.com·122w

Formalising modern research mathematics in real time

xenaproject.wordpress.com·132w

Lean 2022 round-up

xenaproject.wordpress.com·175w

Beyond the Liquid Tensor Experiment

xenaproject.wordpress.com·192w

The Future of Interactive Theorem Proving?

xenaproject.wordpress.com·196w

Log in to enable infinite scrolling