[ExI] The Automathician

[Gadersd]

> How can we trust these things now when such egregious errors are pointed out?

We can at least trust their mathematics. Mathematical proofs can be verified by computers so we can know for sure whether an AI proved a theorem correctly. Actually churning out good proofs is much more difficult than verifying them so this is one field where language models can potentially excel even with their unreliability. We can throw away the invalid proofs and keep the correct ones. Even if only a small fraction of the proofs are correct it will still likely be MUCH more efficient than a human doing it by hand.

> On Mar 27, 2023, at 1:15 PM, William Flynn Wallace via extropy-chat <extropy-chat at lists.extropy.org> wrote:
> 
> Wonderful things, you say.  ABout a machine that can't add properly (post from John).  Today's paper:  example of asking the AI to write a paper with references of studies, and every one of them was phony - made up.
> 
> How can that even happen? Blatant lying.  How can we trust these things now when such egregious errors are pointed out?  bill w
> 
> On Mon, Mar 27, 2023 at 10:01 AM spike jones via extropy-chat <extropy-chat at lists.extropy.org <mailto:extropy-chat at lists.extropy.org>> wrote:
> 
> 
> -----Original Message-----
> From: extropy-chat <extropy-chat-bounces at lists.extropy.org <mailto:extropy-chat-bounces at lists.extropy.org>> On Behalf Of
> BillK via extropy-chat
> Sent: Monday, 27 March, 2023 7:47 AM
> To: Extropy Chat <extropy-chat at lists.extropy.org <mailto:extropy-chat at lists.extropy.org>>
> Cc: BillK <pharos at gmail.com <mailto:pharos at gmail.com>>
> Subject: Re: [ExI] The Automathician
> 
> On Mon, 27 Mar 2023 at 15:21, <spike at rainier66.com <mailto:spike at rainier66.com>> wrote:
> >
> <snip>
> >
> > ... google-glass style retinal painters (whatever happened to those
> things? (did they go out of style? (why?))) or go audio and talk into the
> ear.
> >
> > spike
> >---------------------------------------
> 
> 
> Google has officially given up on Glass specs.
> <https://www.cnbc.com/2023/03/15/google-discontinues-google-glass-enterprise
> -end-to-early-ar-project.html <https://www.cnbc.com/2023/03/15/google-discontinues-google-glass-enterprise-end-to-early-ar-project.html>>
> Quote:
> Mar 15 2023      Kif Leswing at kifleswing
> 
> >...Google has stopped selling its Glass Enterprise smart glasses, the
> company announced on Wednesday on its website.
> The move is the end of the line for one of the first and most recognized
> smart glasses product lines from a tech company.
> Google will also stop supporting its software in September, the company
> said.
> ---------------
> 
> >...But that is because better devices are in the pipeline from Meta, Apple,
> Microsoft and Google itself.
> 
> BillK
> 
> _______________________________________________
> 
> 
> 
> 
> 
> Thx BillK, but I don't understand.  Better devices are in the pipeline but
> what if we need something like this now?  Where do we go?  If they don't
> support the software, do the old devices still work?  So I could look for
> one on eBay and such?  The other products are not here yet ja?  If all I
> need is text only, wouldn't the Glass work fine for that?  ChatGPT gives
> back only text, so I don't need fancy schmancy anything.
> 
> spike
> 
> _______________________________________________
> extropy-chat mailing list
> extropy-chat at lists.extropy.org <mailto:extropy-chat at lists.extropy.org>
> http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat <http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat>
> _______________________________________________
> extropy-chat mailing list
> extropy-chat at lists.extropy.org
> http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.extropy.org/pipermail/extropy-chat/attachments/20230327/68cbffcb/attachment.htm>