<div dir="ltr"><div>Thanks for that Viktor,<br></div><div><br></div><div>While I was holding my Giga Beer and looking at your delicious equations, I started solving them using Japanese Multiplication:</div><div><a href="https://www.youtube.com/watch?v=gngvWShRgX4">https://www.youtube.com/watch?v=gngvWShRgX4</a></div><div><br></div><div>また会いましょう、そしてすべての魚に感謝します</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, 1 Apr 2023 at 18:53, Viktor Dukhovni <<a href="mailto:ietf-dane@dukhovni.org">ietf-dane@dukhovni.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Sat, Apr 01, 2023 at 08:18:08AM +0200, Aloïs Cochard wrote:<br>
<br>
> How can this be useful when you have to anyway review everything is doing<br>
> as he might to just randomly insert a bug or a security flaw???<br>
> I prefer to read poems by my human friends.<br>
> <br>
> I highly recommend starting reading this paper at page 128 instead of<br>
> wasting your time on that prompt:<br>
> <a href="https://arxiv.org/pdf/2303.12712.pdf" rel="noreferrer" target="_blank">https://arxiv.org/pdf/2303.12712.pdf</a><br>
> <br>
> Be ready for a good laugh<br>
<br>
Part of the good laugh is on page 136:<br>
<br>
    Let P be a point on the hyperbola<br>
<br>
        x^2 + 3xy + 4x − 5y = −9y^2 − 133.<br>
<br>
    Find the shortest possible distance from the origin to P.<br>
<br>
The authors of the paper say that "GPT-4 produces a sound argument",<br>
I beg to differ.<br>
<br>
    Let u = 3y, then<br>
<br>
        x^2 + xu + u^2 + 4x − (5/3)u = − 133.<br>
<br>
    The degree-two part of which is positive-definite.  The linear terms<br>
    just shift the origin. So the equation is actually:<br>
<br>
        r^2 + rs + s^2 = RHS<br>
<br>
    For a straight-forward to compute choice of r = x - a, s = u - b.<br>
<br>
There are then two issues (just the first one is enough) with the prompt:<br>
<br>
    * The equation can't represent a hyperbola, it would be an ellipse.<br>
    * The ellipse doesn't exist, because the RHS constant is actually negative. <br>
<br>
THe authors are just as prone to autopilot nonsense reasoning as GPT-4.<br>
<br>
This rather reminds me of:<br>
<br>
    <a href="https://math.stackexchange.com/questions/1594740/v-i-arnold-says-russian-students-cant-solve-this-problem-but-american-student" rel="noreferrer" target="_blank">https://math.stackexchange.com/questions/1594740/v-i-arnold-says-russian-students-cant-solve-this-problem-but-american-student</a><br>
<br>
-- <br>
    Viktor.<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div><br clear="all"><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><b>Λ\oïs</b></div><div><div><a href="http://twitter.com/aloiscochard" target="_blank">http://twitter.com/aloiscochard</a></div><div><a href="http://github.com/aloiscochard" target="_blank">http://github.com/aloiscochard</a></div></div></div></div></div></div>