Submissions from axiommath.ai

		Lattice Triangles Are Rare (axiommath.ai)
		29 points by skogstokig 41 days ago \| past \| 4 comments
		Axplorer: Democratizing the search for interesting mathematical constructions (axiommath.ai)
		1 point by T-A 3 months ago \| past
		We're excited to announce that AXLE is switching from Lean to Rocq (axiommath.ai)
		3 points by practal 3 months ago \| past \| 1 comment
		AxiomProver Solves All Problems at Putnam 2025: Proof Release and Commentary (axiommath.ai)
		2 points by logicchains 6 months ago \| past
		From Seeing Why to Checking Everything (axiommath.ai)
		1 point by tzury 6 months ago \| past
		Building the Reasoning Engine at Axiom (axiommath.ai)
		2 points by measurablefunc 9 months ago \| past \| 1 comment