computer-assisted proof
AssessTechniques
A proof workflow that uses software to help construct, check, or explore mathematical arguments.
Why it's here
Placed in Assess: 1 article(s) of evidence from 1 source(s), led by research-stage coverage, with 1 in the last 30 days. Confidence 24%. Low accumulated evidence, so it defaults conservatively pending more signal.
Evidence (1)
- 7Hacker News·10/11/2026researchTerence Tao’s Math 2.0 talk
Terence Tao presents a Math 2.0 talk in slide form, discussing how modern mathematical work can be changed by computation, formalization, and AI-assisted methods. The item is primarily a research and ideas-focused presentation rather than a product or release announcement.