X @The Economist
The Economist·2026-04-12 12:00
If highbrow maths-literate large language models can certify existing proofs, and help develop new ones, many mathematicians hope they could speed up discovery https://t.co/RAM57Kh17C ...
If highbrow maths-literate large language models can certify existing proofs, and help develop new ones, many mathematicians hope they could speed up discovery https://t.co/RAM57Kh17C ...