Type a name, or just describe what you need. Results blend keyword and meaning-based search. 2 matches, each with an EU availability status.
Research · OpenAI
OpenAI's announced AI-produced results: a local smoothing proof, an ETH refutation and a QCD result, with Lean verification.
Research · Vals AI
Vals AI report on AI agents using DFT simulations to find two room-temperature antiferromagnetic semiconductor candidates.
