Terence Tao says automated proof checking is why the AI labs stopped consulting mathematicians
A proof checker confirmed the steps of OpenAI's Navier-Stokes result within days. The argument now running through mathematics is over who explains the 166 pages and who gets the credit for them.
Perspective Coverage
7 publishers- Builder
- Builder 46%
- Operator
- Operator 33%
- Investor
- Investor 21%
Reality
- Evidence60
- Adoption
- Not scored
- Hype gap+40
- Incentives70
- Confidence58