<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><blockquote type="cite" class=""><div dir="ltr" class=""><div class="gmail_default" style="font-family: "comic sans ms", sans-serif; font-size: large;">How can we trust these things now when such egregious errors are pointed out?</div></div></blockquote><div class=""><br class=""></div>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.<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Mar 27, 2023, at 1:15 PM, William Flynn Wallace via extropy-chat <<a href="mailto:extropy-chat@lists.extropy.org" class="">extropy-chat@lists.extropy.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class="gmail_default" style="font-family: "comic sans ms", sans-serif; font-size: large;">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.</div><div class="gmail_default" style="font-family: "comic sans ms", sans-serif; font-size: large;"><br class=""></div><div class="gmail_default" style="font-family: "comic sans ms", sans-serif; font-size: large;">How can that even happen? Blatant lying. How can we trust these things now when such egregious errors are pointed out? bill w</div></div><br class=""><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Mar 27, 2023 at 10:01 AM spike jones via extropy-chat <<a href="mailto:extropy-chat@lists.extropy.org" class="">extropy-chat@lists.extropy.org</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br class="">
<br class="">
-----Original Message-----<br class="">
From: extropy-chat <<a href="mailto:extropy-chat-bounces@lists.extropy.org" target="_blank" class="">extropy-chat-bounces@lists.extropy.org</a>> On Behalf Of<br class="">
BillK via extropy-chat<br class="">
Sent: Monday, 27 March, 2023 7:47 AM<br class="">
To: Extropy Chat <<a href="mailto:extropy-chat@lists.extropy.org" target="_blank" class="">extropy-chat@lists.extropy.org</a>><br class="">
Cc: BillK <<a href="mailto:pharos@gmail.com" target="_blank" class="">pharos@gmail.com</a>><br class="">
Subject: Re: [ExI] The Automathician<br class="">
<br class="">
On Mon, 27 Mar 2023 at 15:21, <<a href="mailto:spike@rainier66.com" target="_blank" class="">spike@rainier66.com</a>> wrote:<br class="">
><br class="">
<snip><br class="">
><br class="">
> ... google-glass style retinal painters (whatever happened to those<br class="">
things? (did they go out of style? (why?))) or go audio and talk into the<br class="">
ear.<br class="">
><br class="">
> spike<br class="">
>---------------------------------------<br class="">
<br class="">
<br class="">
Google has officially given up on Glass specs.<br class="">
<<a href="https://www.cnbc.com/2023/03/15/google-discontinues-google-glass-enterprise-end-to-early-ar-project.html" rel="noreferrer" target="_blank" class="">https://www.cnbc.com/2023/03/15/google-discontinues-google-glass-enterprise<br class="">
-end-to-early-ar-project.html</a>><br class="">
Quote:<br class="">
Mar 15 2023 Kif Leswing@kifleswing<br class="">
<br class="">
>...Google has stopped selling its Glass Enterprise smart glasses, the<br class="">
company announced on Wednesday on its website.<br class="">
The move is the end of the line for one of the first and most recognized<br class="">
smart glasses product lines from a tech company.<br class="">
Google will also stop supporting its software in September, the company<br class="">
said.<br class="">
---------------<br class="">
<br class="">
>...But that is because better devices are in the pipeline from Meta, Apple,<br class="">
Microsoft and Google itself.<br class="">
<br class="">
BillK<br class="">
<br class="">
_______________________________________________<br class="">
<br class="">
<br class="">
<br class="">
<br class="">
<br class="">
Thx BillK, but I don't understand. Better devices are in the pipeline but<br class="">
what if we need something like this now? Where do we go? If they don't<br class="">
support the software, do the old devices still work? So I could look for<br class="">
one on eBay and such? The other products are not here yet ja? If all I<br class="">
need is text only, wouldn't the Glass work fine for that? ChatGPT gives<br class="">
back only text, so I don't need fancy schmancy anything.<br class="">
<br class="">
spike<br class="">
<br class="">
_______________________________________________<br class="">
extropy-chat mailing list<br class="">
<a href="mailto:extropy-chat@lists.extropy.org" target="_blank" class="">extropy-chat@lists.extropy.org</a><br class="">
<a href="http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat" rel="noreferrer" target="_blank" class="">http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat</a><br class="">
</blockquote></div>
_______________________________________________<br class="">extropy-chat mailing list<br class=""><a href="mailto:extropy-chat@lists.extropy.org" class="">extropy-chat@lists.extropy.org</a><br class="">http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat<br class=""></div></blockquote></div><br class=""></body></html>