AI already disproved a geometry conjecture and found a new matrix-multiplication algorithm. A philosopher-computer scientist argues the same systems are about to make philosophy a capital-intensive discipline, driven less by solitary thinkers than by compute.

— via Daily Nous, Justin Weinberg