"We have no idea what’s in our libraries, even when we restrict our attention to papers with hundreds of citations" -- depressing [or encouraging, I guess] how true this is.
Sorry, but it seems your agent simply found the Alexeev & Mixon paper which is discussed here... (in the link you provided, type the "reasoning" tab and search for these names).
Absolutely amazing.
"We have no idea what’s in our libraries, even when we restrict our attention to papers with hundreds of citations" -- depressing [or encouraging, I guess] how true this is.
Very interesting! I used one of our internal agents at FH to look for relevant literature for this problem, and we found the same 1947 Hall paper:
https://platform.futurehouse.org/trajectories/62aeb599-611f-4a09-9210-f59b15fb5bee
(we'll be releasing this agent for public use soon)
Sorry, but it seems your agent simply found the Alexeev & Mixon paper which is discussed here... (in the link you provided, type the "reasoning" tab and search for these names).