home.social

#mathproofs — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #mathproofs, aggregated by home.social.

  1. Hacker News @[email protected] ·

    GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]

    cdn.openai.com/pdf/04d1d1e4-bc

    Comments: news.ycombinator.com/item?id=4

    #HackerNews #GPT5.6 #CycleDoubleCover #Conjecture #AIResearch #MathProofs

    #hackernews #gpt5 #cycledoublecover #conjecture #airesearch #mathproofs
  2. Hacker News @[email protected] ·

    GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]

    cdn.openai.com/pdf/04d1d1e4-bc

    Comments: news.ycombinator.com/item?id=4

    #HackerNews #GPT5.6 #CycleDoubleCover #Conjecture #AIResearch #MathProofs

    #hackernews #gpt5 #cycledoublecover #conjecture #airesearch #mathproofs
  3. Hacker News @[email protected] ·

    GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]

    cdn.openai.com/pdf/04d1d1e4-bc

    Comments: news.ycombinator.com/item?id=4

    #HackerNews #GPT5.6 #CycleDoubleCover #Conjecture #AIResearch #MathProofs

    #hackernews #gpt5 #cycledoublecover #conjecture #airesearch #mathproofs
  4. Hacker News @[email protected] ·

    GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]

    cdn.openai.com/pdf/04d1d1e4-bc

    Comments: news.ycombinator.com/item?id=4

    #HackerNews #GPT5.6 #CycleDoubleCover #Conjecture #AIResearch #MathProofs

    #mathproofs #airesearch #conjecture #cycledoublecover #gpt5 #hackernews
  5. Hacker News @[email protected] ·

    GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]

    cdn.openai.com/pdf/04d1d1e4-bc

    Comments: news.ycombinator.com/item?id=4

    #HackerNews #GPT5.6 #CycleDoubleCover #Conjecture #AIResearch #MathProofs

    #hackernews #gpt5 #cycledoublecover #conjecture #airesearch #mathproofs
  6. Liberty and Justice For All @[email protected] ·

    Another day of signing into mastodon only to be greeted by yet another of Terence Tao's incredibly high quality updates on the usage of LLMs in generating math proofs.

    It is just wonderful.

    #terencetao #math #mathproofs

    #terencetao #math #mathproofs
  7. Liberty and Justice For All @[email protected] ·

    Another day of signing into mastodon only to be greeted by yet another of Terence Tao's incredibly high quality updates on the usage of LLMs in generating math proofs.

    It is just wonderful.

    #terencetao #math #mathproofs

    #terencetao #math #mathproofs