Nvidia patents using GPUs and AI to solve logic puzzles
Nvidia describes a method that converts logic puzzles into a format that machine learning models can understand. The system trains an AI model on these puzzles and uses the results to help traditional software find solutions faster.
In the filing’s own words
The disclosed method for solving a Boolean satisfiability (SAT) problem includes receiving a SAT problem, generating, based on the SAT problem, a SAT problem matrix, performing, based on the SAT problem matrix, one or more operations to train an untrained machine learning model to generate a trained machine learning model and gradient data, wherein the trained machine learning model comprises a trained partial assignment matrix, and generating, based on the trained partial assignment matrix and the gradient data and using one or more SAT solvers, a SAT solver output.
What exactly they claim (claim 1)
1. A computer-implemented method for solving a Boolean satisfiability (SAT) problem, the method comprising: receiving a SAT problem; generating, based on the SAT problem, a SAT problem matrix; performing, based on the SAT problem matrix, one or more operations to train an untrained machine learning model to generate a trained machine learning model and gradient data, wherein the trained machine learning model comprises a trained partial assignment matrix; and generating, based on the trained partial assignment matrix and the gradient data and using one or more SAT solvers, a SAT solver output.
Facts
- Company
- Nvidia (NVIDIA CORPORATION)
- Official title
- SOLVING BOOLEAN SATISFIABILITY PROBLEMS USING A GPU-CPU HYBRID SYSTEM
- Publication number
- US20260329961A1
- Application number
- 19282951
- Filed
- Jul 28, 2025
- Published
- Oct 22, 2026
- Inventors
- 3
- Claims
- 20
Classified under
G06F 17/11 Physics & computingG06N 20/00 Physics & computingMore from Nvidia in AI & software
- Nvidia patents AI coach that analyzes your gameplay to suggest strategies Oct 13, 2026
- Nvidia patents AI system that writes and voices character conversations Sep 10, 2026
- Nvidia patents system that uses AI to find bugs in game videos Sep 17, 2026
- Nvidia patents AI method to make digital characters move realistically Sep 8, 2026
- Nvidia patents AI system that builds image generators from text prompts Sep 15, 2026
Summaries are simplified from the filing’s own abstract and first claim. A patent filing is not a product announcement.
Patent data and drawings: U.S. Patent and Trademark Office (USPTO). Nebula is not affiliated with or endorsed by the USPTO.