Wildroot

Search

194 posts · best match first · index holds 125,301 posts · last 36 hours · 0.69 s

Best match combines word and meaning matches. Phrases, hashtags, accounts and websites guide which posts fit; timely queries also favor recent posts. Match labels describe why a post appears, not its quality or accuracy.

Show newest first

  2. @Jose_A_Alonso@mathstodon.xyzMastodon

    AIProver: agentic auto-formalization of mathematical research via certificate-driven evolving harness. ~ Prithwish Jana et als. arxiv.org/abs/2610.05367v1 #LeanProver #ITP #AI4Math

    arxiv.org AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness

    Has the hashtagAI
    Read post · Mastodon
  3. @sxa.fosstodon.org.ap.brid.gyBluesky

    “It is now the case that AI can output mathematical arguments in situations without the human who prompted it being able to understand the arguments, verify them, or take responsibility for them,”" https://www.theguardian.com/technology/2026/oct/07/openai-mathematical-findings-concerns #AI #maths

    theguardian.com OpenAI’s release of mathematical findings draws concerns from experts

    Same subject
    Read post · Bluesky
  5. @sxa@fosstodon.orgMastodon

    “It is now the case that AI can output mathematical arguments in situations without the human who prompted it being able to understand the arguments, verify them, or take responsibility for them,”" “The use of proprietary internal models by AI labs to do mathematical research risks creating a two-tier system where labs outrun the rest of the field, effectively alienating the mathematical community from its own discipline,” theguardian.com/technology/202… #AI #maths

    theguardian.com OpenAI’s release of mathematical findings draws concerns from experts

    Same subjectAI
    Read post · Mastodon
  8. @leaskyd.bsky.socialBluesky

    ‘Hostile takeover’: Mathematicians reckon with an AI revolution www.thetimes.com/article/dd2b...

    thetimes.com ‘Hostile takeover’: Mathematicians reckon with an AI revolution

    Same subject
    Read post · Bluesky
  11. @kzzprr.bsky.socialBluesky

    Omer Reingold paints a remarkable picture of current feelings of professional mathematicians & of the scale of the advance that the 400+ new math proofs by openai represent. Everyone accepted AI magic when it was chess, go & protein folding. Math is more scary & alien. scottaaronson.blog?p=10169

    Same subjectAI
    Read post · Bluesky
  12. @adamfrank4.bsky.socialBluesky

    Mathematics exists entirely within a domain governed by the formal rules of logic. It was always going to be susceptible to machines good at application of formal rules. But the rest of science lives in the very real, very messy very physical world. www.everymansuniverse.com/p/what-does-...

    everymansuniverse.com What Does AI Solving Hard Math Problems Really Mean?

    Same subject
    Read post · Bluesky
  13. @gienieczko.comBluesky

    The failure of AI for math is exactly the same as for computer science. The point of math is not to produce solutions to problems, but to gain understanding of mathematics. Just as the point of CS is not to produce code, but to understand computing. Not surprising OpenAI doesn't grasp either.

    Same subjectAI
    Read post · Bluesky
  18. @GossiTheDog@cyberplace.socialMastodon

    futurism.com/artificial-intell…

    futurism.com Mathematicians Can't Make Sense of How OpenAI's Agents Solved One of the Toughest Math Problems Because the AI's "Proof" Is Borderline Incomprehensible

    Same subjectAI
    Read post · Mastodon
  19. @bruces.bsky.socialBluesky

    *Another anti-AI manifesto by mathematicians. "They also have a responsibility to ensure the continued flourishing of the discipline." *But what if it's no longer a "discipline." What if it's become "a button you push." leidendeclaration.ai

    leidendeclaration.ai Leiden Declaration on Artificial Intelligence and Mathematics

    Same subjectAI
    Read post · Bluesky

Search looks through the last 36 hours of public posts for your words, "exact phrases", #hashtags, @handles and websites, and also finds posts about the same thing by meaning. New posts join about every 10 minutes. We only include posts whose authors allow logged-out viewing (Bluesky) or search (Mastodon, indexable accounts), and we re-check Bluesky authors each time we show a page. Likes and follower counts never decide the order. For meaning matches, query text is turned into a fingerprint on Wildroot’s own server (EmbeddingGemma-300M); it is never sent to another service. Wildroot does not save query text to disk. Looking for posts like one you have? Similar posts. How to opt out.