Forums before death by AOL, social media and spammers... "We can't have nice things"
|    sci.logic    |    Logic -- math, philosophy & computationa    |    262,936 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 262,934 of 262,936    |
|    Tristan Wibberley to olcott    |
|    Re: The proper way to use LLMs to aid pr    |
|    07 Mar 26 03:24:01    |
      XPost: comp.theory, comp.ai.philosophy, sci.math       From: tristan.wibberley+netnews2@alumni.manchester.ac.uk              On 06/03/2026 14:36, olcott wrote:       > On 3/6/2026 3:06 AM, Mikko wrote:              >> Typical LLM's don't have deep knowledge. They can handle large amounts       >> of knoledge but only superficially.       >>       >> LLM's are worthless as validators. An automatic proof checker is good       >> for validation but only if it is itself sufficiently validated.       >>       >       > You have been empirically proven incorrect at least as far       > as the philosophical foundations of math, computer science,       > logic and linguistics goes. Three years ago all of these systems       > were quite stupid. After 300 conversations averaging 50 pages       > each I can attest that they have vastly improved. If we think       > of them as search engines for ideas that is their best use.                     It might be they have been fitted to your conversations. You cannot       infer that they reason more based on increased user satisfaction. It's       difficult to draw such a conclusion even from multiple user evaluations       because users share common cultural factors so they will make similar       conversation and the LLM may learn from one to fool the other.              GPT-5 mini performed poorly for me and did not demonstrate reasoning. It       demonstrated saying things that people say after someone else says       things he says. I assume GPT-5 mini has the reasoning mechanism of other       GPT-5 variants but is smaller and therefore less fit to me. Frankly it       felt like a 1990s game but with more data and something like texture       transferral but for language (creation of poetry from a conversation,       for example).              It is similar to this       this usenetsplit segment       but       at a different scale.              I wonder if it would spontaneously form a new poetic format like that       and how it would feel to read.              I hope a government with capable weapons never uses it. cf. Ross       Finlayson's recently stated logical principles.              --       Tristan Wibberley              The message body is Copyright (C) 2026 Tristan Wibberley except       citations and quotations noted. All Rights Reserved except that you may,       of course, cite it academically giving credit to me, distribute it       verbatim as part of a usenet system or its archives, and use it to       promote my greatness and general superiority without misrepresentation       of my opinions other than my opinion of my greatness and general       superiority which you _may_ misrepresent. You definitely MAY NOT train       any production AI system with it but you may train experimental AI that       will only be used for evaluation of the AI methods it implements.              --- SoupGate-Win32 v1.05        * Origin: you cannot sedate... all the things you hate (1:229/2)    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
(c) 1994, bbs@darkrealms.ca