Mathematicians Have Found the Ninth Dedekind Number, After 32 Years of Searching(sciencealert.com)

4 points by goplayoutside 2 years ago | 1 comments

How big are factorials?(eli.thegreenplace.net)

75 points by ibobev 1 month ago | 31 comments

Slaughtering Competition Problems with Quantifier Elimination (2021)(grossack.site)

63 points by todsacerdoti 10 months ago | 0 comments

Calculating the norm of a complex number(eli.thegreenplace.net)

60 points by mfrw 2 years ago | 36 comments

How has mathematics gotten so abstract?(lcamtuf.substack.com)

106 points by thadt 1 year ago | 155 comments

Geometrically understanding calculus of inverse functions (2023)(tobylam.xyz)

109 points by tobytylam 1 year ago | 4 comments

Making any integer with four 2s(eli.thegreenplace.net)

338 points by LorenDB 1 year ago | 144 comments

Eli Bendersky's blog post on the puzzle of generating any natural number using exactly four 2s and arbitrary mathematical operations.

Float and integer arithmetic follow two different paradigms(blog.pkh.me)

58 points by ibobev 21 days ago | 12 comments

Blog post arguing that float arithmetic should be handled by reacting to results (NaN/inf) rather than the preventive checks used for integer overflow in C and Rust.

Using Fibonacci numbers to convert from miles to kilometers and vice versa(catonmat.net)

332 points by thunderbong 2 years ago | 116 comments

A Catonmat blog post explaining how consecutive Fibonacci numbers can approximate conversions between miles and kilometers.

Auto-grading decade-old Hacker News discussions with hindsight(karpathy.bearblog.dev)

637 points by __rito__ 10 months ago | 261 comments

Andrej Karpathy blog post about using LLMs to grade decade-old Hacker News discussions and commenters' predictions with hindsight, presented as an "HN Time Capsule" site.

I miss thinking hard(jernesto.com)

1166 points by jernestomg 8 months ago | 633 comments

A personal blog post venting that the author rarely spends days thinking hard about difficult problems anymore, tagged as an opinion piece on AI.

The Mathocalypse(scottaaronson.blog)

361 points by 6bitquant 19 days ago | 380 comments

Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.