domotorp

@robinhouston https://www.math.toronto.edu/~drorbn/projects/ArithGeom/

@tao@mathstodon.xyz In hindsight, the new OpenAI breakthrough coming out exactly one week after this post is probably not a coincidence.

@philbarker @christianp This one somewhat justifiably precedes it: https://oeis.org/A000004

@tao Do you mean problem # 1196?

@joshmillard@mastodon.social This was problem 4 (out of 5) on the 2016/17 Hungarian Varga Tamás Mathematical Competition for 7th graders (12-13-year-olds).

@tao Is there any trustworthy evaluation/commentary on the claimed AI solutions anywhere?

@tao@mathstodon.xyz I think a better metaphor would be flight navigators. As much as I would love to picture myself as a heroic hunter or a masterchef, research math is different, because few people see it daily, while everybody eats and enjoys food, not to mention that there is no tech involved. Flight navigators were experts in determining position, needed on all flights. After GPS, nobody needed them anymore, so they had to look for other jobs. Research math is a similar skill: it is essential, but affects the lives of most people indirectly, so most of us might end up like flight navigators.