Challenges

Develop algorithmic solutions to optimize computational tasks while addressing real-world challenges across scientific domains.

Showing 14 of 14 challenges

Satisfiability

ID: c001

On Mainnet

Solve Boolean formulas to determine variable assignments while ensuring logical consistency.

Vehicle Routing

ID: c002

On Mainnet

Plan vehicle routes to reduce travel distances and carbon emissions while satisfying delivery constraints.

Quadratic Knapsack

ID: c003

On Mainnet

Analyze gene clusters to identify genetic patterns and disease markers while improving accuracy.

Vector Search

ID: c004

On Mainnet

Search vector databases to identify nearest matches while maintaining distance thresholds.

Hypergraph Partitioning

ID: c005

On Mainnet

Optimize complex networks by partitioning hypergraphs to minimize connections and balance workloads.

Optimizer for NeuralNet Training

ID: c006

On Testnet

Develop advanced optimization algorithms to train neural networks more efficiently and achieve better convergence.

TIG

ZKP ░░▓░▒▒█ █▓▓░██▒▓█▒▒▒

ID: c007

In Development

ETA Q3 2025

TIG

Influence ░█░█▒██░░▒░▓

ID: c008

In Development

ETA Q4 2025

TIG

░▒▓ Decomposition

ID: c009

In Development

ETA Q4 2025

TIG

Energy ░█▓░▓█ ▒█▒▒██░▒░▒

ID: c010

In Development

ETA Q4 2025

TIG

█░░▒▒░▓▒ ░▒▓▒ Compression

ID: c0░▓▒

Proposed

ETA Q1 2026

TIG

Blackbox █▓▒░▓▓█▒▓

ID: c0▒█▓

Proposed

ETA Q1 2026

TIG

▒█▒ ░▓▒▒ Scheduling

ID: c0░█▒

Proposed

ETA Q1 2026

TIG

Linear █░███▒ ▓▒██▓▓

ID: c0▒░█

Proposed

ETA Q1 2026