Systems·Google DeepMind

AlphaTensor

2 claims 2 records2 machine-checked5 Oct 2022 to 5 Oct 2022

Outcomes

1 matched 1 record

2 of these concern a statement itself; the rest are supporting work such as formalisation, literature search or computation.

No statements recorded against this system.

Algorithms·best 7 multiplications

checked

Algorithms·best 47 multiplications

machine leadschecked