Re:“Math 2.0” will need to value mathematical progress more ...
by adastra22 on Saturday October 10, 2026 @10:19PM
(#50039194)
BACON in the 1980’s showed using AI techniques to analyze geocentric astronomical observations, and it came up with the heliocentric model and Kepler’s laws on its own. So no, this very application has been demonstrated.
[ Parent
| on HN ]
There are no comments on this comment yet.