Re:“Math 2.0” will need to value mathematical progress more ...
by seltzered_ on Thursday October 08, 2026 @12:35PM
(#50008016)
Something to also consider is 'Kill Math' (written in 2011, before LLM/AIs rise) by Bret Victor: https://worrydream.com/KillMath/
[ Parent
| on HN ]
There are no comments on this comment yet.