First Proof is an effort to see whether LLMs can contribute meaningfully to pure mathematics research. The dust has settled on round one, and the results are surprising
  • Universal Monk@lemmy.dbzer0.comOPM
    2·
    16 days ago

    I love AI! Of course, instead of using any of the large commercial models that collect user data and hog resources, I’m using local models tailored to my machine. Dolphin-llama3:8b, gemma3:27b, Mistral, FLUX, etc.

    Cool shit is happening in AI these days, and all the haters are missing out. :)