News for hackers. Stuff that matters.

A comment on “Math 2.0” will need to value mathematical progress more holistically. Parent comment

Re:“Math 2.0” will need to value mathematical progress more ... by mrheosuper on Thursday October 08, 2026 @02:23AM (#50002401)
Why not asking another chatbot to verify, like what we are doing with coding ?
[ Parent | on HN ]
Re:“Math 2.0” will need to value mathematical progress more ... by kadoban on Thursday October 08, 2026 @02:25AM (#50002416)
That's not the hard part. The hard part still requires humans (and/or _maybe_ a bunch of tokens) and a lot of work.
[ Parent | on HN ]
Re:“Math 2.0” will need to value mathematical progress more ... by iterance on Thursday October 08, 2026 @02:46AM (#50002526)
And then what?
[ Parent | on HN ]