Jeremy Avigad

mentions 2 type Person feed RSS

// recent coverage 2 mentions

02:40

2026-08-19

terrytao.wordpress.com

ai-tools

Palomar – a registry of Lean verified mathematics

The Palomar registry of Lean verified mathematics, incubated by the Lean FRO and ICARM, is now open for submissions, aiming to serve as a preprint server for Lean proofs by checking that formalized st…

13:00

2026-06-25

spectrum.ieee.org

artificial-intelligence

What it Means to Be a Mathematician When AI Does the Math

As AI systems begin to automate mathematical proofs, mathematicians reflect on the value of the slow, deliberative process of discovery. Researchers like Jeremy Avigad and Krystal Maughan emphasize th…

// co-occurs with top 8 entities

Krystal Maughan 1 Carnegie Mellon University 1 University of Vermont 1 University of Edinburgh 1 Palomar 1 Lean FRO 1 ICARM 1 Terence Tao 1

// topics top 4 topics

ai research 2 artificial intelligence 1 ai ethics 1 ai tools 1