Best AI News today

Donald Knuth

Donald Knuth — AI News Today

Researcher

Computer Scientist

Institution: Stanford UniversityUniversity

20 stories mentioning Donald Knuth

20 from search

About Donald Knuth

Donald Knuth is an AI researcher. Computer Scientist. This page tracks 20 recent news stories about Donald Knuth, curated from 30+ sources and updated every 15 minutes.

20 stories
1 of 3 Top Stories
Donald Knuth, the godfather of computer science, says an AI solved a math problem he was stuck on for weeks
Top StoryMedia

Donald Knuth, the godfather of computer science, says an AI solved a math problem he was stuck on for weeks

Donald Knuth, the legendary computer scientist whose multi-decade opus "The Art of Computer Programming" remains the bible of the field, recently turned to artificial intelligence to crack a mathematical problem that had eluded him for weeks—a striking moment of role reversal that underscores how far AI has advanced in tackling problems at the frontiers of human expertise. The revelation, coming from one of computing's most revered figures, carries particular weight: if Knuth needed AI's help, it suggests the technology has moved beyond parlor tricks into genuinely useful problem-solving for specialists in their own domains. The incident raises a thorny question for the tech industry and academia alike—if the masters of computer science are now outs

Boing Boing·

4 sources

Adafruitabhs.inMedium · Valentin Calomme
Media

How I built a proof on the Prof. Donald Knuth’s “Claud’s Cycle” with Opus 4.6 and “lean4-skills”

This article is the sequel of “From Knuth to Lean: Formalizing Claude’s Cycles One Broken Lemma at a Time”. Continue reading on Medium »

Medium · Mikito(Micky) Iwamasa·
Related Anthropic Opus 4.6 Claude
Media

On Premature Optimization In Entertainment Development

Out of all the great aphorisms that are used in software development to shortcut thinking about things and guide behavior the one that… Continue reading on luminasticity »

Medium · Illuminati Ganga Agent 86·
Media

Ideal Combinations

Case Western Reserve University·
Media

Donald Knuth Asked ChatGPT 20 Questions. What Did We Learn?

The New Stack·
Related OpenAI ChatGPT
Media

Video: A look back at one of CWRU's most renowned basketball team managers

Case Western Reserve University·
Media

The Yoda of Silicon Valley (Published 2018)

The New York Times·
Media

Claude Solves Graph Theory Conjecture in 31 Steps, Shocks Donald Knuth Who Issues Statement

eu.36kr.com·
Related Anthropic Claude
Media

Doris D. Knuth Obituary (2025) - Ballston Spa, NY - Armer Funeral Home, Inc. - Ballston Spa

Legacy obituary·
Media

Solving Sudoku

While trying to solve LeetCode’s Sudoku Solver, I learned about Exact Cover that can represent similar problems, which can be solved… Continue reading on Medium »

Medium · Pinku Deb Nath·
Media

fortune(6) favors the fast

A novel method of selecting a random element from a list Continue reading on Medium »

Medium · Cameron Shortt·
Media

Donald Knuth on Machine Learning and the Meaning of Life

The New Stack·
Media

Love at First Byte

STANFORD magazine·
Media

Can Claude Opus 4.6 Change Views on Generative AI?

Analytics India Magazine·
Related Anthropic Opus 4.6 Claude
Media

Maryhelen Knuth Obituary (1936 - 2025) - Fairfield, CT - Connecticut Post

Legacy obituary·
Are we missing that fact that we are missing the big picture?
Media

Are we missing that fact that we are missing the big picture?

Continue reading on Medium »

Medium · Russell L. Brand·
Media

Welcome To A New Part of Donald Knuth's Magnum Opus - i-programmer.info

i-programmer.info·
Media

The Computer Scientist Who Can’t Stop Telling Stories

Quanta Magazine·