Researcher's proposal to formalize all human math in a year sparks debate

Jared Lichtman proposed formalizing all known human mathematics within a year using AI, calling it comparable to the Human Genome Project, but the plan was quickly criticized by scholars who questioned its feasibility.

2026-09-06 ~ 2026-09-06 · 2 related posts