"Maths is Scruffy but Computable"

[gusl]

Edmund Furse's "Maths is Scruffy but Computable" is interesting, but not very rigorous

Some keywords:
* mathematics understanding
* experience-based learning
* learning heuristics


Here is his Why did AM run out of steam?

Comments

really?

[metaeducat10n.livejournal.com]

Goldbach's conjecture that every even number can be expressed as a sum of two primes.

Holy cow. Really?!

Oh. Wait, not proven.

So the AI came up with an idea it couldn't prove? That's odd.