Mathematics Without Mathematicians(borretti.me)

34 points by varjag 2 months ago | 38 comments

Why did Google Brain exist?(moderndescartes.com)

445 points by brilee 3 years ago | 282 comments

Personal essay by former Google Brain employee Brian Kihoon Lee examining why Google Brain existed as an industry research lab and whether those reasons still hold.

Leaving Google(airs.com)

484 points by todsacerdoti 1 year ago | 301 comments

Ian Lance Taylor's blog post announcing he has left Google after 19 years, reflecting on his work on the Go programming language since 2008.

There Are Magic Hexagons of Every Order(gukov.dev)

178 points by gukoff 2 months ago | 31 comments

The Beginning of My Programming Journey (2022)(docs.google.com)

19 points by surprisetalk 1 year ago | 4 comments

Mathematicians will probably become obsolete before anyone else [pdf](olli.unt.edu)

68 points by tiahura 2 months ago | 39 comments

What's the future for pure math research in the age of AI?(writings.stephenwolfram.com)

47 points by 6bitquant 22 days ago | 34 comments

Stephen Wolfram essay on the role and future of human pure mathematics research as AI systems increasingly solve math problems.

Everything you always wanted to know about mathematics (2013) [pdf](math.cmu.edu)

841 points by ggr2342 3 years ago | 142 comments

A PDF textbook from Carnegie Mellon introducing mathematical thinking, logic, and proof-writing for beginning university students.

Can AI do maths yet? Thoughts from a mathematician(xenaproject.wordpress.com)

372 points by mathgenius 1 year ago | 317 comments

Blog post on the Xena Project blog by a mathematician discussing whether AI systems can do research-level mathematics yet.

The Chalk and the Airplane(unintendedconsequenc.es)

23 points by paulorlando 4 days ago | 9 comments

Blog essay on mathematicians' emotional reactions to AI-generated proofs, framing it as the end of math's romantic era and comparing it to past industrial disruptions.

A misalignment of AI in mathematics(mathandai.org)

1171 points by meredydd 1 month ago | 1120 comments

A declaration by mathematicians arguing that AI companies' use of math problems as benchmarks harms mathematics and the mathematical community, inviting endorsements.

I know why the mathematicians weep(derekthompson.org)

342 points by RickJWagner 11 days ago | 561 comments

Derek Thompson essay on his Substack about technological grief, using mathematicians' reactions to AI advances as a lens.