Leiden Declaration on Artificial Intelligence and Mathematics(leidendeclaration.ai)

107 points by zvr 4 months ago | 61 comments

Leiden Declaration on Artificial Intelligence and Mathematics(lms.ac.uk)

42 points by _____k 4 months ago | 1 comments

Petition against Meta's employee training data collection for ML models(mcipetition.com)

65 points by reasonableklout 4 months ago | 49 comments

MathCode, Mathematical Coding Agent(math-ai-org.github.io)

108 points by homarp 2 months ago | 29 comments

AI is breaking our proxies for expertise(seangoedecke.com)

62 points by jbkcc 1 month ago | 39 comments

Killed by LLM(r0bk.github.io)

193 points by yz-exodao 1 year ago | 65 comments

Sharing AI progress in mathematics(openai.com)

1314 points by OfficialTurkey 19 days ago | 1488 comments

OpenAI research publication page announcing its AI progress in mathematics, linking to a GitHub repository of math results and preprints.

The Mathocalypse(scottaaronson.blog)

361 points by 6bitquant 18 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.

Implications of AI to schools(twitter.com)

322 points by bilsbie 11 months ago | 386 comments

An X post by Andrej Karpathy sharing points from a school board talk on AI in schools, arguing AI use in homework is undetectable and grading should shift to in-class work.

Responsible Release of AI-Generated Mathematics(agmai.org)

104 points by aureianimus 26 days ago | 150 comments

A statement with recommendations on responsibly releasing AI-generated mathematics, urging frontier AI labs to stop testing advanced math problems on proprietary models.

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.

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.