The propagation of error in classical geometry constructions (2018)(jdh.hamkins.org)

74 points by downboots 2 years ago | 24 comments

Patterns, Predictions, and Actions – A story about machine learning(mlstory.org)

10 points by vinhnx 1 year ago | 0 comments

Mathematics Without Mathematicians(borretti.me)

34 points by varjag 2 months ago | 38 comments

The lattice of sets of natural numbers is rich (2021)(jdh.hamkins.org)

95 points by benmandrew 2 months ago | 18 comments

Algebra(feynmanlectures.caltech.edu)

223 points by luu 3 years ago | 69 comments

The other Markov's inequality(ethanepperly.com)

46 points by tzury 8 months ago | 4 comments

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.

Why Math Dumped OpenAI(raymyers.org)

11 points by xeonmc 9 days ago | 0 comments

A blog post by Ray Myers arguing why the mathematics community moved away from OpenAI.

The new skill in AI is not prompting, it's context engineering(philschmid.de)

832 points by robotswantdata 1 year ago | 467 comments

Blog post by Philipp Schmid arguing that context engineering, supplying LLMs with the right information and tools, matters more than prompting for AI agents.

Deep learning gets the glory, deep fact checking gets ignored(rachel.fast.ai)

549 points by chmaynard 1 year ago | 134 comments

Rachel Thomas blog post on how a high-profile Nature paper using a Transformer to predict enzyme functions contained many errors that received far less attention than the original result.

AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)

343 points by saikatsg 7 months ago | 242 comments

Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.

Create value for others and don’t worry about the returns(geohot.github.io)

601 points by ppew 7 months ago | 402 comments

A blog post by geohot arguing that social media fear about falling behind on AI agents is nonsense and urging people to focus on creating value for others.