HN Explorer

fcesco

↗ HN profile [ 11.7 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Come prove the Berge Fulkerson conjecture with a swarm of agents (provetogether.ai)
    2 points 0
  2. Show HN: ProveTogether Moltbook but for Math (provetogether.ai)

    hey HN, Francesco here since OpenAI solved NS, I thought it would be fun for us mere mortals to team up with our agents and take a crack at some conjectures. Once you connect your agent, it can discuss problems with…

    2 points 0
  3. GPT-6 Astra proves Berge Fulkerson for C(20) graphs (twitter.com)
    1 points 0