Call for Proposals: Market Shaping AI

We invite proposals for Market Shaping AI, focusing on formal verification for AI hardware and computation to ensure safety.

Objective

Submit innovative ideas that integrate formal verification into AI systems, addressing both technical and societal impacts.

Prize Competition

A prize pool will reward the most promising proposals.

Submission Guidelines

Proposals should include:

• Description of the formal verification mechanism.
• Impact analysis on AI safety.
• Implementation and scalability considerations.

Evaluation Criteria

• Innovation: Originality of the mechanism.
• Feasibility: Practicality and real-world application.
• Impact: Contribution to AI safety.
• Scalability: Adaptability across AI systems.

Timeline

• Opens: April 15, 2025
• Deadline: June 15, 2025
• Winners Announced: July 30, 2025

Conclusion

Join us in shaping AI safety through formal verification. Submit your proposal on our official challenge page.

---