The repo includes proofs, prompts, Python experiments, and Lean proofs
FinanceYF5 · x · 2026-07-26
He says the materials have now been published in a repository.
The repo includes proof PDFs, LaTeX sources, and the prompts used for each problem. Some problems also include Python files for computations, and two already have Lean formalizations while the rest are still in progress.
More from coding & agent
- Built with Codex, a parameterized cat generator is now open source — ring_hyacinth · 2026-07-26
- LLM Zoomcamp demo traces a Pydantic AI agent into DuckDB as 24 tables — Al_Grigor · 2026-07-26
- Combined MCP server adds Redshift querying and S3 Markdown semantic search — modelcontextprotocol · 2026-07-26
- OneQAZ launches an MCP connector for live crypto and stock market intelligence — modelcontextprotocol · 2026-07-26
- CREAO schedules a July 30 panel on getting AI from demo to production — thetripathi58 · 2026-07-26
- An AI agent clears Slay the Spire 2 on Ascension 8 and opens its harness and trajectories — bdsqlsz · 2026-07-26