Type a name, or just describe what you need. Results blend keyword and meaning-based search. 51 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.
OpenAI's announced AI-generated finite-time blowup result for Navier–Stokes, with a writeup and Lean formalization.
Research · MIT
MIT research showing a frontier LLM can read and write another neural network's raw weights without gradient descent.
Research · Google DeepMind
Gemini-powered evolutionary coding agent from Google DeepMind for algorithm and mathematical discovery.
OpenAI's reported math proofs and scientific discovery results produced by internal, unreleased models.
OpenAI repository of 700+ math manuscripts and Lean proofs generated by an unreleased internal model.
Model · DeepPrinciple
753B-parameter open-weights scientific-discovery model from DeepPrinciple, post-trained from GLM 5.3.
Research
Counterexamples to Grad's conjecture in plasma physics, with a Lean 4 formalization of the main result.
Model · Paradigma
1B-parameter model from Paradigma specialized for hard competitive math problems, released with code and weights.
OpenAI, PerturbAI and Scripps Research run thousands of GPT-Rosalind agents in parallel to analyze brain-cell gene data.
Model · Hugging Face
Open 14.8B language model from Hugging Face that reads raw DNA in chat and answers in English, built on Qwen3-14B.
Research · Google
Google Quantum AI research demonstrating magic state cultivation for error-corrected computing on its Willow chip.
Model · Google DeepMind
Plant genomic language model from Living Models, trained on 320 plant species and paired with Gemma 4 for crop genetics.
Research · Vals AI
Vals AI report on AI agents using DFT simulations to find two room-temperature antiferromagnetic semiconductor candidates.
Google DeepMind diffusion pipeline for de novo enzyme design by motif scaffolding, with open code and downloadable weights.
Model · Allen Institute for AI
Open 8B Qwen3-based model from Ai2 that turns a prompt and papers into a cited research report in one pass.
Independent write-up of a 1809 Napoleonic cipher letter to General Marmont, decrypted with GPT-6 Astra.
Research · Anthropic
Anthropic research result: Claude agents found a CRISPR-like array-associated reverse transcriptase system in phage DNA.
Model · Nvidia
Nvidia's 332M-parameter AI model emulating the SCREAM global storm-resolving atmosphere simulation at ~4.9 km, 10-minute steps.
Research · DeepSeek
DeepSeek research on a separate large conditional memory module for static facts, held in server RAM instead of GPU memory.
Searchable database of AlphaGenome predicted effects for every possible single-nucleotide change in the human genome.
Research · Google Research
Synaptic-resolution wiring map of a male fruit fly's brain and nervous system, reconstructed from EM data with AI.
Google DeepMind AI weather forecasting model producing hourly global forecasts at up to 5 km resolution.
Agent · Google Research
Google Research agent that turns a natural-language Earth-science question into a data-driven prediction.
