Nebius said Logical Intelligence uses its infrastructure to develop AI reasoning systems. The company works on mathematical approaches to machine reasoning. Nebius named it in a May 2026 shareholder letter as part of its AI research customer base.
Describes Logical Intelligence developing AI reasoning systems on Nebius. This is the SEC-hosted Q1 2026 letter.13 May 2026 · SEC / Nebius · Web pageDescribes Logical Intelligence developing AI reasoning systems on Nebius. This is the SEC-hosted Q1 2026 letter.
Logical Intelligence develops AI reasoning models and formal verification software for researchers and engineers working on critical systems. Its Kona 1.0 model uses energy-based reasoning to find solutions within defined constraints, targeting applications in energy infrastructure, advanced manufacturing, semiconductor verification and robotics. Its Aleph Prover automates mathematical proofs and software verification, producing machine-checkable proofs to help establish code correctness. The company also develops verified code generation tools for software whose reliability must be demonstrated before deployment.
Logical Intelligence announces a topology research milestone
Logical Intelligence announced that Slava Krushkal, working with Michael Freedman’s Discovery Team, proved certain Sturmian groups are “good” for four-dimensional surgery theory. The company described human-led mathematical work assisted by frontier models, with Aleph supplying a relative Lean 4 certificate.
Sofian Rhazali joins Logical Intelligence to lead go-to-market
Logical Intelligence announced that Sofian Rhazali joined from Google to lead go-to-market. Rhazali identified his position as Head of GTM after more than seven years at Google.
Aleph Prover completes all 672 PutnamBench problems
Logical Intelligence reported that Aleph Prover solved all 672 PutnamBench problems with machine-checked proofs. Average compute cost was $73.98 per problem, and the company disclosed corrections to formalizations in 28 problems.
Nebius said Logical Intelligence uses its infrastructure to develop AI reasoning systems. The company works on mathematical approaches to machine reasoning. Nebius named it in a May 2026 shareholder letter as part of its AI research customer base.
Describes Logical Intelligence developing AI reasoning systems on Nebius. This is the SEC-hosted Q1 2026 letter.13 May 2026 · SEC / Nebius · Web pageDescribes Logical Intelligence developing AI reasoning systems on Nebius. This is the SEC-hosted Q1 2026 letter.
Logical Intelligence develops AI reasoning models and formal verification software for researchers and engineers working on critical systems. Its Kona 1.0 model uses energy-based reasoning to find solutions within defined constraints, targeting applications in energy infrastructure, advanced manufacturing, semiconductor verification and robotics. Its Aleph Prover automates mathematical proofs and software verification, producing machine-checkable proofs to help establish code correctness. The company also develops verified code generation tools for software whose reliability must be demonstrated before deployment.
Logical Intelligence announces a topology research milestone
Logical Intelligence announced that Slava Krushkal, working with Michael Freedman’s Discovery Team, proved certain Sturmian groups are “good” for four-dimensional surgery theory. The company described human-led mathematical work assisted by frontier models, with Aleph supplying a relative Lean 4 certificate.
Sofian Rhazali joins Logical Intelligence to lead go-to-market
Logical Intelligence announced that Sofian Rhazali joined from Google to lead go-to-market. Rhazali identified his position as Head of GTM after more than seven years at Google.
Aleph Prover completes all 672 PutnamBench problems
Logical Intelligence reported that Aleph Prover solved all 672 PutnamBench problems with machine-checked proofs. Average compute cost was $73.98 per problem, and the company disclosed corrections to formalizations in 28 problems.
