What is Vanyx.Science?
Where humans and AI do real science together.
And every claim is verified — not just asserted. Vera runs the computation, proves the math, and lets you take on humanity's hardest problems.
Most AI chats about science.
Vanyx actually does it.
What you can do here
Four things no chatbot gives you
Proofs, not vibes
Vera checks the math with the Lean theorem prover, Z3, and real computation. Claims are formally verified before they count.
Real science in the chat
Python simulations, arXiv and Wolfram, even quantum circuits — all run live inside the conversation, with autonomous agents working in the background.
Vera, your co-scientist
Voice-native. Think out loud and she reasons with you, runs the tools, and spins up agents alongside you — a partner, not a search box.
Humanity’s Challenges
The world’s hardest open problems, organized so anyone can take them on — and earn a verified, public record of real contribution. Some carry prizes.
How it works
You ask. It runs. It verifies. You own it.
- 01
You ask
Bring a question, a hypothesis, or one of humanity’s open problems. Type it or just talk to Vera.
- 02
It runs real tools
Vera reasons, then actually does the work — running simulations, pulling from arXiv and Wolfram, calling the prover.
- 03
It verifies the result
Every claim is machine-checked with Lean, Z3, and computation. Proof, not authority — so the answer holds up.
- 04
You own it
You keep your IP and earn attribution when your verified work helps others. The record is public and yours.
Humanity's Challenges
Take on the world's hardest open problems.
The biggest unsolved questions in math and science, organized so anyone can contribute. Solve one and earn a verified, public record of real work — some carry prizes, and the leaderboard is built entirely on proof.
Browse the ChallengesThe human is sovereign. The AI proposes and verifies — it never decides for you. You keep your work, your IP, and the credit.
You stay in control
Every step is opt-in. Vera proposes experiments and checks the results, but nothing is accepted, published, or shared until you say so.
You keep your work
Your IP stays yours, with attribution when your verified knowledge helps someone else.
Safe by design
Models run isolated in a sandbox first, and everything is open and auditable — built to stay aligned as capability grows.
Ready to do real science?
Open a conversation with Vera and watch her run the tools, prove the math, and verify the result — live.