← 최신 프로덕트

Maith

open math research with AI. Maith is a research workspace for using AI to explore open mathematics—without confusing plausible text, numerical evidence, or symbolic output with proof. If AI got lucky or not, AI is surely going to assist in solving serious math problems.

오픈소스

8 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Ramanujan

    github.com

    Multi-Model Agent for Research in Computational Maths

    Hacker News5점

  2. Social and context-aware AI platform to do math

    prooftree.ai

    So, when you are talking to an AI about a proof at 3 am, and you need a human expert looking at it, or a discussion around it, like you do on StackExchange, this is it!

    Hacker News5점

  3. Open Source Version of AI "Math Notes" from Apple WWDC

    github.com

    Open Source AI Math Notes

    Hacker News13점

  4. Maitai (YC S24)

    trymaitai.ai

    Self-Optimizing LLM Platform

    Hacker News149점

  5. Nuanced

    nuanced.dev

    Help AI understand code structure, not just text

    Hacker News34점