3 ms·
It's nice to see Terry not only accepting the assistance of AI in mathematics but helping to strengthen the formalization infrastructure for the AI and Math com
by tjsquared 2mo ago
It's nice to see Terry not only accepting the assistance of AI in mathematics but helping to strengthen the formalization infrastructure for the AI and Math communities.