The fall of the theorem economy (David Bessis) — LessWrong
Summary
I found this post from mathematician David Bessis very interesting. It explains that while AI can be trained to prove mathematical theorems in Lean,…
Description
I found this post from mathematician David Bessis very interesting. It explains that while AI can be trained to prove mathematical theorems in Lean,…
Original reporting
AFBytes is a read-only aggregator. Use the original source for full context and complete reporting.
Open original source