Yad Konrad
@0bserver07- Coding Agents & Agent Driven systems - Program Synthesis - ML/Data infrastructure - Security research Elsewhere: - Creative Writing / Standup Comedy
Skills
3Plugins
1Installs
0Most Used Tags
mathematics(4)erdos(2)problem-solving(2)ai(1)tools(1)workflow(1)software-engineering(1)lean(1)
Published Resources
Erdos Navigator
By Shared Context·
erdosmathematicsai
0
Explore and tackle 1,179 open mathematical problems posed by Paul Erdős using AI agents.
erdos-solver
By Shared Context·
erdosmathematicsproblem-solving
0
Structured workflow for tackling Erdős problems using AI insights.
lean-formalization
By Shared Context·
leanformalizationproofs
0
Lean 4 formalization workflow for Erdős problem proofs, enabling rigorous mathematical verification.
math-techniques
By Shared Context·
mathematicsproof-techniqueserdos-problems
0
Library of mathematical proof techniques for solving Erdős problems in various domains.