News for hackers. Stuff that matters.
Re:“Math 2.0” will need to value mathematical progress more ... by JumpCrisscross on Thursday October 08, 2026 @01:14PM (#50008667)
> A human reader can query an LLM and get explanations of key points tailored to the reader's own background in mathematics

Convenient. To verify my shovel works you must buy…more shovels!

There are no comments on this comment yet.