Donald Knuth Claude Cycles: AI Solves Open Math Problem
From the article
Legendary computer scientist Donald Knuth published a paper crediting Claude Opus 4.6 for solving an open graph theory problem. What this means for AI engineers.
Continue reading on zenvanriel.comYou might also wanna read
Claude's Cycles: Claude Opus 4.6 solves a problem posed by Don Knuth [pdf]
www-cs-faculty.stanford.edu·4mo ago
GitHub Repository: AI-Generated Proofs for Open Problems in Mathematics and Computer Science
A GitHub repository collecting resolutions of open problems from COLT, commutative ring theory, Erdős problems, and a FOCS 2023 paper. The p
github.com·8d agoClaude's Cycles [pdf]
cs.stanford.edu·4mo ago
AI-Assisted Mathematical Problem Solving: Collaborative Workflow on Erdős Problem #367
Mathematician Terence Tao describes a collaborative mathematical problem-solving process involving AI tools. The article details how mathema
mathstodon.xyz·7mo agoAn AI Just Solved a Geometry Problem That Stumped Mathematicians for 80 Years — and It Wasn't Even Trying
chatforest.com·1mo ago
OpenAI's AI solves 80-year-old Erdős unit distance problem, sparking debate over mathematical norms
OpenAI researchers used an AI model to solve the Erdős unit distance problem, a famous math conjecture proposed by Paul Erdős in 1946 that h
sciencenews.org·27d agoOpenAI's AI solves 80-year-old Erdős unit distance problem, sparking debate over mathematical norms
OpenAI researchers used an AI model to solve the Erdős unit distance problem, a famous math conjecture proposed by Paul Erdős in 1946 that h
sciencenews.org·27d ago
Comments
Sign in to join the conversation.
No comments yet. Be the first.