Automated Theory Exploration in Coq using Haskell's QuickSpec
The Ramanujan Machine is a brute force, algorithmic approach to finding conjectures for fundamental constants of mathematics.
A source-linked index of open math problems solved, refuted, or settled with AI — tracking the July 2026 wave. Verification-status badges, Lean/DRAT certificates, priority caveats.
C.Algebra System derived fron own Author works.
This tool proves that specific exponent patterns cannot correspond to integer Collatz cycles. Unlike testing individual integers, we enumerate the pattern space — proving structural impossibility.
Computational evidence isolating the log(n) spreadness artifact in the Erdős k=3 Sunflower Conjecture via bitmask-accelerated Simulated Annealing.
Showcase of some properties of the collatz conjecture 3N+1
Repositorio que explora conjeturas matemáticas icónicas a través de simulaciones y códigos en Python.
The Collatz Conjecture in multiple languages
Advanced Collatz's conjecture toolkit with power-of-2 validation, negative cycle detection and comprehensive logging. Built for performance and analysis.
Code relating to the Bateman-Horn Conjecture
Growing public index of curated EULER mathematical research outcomes
A curated, open catalogue of 100 famous unsolved math problems — and a space to propose ideas and approaches. Contributions welcome.
SquareSymmetric Primes Conjecture - A conjecture about prime pairs symmetric around squares
A Lean 4 structural encoding of the Beal Conjecture using the 12-primitive Imscribing Grammar.
世界著名数学猜想的精确陈述与通俗解释 | Famous mathematical conjectures, precisely stated and simply explained
Hunts counterexamples to number-theory conjectures and publishes seeded, replayable search ledgers.
This is my first shiny application. Plots the collatz conjecture movement for an input from the user
To associate your repository with the conjectures topic, visit your repo's landing page and select "manage topics."