research-culture
Everything on Ground Truth tagged “research-culture” — 1 item.
Terence Tao says the bottleneck in AI-assisted mathematics is understanding, not proofs News
In an ICM public lecture, Terence Tao argues that AI and formal proof systems accelerate generating and verifying proofs but not explaining, reviewing or canonicalizing them, so correct results could pile up faster than the field can absorb them.