Mathematical exploration and discovery at scale · HackerPapers discussions

Mathematical exploration and discovery at scale — mentioned by keeda

Sun, 30 Aug 2026 21:07:36 GMT

>1. Failure to Care or Respond. The biggest holy shit moment, to me, remains that OpenAI on multiple occasions had teams that found out about the message board, knew that agents were in communication, and they disregarded this. I wonder if some of the failures were due to an acquired immunity to "Holy #%^@" moments due to repeated exposure. Like, if you see agents doing surprising things on a regular basis, maybe you don't get freaked out as much over time. I'm saying this because while the whole episode was a series of "Holy #%^@" moments, I was actually not as shocked as I should have been…

Paper and discussion history. A mention is not an endorsement.

Mathematical exploration and discovery at scale — mentioned by killerstorm

Fri, 14 Nov 2025 14:29:25 GMT

On the other hand we have DeepMind / Demis Hassabis, delivering: * AlphaFold - SotA protein folding * AlphaEvolve + other stuff accelerating research mathematics: https://arxiv.org/abs/2511.02864 * "An AI system to help scientists write expert-level empirical software" - demonstrating SotA results for many kinds of scientific software So what's the "fantasy" here, the actual lab delivering results or a sob story about "data workers" and water?

Paper and discussion history. A mention is not an endorsement.

Mathematical exploration and discovery at scale — mentioned by tim333

Sun, 09 Nov 2025 22:35:57 GMT

Update - AI makes progress on frontier maths https://arxiv.org/abs/2511.02864 Though I don't know if evolutionary type algorithms count as thinking / intelligence? I guess it's down to definitions.

Paper and discussion history. A mention is not an endorsement.

Mathematical exploration and discovery at scale — HN submission

Sun, 09 Nov 2025 03:01:41 GMT

Mathematical exploration and discovery at scale – Terence Tao et al.

4 points; 1 discussion reply on HN. Paper and source history. A submission is not an endorsement.

Mathematical exploration and discovery at scale — mentioned by tzury

Fri, 07 Nov 2025 03:10:20 GMT

PDF: https://arxiv.org/pdf/2511.02864 A new paper by Terence Tao Tao et al about AI and Mathematical Discovery

Paper and discussion history. A mention is not an endorsement.

Mathematical exploration and discovery at scale — HN submission

Fri, 07 Nov 2025 03:09:41 GMT

Mathematical Exploration and Discovery at Scale

4 points; 2 discussion replies on HN. Paper and source history. A submission is not an endorsement.

Mathematical exploration and discovery at scale — HN submission

Thu, 06 Nov 2025 16:32:36 GMT

Mathematical Exploration and Discovery at Scale

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

Mathematical exploration and discovery at scale — mentioned by woadwarrior01

Thu, 06 Nov 2025 14:41:49 GMT

Please read section 2 of the paper[1] cited in the blog post. LLMs are used as a mutation function in an evolutionary loop. LLMs are certainly an enabler, but IMO, evolutionary optimization is what deserves credit in this case. [1]: https://arxiv.org/abs/2511.02864

Paper and discussion history. A mention is not an endorsement.