A korrentour readingWhat is a korrent?
AI will increasingly produce mathematical proofs, just as it already writes most code.
Drawn from what Daniel Lemire said
What Daniel Lemire actually said
Word for word, with the source under each one. They did not write this page.
Computer science professor who works on fast data processing
Difficult proofs will now be built with AI, just as most code will be written with AI.
Where this was said
↗The four-colour theorem was only the startlemire.me
All 3 korrents from this piecethis one is 2nd
Added to korrents 11 Sept 2026 · How quotes work · Something wrong? Tell us
Do you hold this korrent?Do you also believe this?
Related korrents
Not worked out yet — this claim is newer than the last pass. Every hour, each claim that is new or has changed is compared with every other one in the archive; the last pass () came before this claim was recorded. The next is due , and this claim will be in it.