Harmonic AI
Company
A competitor of Axiom Math, known for verifying a GPT-generated proof of an Erdos problem and publicizing their solutions to other Erdos problems that were later found to have been solved previously.
Mentioned in 2 videos
Save the 2 videos on Harmonic AI to your own pod.
Sign up free to keep building your knowledge base on Harmonic AI as more episodes are added.
Videos Mentioning Harmonic AI
Scaling Past Informal AI - Carina Hong, Axiom Math
Latent Space
A competitor of Axiom Math, known for verifying a GPT-generated proof of an Erdos problem and publicizing their solutions to other Erdos problems that were later found to have been solved previously.
5 Papers That Show Where AI Research Is Heading Right Now
Y Combinator
Company whose AI model solved all problems in the POKAM competition.