“Math 2.0” will need to value mathematical progress more holistically

Re:“Math 2.0” will need to value mathematical progress more ... by jansport123 on Thursday October 08, 2026 @10:16AM (#50006085)

LLM's are very outcome oriented and i think this is where your observation comes from. You tell LLM you want something, it doesn't even question the premise and just starts calculating 100 different ways to get there. LLM's have knowledge but lack wisdom.

[ Parent | on HN ]

Re:“Math 2.0” will need to value mathematical progress more ... by kalleboo on Thursday October 08, 2026 @12:14PM (#50007679)

Thanks to improvements in the system prompts/harnesses/RL, the LLMs have gotten way better at questioning the premise and telling you to try something else. It's a huge difference from just 6 months ago.

Nowhere near the level of a suitably-bearded human, but they've gotten pretty good at stopping a lot of bad ideas.

[ Parent | on HN ]

Re:“Math 2.0” will need to value mathematical progress more ... by rhelz on Thursday October 08, 2026 @10:56AM (#50006577)

Have you ever asked it to?

[ Parent | on HN ]

Re:“Math 2.0” will need to value mathematical progress more ... by Obscurity4340 on Thursday October 08, 2026 @04:37PM (#50011860)

They're very Declarative that way

[ Parent | on HN ]