1. Forum
  2. Usenet
  3. COMP.LANG.PROLOG

  • FYI, a snapshot of the open math copilot race

    From Mild Shock@21:1/5 to All on Tue May 20 07:54:55 2025
    From AIMO Competitions to Math Copilots for Research
    Simon Frieder | Datasets for Math
    https://www.youtube.com/watch?v=XUp3IM66AQA

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)