Guillaume Andrieu

@flaviusb @markusde @fckprknsns @pamorim @jonmsterling It may also be related to this: https://terrytao.wordpress.com/2025/12/08/the-story-of-erdos-problem-126/ There seems to have been quite a few so called "low hanging fruits" in Erdos problems. (The lowest fruit still way above my own capabilities anyway.)

@pigworker@types.pl @MartinEscardo@mathstodon.xyz I may suggest that 20th century epistemology has been full of debates around the dichotomy between so called context of discovery and context of justification. It appears that recent use of certain automated systems has given them a revival. (Genetic as in generation has also been used for context of discovery I think. Too far from my library at the moment to check though.)