1. Forum
  2. Newsgroups
  3. comp.lang.prolog

  • FYI, a snapshot of the open math copilot race

    From Mild Shock@janburse@fastmail.fm to comp.lang.prolog on Tue May 20 07:54:55 2025
    From Newsgroup: comp.lang.prolog


    From AIMO Competitions to Math Copilots for Research
    Simon Frieder | Datasets for Math
    https://www.youtube.com/watch?v=XUp3IM66AQA
    --- Synchronet 3.21a-Linux NewsLink 1.2