News for hackers. Stuff that matters.
Re:“Math 2.0” will need to value mathematical progress more ... by Retr0id on Thursday October 08, 2026 @03:39AM (#50002893)
Even if you somehow have a 100% correct AI, it's not useful unless we can understand and internalise (and communicate) its results.
Re:“Math 2.0” will need to value mathematical progress more ... by colordrops on Thursday October 08, 2026 @03:43AM (#50002927)
Who is this "we" you speak of? The professional mathematician community? Were pre-AI results useful outside of this community of people who could understand them?
Re:“Math 2.0” will need to value mathematical progress more ... by hodgehog11 on Thursday October 08, 2026 @03:55AM (#50003019)
Yes. Most probably do not understand the notation involved in, and the statement of, the Lindeberg-Levy Central Limit Theorem. But every scientist uses this theorem in one way or another. These ideas have a way of trickling down because to people who work thanklessly to do so.
Re:“Math 2.0” will need to value mathematical progress more ... by dofm on Thursday October 08, 2026 @03:53AM (#50003002)
Something about this sentence makes me think about that Rob Auton bit, that before there were mobile phones, nobody had any reason to tell someone else that they were on a bus.
Re:“Math 2.0” will need to value mathematical progress more ... by zer00eyz on Thursday October 08, 2026 @07:25AM (#50004506)
Before mobile phones you never called someone and asked "where are you" because a phone was tied to a location...