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)lean(1)formalization(1)proofs(1)proof-techniques(1)erdos-problems(1)
Published Resources
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.
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.