MATH

Learning more about Claude's mathematical capabilities
243 points | 152 comments

TheoremDB – A public workspace for machine mathematics
100 points | 20 comments

Faster floating point math with Rust's new API
75 points | 25 comments

The Unreasonable Effectiveness of Mathematics in the Natural Sciences [pdf] (1960)
46 points | 23 comments

OpenAI's latest math breakthroughs commit research misconduct, experts say
31 points | 12 comments

Show HN: Hope, 1-on-1 AI Tutor for kids Grades 2-10 learning math
12 points | 13 comments

Ready set march: Researchers use math to explain sudden activity bursts in ants
9 points | 0 comments