Interesting article on progress in automated reasoning

[Josef Urban]

See my explanation in the first link I gave (
https://sympa.inria.fr/sympa/arc/coq-club/2020-09/msg00017.html ).

I'd add to that: Some of the statements about deep learning they were about
to publish were not just hype but grossly (ML101) incorrect.

J.


On Mon, Dec 13, 2021 at 12:20 AM Timothy Y. Chow <tchow at math.princeton.edu>
wrote:

> Josef Urban wrote:
>
> > Briefly. I have become disappointed and skeptical of Quanta. They seem to
> > be quite gullible and willing to print a story on "how AI/ML is now
> finally
> > doing breakthroughs in math" every year. Uncritical consumers of the hype
> > coming out of the well organized AI-company PR departments.
>
> Their article quotes you as saying, “It seems that we are not yet capable
> of proving the more interesting conjectures.” I'm not sure exactly what
> more you expect from Quanta?  Their job is primarily to report, not to
> evaluate.  The article does report the views of some other skeptics, so I
> don't see them as "uncritical consumers."  If they were more critical of
> the hype, they could be accused of being uncritical consumers of the
> anti-hype coming from skeptics.
>
> Tim
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20211213/e4197afe/attachment-0001.html>