ai-mathematics

Trusted AI mathematics workbench: ProblemContract to Attempt to verified proof/counterexample bundles with SymPy and Lean evidence gates.

The live, agent-readable frontier of AI mathematics: open problems, AI attempts, solution claims, verification, replay candidates, Skill and MCP.

Sherilyn AI: Your Super-Smart, Super-Fun Sidekick! 🤖✨ Need a buddy to chat with? 🗣️ A study pal to help you ace that test? 🤓 Sherilyn AI is here for all of it! I'm like a smart personal assistant, but, like, way cooler. 😎 I can answer your questions, help you learn new things, and even make you laugh (I'm pretty funny, ngl 💅)

Computer-assisted proof that the minimal superpermutation on six symbols has length 872. Machine-checked evidence ledger, adversarial audits, 15-second verification path. Preliminary.

Kernel-checked resolution of the last open case of the length-4 Wilf classification on inversion sequences (Hong–Li Conj. 20), 15 length-5 equivalences, and the SPI programme. Produced by an autonomous multi-agent loop; Lean 4 artifacts included.

Sherilyn AI: Your Super-Smart, Super-Fun Sidekick! 🤖✨ Need a buddy to chat with? 🗣️ A study pal to help you ace that test? 🤓 Sherilyn AI is here for all of it! I'm like a smart personal assistant, but, like, way cooler. 😎 I can answer your questions, help you learn new things, and even make you laugh (I'm pretty funny, ngl 💅)

A compositional theory that unifies the proof of unsolved problems, AI structure, medical control, and physical modeling using a single constructive function C(x). 単一の構成関数C(x)により、未解決問題、AI構造、医療制御、物理モデルを統一的に証明・構成する理論です。

Independent third-party dual-kernel verification of Claude/Anthropic's ζ two-thirds (67.2%) formalization. A proportion result, not RH.