News for hackers. Stuff that matters.

A comment on Solving and explaining university math problems with Deep Learning. Parent comment

Re:Solving and explaining university math problems with Deep... by psyklic on Monday August 08, 2022 @02:23PM (#32389083)
The paper states it is "incapable of solving ... questions with solutions that require proofs."
[ Parent | on HN ]
Re:Solving and explaining university math problems with Deep... by radford-neal on Monday August 08, 2022 @02:25PM (#32389113)
Then they shouldn't apply it to questions that require proofs, and then claim that the system solves them when it doesn't.
[ Parent | on HN ]