Re: Don Knuth on the superb capability of Claude Opus 4.6

Liste des GroupesRevenir à s math 
Sujet : Re: Don Knuth on the superb capability of Claude Opus 4.6
De : ross.a.finlayson (at) *nospam* gmail.com (Ross Finlayson)
Groupes : comp.theory sci.logic sci.math comp.ai.philosophy
Date : 07. Mar 2026, 05:52:48
Autres entêtes
Message-ID : <9sydnR0iXYW-Mjb0nZ2dnZfqn_udnZ2d@giganews.com>
References : 1 2
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0
On 03/06/2026 08:34 PM, olcott wrote:
On 3/3/2026 11:59 PM, Jeff Barnett wrote:
 > https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf
>
Claude’s Cycles
Don Knuth, Stanford Computer Science Department
(28 February 2026; revised 04 March 2026)
>
Shock! Shock! I learned yesterday that an open problem I’d
been working on for several weeks had just been solved by
Claude Opus 4.6— Anthropic’s hybrid reasoning model that
had been released three weeks earlier! It seems that I’ll
have to revise my opinions about “generative AI” one of
these days. What a joy it is to learn not only that my
conjecture has a nice solution but also to celebrate this
dramatic advance in automatic deduction and creative problem
solving. I’ll try to tell the story briefly in this note.
>
https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf
https://www.youtube.com/watch?v=nR9Oe5YEASM
>
>
Yeah, last month a high schooler found a simple inductive
argument to "dis-prove" half of the offshoots of the Langlands
program. The geometric part, ....

Date Sujet#  Auteur
5 Mar 26 * The proper way to use LLMs to aid primary research into foundations59olcott
5 Mar 26 +- Re: The proper way to use LLMs to aid primary research into foundations1Mild Shock
5 Mar 26 +* Re: The proper way to use LLMs to aid primary research into foundations6Ross Finlayson
5 Mar 26 i+- Re: The proper way to use LLMs to aid primary research into foundations1Ross Finlayson
5 Mar 26 i`* Re: The proper way to use LLMs to aid primary research into foundations4Tristan Wibberley
6 Mar 26 i `* Re: The proper way to use LLMs to aid primary research into foundations3Ross Finlayson
7 Mar 26 i  `* Re: The proper way to use LLMs to aid primary research into foundations2Tristan Wibberley
7 Mar 26 i   `- Re: The proper way to use LLMs to aid primary research into foundations1Ross Finlayson
6 Mar 26 +* Re: The proper way to use LLMs to aid primary research into foundations38Mikko
6 Mar 26 i+* Re: The proper way to use LLMs to aid primary research into foundations30olcott
6 Mar 26 ii+* Re: The proper way to use LLMs to aid primary research into foundations3olcott
6 Mar 26 iii`* Re: The proper way to use LLMs to aid primary research into foundations2Ross Finlayson
6 Mar 26 iii `- Re: The proper way to use LLMs to aid primary research into foundations1olcott
7 Mar 26 ii+* Re: The proper way to use LLMs to aid primary research into foundations4Tristan Wibberley
7 Mar 26 iii+* Re: The proper way to use LLMs to aid primary research into foundations2olcott
7 Mar 26 iiii`- Re: The proper way to use LLMs to aid primary research into foundations1Ross Finlayson
7 Mar 26 iii`- Re: The proper way to use LLMs to aid primary research into foundations1Ross Finlayson
7 Mar 26 ii`* Re: The proper way to use LLMs to aid primary research into foundations22Mikko
7 Mar 26 ii +* Re: The proper way to use LLMs to aid primary research into foundations13olcott
7 Mar 26 ii i+* Re: The proper way to use LLMs to aid primary research into foundations2Tristan Wibberley
7 Mar 26 ii ii`- Re: The proper way to use LLMs to aid primary research into foundations1olcott
8 Mar 26 ii i`* Re: The proper way to use LLMs to aid primary research into foundations10Mikko
8 Mar 26 ii i `* Re: The proper way to use LLMs to aid primary research into foundations9olcott
9 Mar 26 ii i  `* Re: The proper way to use LLMs to aid primary research into foundations8Mikko
9 Mar13:34 ii i   +* Re: The proper way to use LLMs to aid primary research into foundations2olcott
10 Mar09:33 ii i   i`- Re: The proper way to use LLMs to aid primary research into foundations1Mikko
9 Mar13:42 ii i   `* Re: The proper way to use LLMs to aid primary research into foundations5olcott
10 Mar13:03 ii i    `* Re: The proper way to use LLMs to aid primary research into foundations4Tristan Wibberley
10 Mar14:45 ii i     `* Re: The proper way to use LLMs to aid primary research into foundations3olcott
10 Mar17:43 ii i      +- Re: The proper way to use LLMs to aid primary research into foundations1Ross Finlayson
10 Mar18:41 ii i      `- Re: The proper way to use LLMs to aid primary research into foundations1olcott
7 Mar 26 ii `* Re: The proper way to use LLMs to aid primary research into foundations8Tristan Wibberley
7 Mar 26 ii  `* Re: The proper way to use LLMs to aid primary research into foundations7olcott
9 Mar10:43 ii   `* Re: The proper way to use LLMs to aid primary research into foundations6Tristan Wibberley
9 Mar13:48 ii    +* Re: The proper way to use LLMs to aid primary research into foundations2olcott
10 Mar14:07 ii    i`- Re: The proper way to use LLMs to aid primary research into foundations1Tristan Wibberley
9 Mar20:34 ii    +* Re: The proper way to use LLMs to aid primary research into foundations2Ross Finlayson
10 Mar06:15 ii    i`- Re: The proper way to use LLMs to aid primary research into foundations1Ross Finlayson
10 Mar12:57 ii    `- Re: The proper way to use LLMs to aid primary research into foundations1Tristan Wibberley
6 Mar 26 i`* Re: The proper way to use LLMs to aid primary research into foundations7Ross Finlayson
6 Mar 26 i `* Re: The proper way to use LLMs to aid primary research into foundations6Ross Finlayson
8 Mar 26 i  +* Re: The proper way to use LLMs to aid primary research into foundations2Tristan Wibberley
8 Mar 26 i  i`- Re: The proper way to use LLMs to aid primary research into foundations1Ross Finlayson
8 Mar 26 i  `* Re: The proper way to use LLMs to aid primary research into foundations3olcott
8 Mar 26 i   `* Re: The proper way to use LLMs to aid primary research into foundations2Ross Finlayson
8 Mar 26 i    `- Re: The proper way to use LLMs to aid primary research into foundations1olcott
7 Mar 26 `* Don Knuth on the superb capability of Claude Opus 4.613olcott
7 Mar 26  `* Re: Don Knuth on the superb capability of Claude Opus 4.612Ross Finlayson
7 Mar 26   `* Re: Don Knuth on the superb capability of Claude Opus 4.611Ross Finlayson
7 Mar 26    `* Terrence Tao: On Jan 4, ChatGPT was able to produce a proof Erdos #728 (Re: Don Knuth on the superb capability of Claude Opus 4.6)10Mild Shock
7 Mar 26     `* Aristotle: The Era of Vibe Proving is Here (Re: Terrence Tao: On Jan 4, ChatGPT was able to produce a proof Erdos #728)9Mild Shock
8 Mar 26      +* Only, three decades in software engineering? (Re: Aristotle: The Era of Vibe Proving is Here)6Mild Shock
8 Mar 26      i`* Re: Only, three decades in software engineering? (Re: Aristotle: The Era of Vibe Proving is Here)5Mild Shock
8 Mar 26      i `* Amazing Visual Perception, even for ASCII Input [GPT 5.3] (Re: Only, three decades in software engineering?)4Mild Shock
8 Mar 26      i  `* Re: Amazing Visual Perception, even for ASCII Input [GPT 5.3] (Re: Only, three decades in software engineering?)3Tristan Wibberley
8 Mar 26      i   `* Re: Amazing Visual Perception, even for ASCII Input [GPT 5.3] (Re: Only, three decades in software engineering?)2Ross Finlayson
8 Mar 26      i    `- Visual Perception helps reading Matrices, Fractions, etc.. (Was: Amazing Visual Perception, even for ASCII Input)1Mild Shock
9 Mar11:24      `* Biobrain cannot digest "Artificial" in AI (Re: Aristotle: The Era of Vibe Proving is Here)2Mild Shock
10 Mar13:09       `- Re: Biobrain cannot digest "Artificial" in AI (Re: Aristotle: The Era of Vibe Proving is Here)1Tristan Wibberley

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal