Emily Riehl

AI

Harvard's CMSA says 32 mathematicians from academia, government and industry met there on October 22–23, 2026.

3401234567890123456789

PS

HM

ER

8 Sources, 7d ago, updated 7d ago

AI

In a Science Expert Voices column, Emily Riehl weighs in on AI-for-math news from summer 2026 and early October.

1501234567890123456789

ER

1 Source, 32d ago, first seen 32d ago

Science

OpenAI says many proofs have computer-checkable Lean formalizations, but warns that some unformalized results could have issues.

246012345678901234567890123456789

DS

DU

GR

45 Sources, 30d ago, updated 30d ago

AI

A group member shared the report and related resources after a meeting aimed at proposing changes to how math PhD programs are structured.

1801234567890123456789

PS

ER

2 Sources, 45d ago, first seen 45d ago