Hi Synapticians!

Remember when we recently covered OpenAI's impressive gold medal achievement at the International Mathematical Olympiad using their natural language model? Well, it's refreshing to see an unknown competitor achieve similar remarkable results but with a completely different approach.

Enter Harmonic, a lesser-known player in the AI field that's taking the opposite path from the tech giants. While OpenAI and Google DeepMind are racing toward artificial general intelligence (AGI), Harmonic is laser-focused on what they call "mathematical superintelligence" with their model, Aristotle.

Here's what makes this fascinating: instead of using natural language like its competitors, Aristotle generates formal mathematical proofs that are both verified and verifiable. Every solution traces back to fundamental mathematical axioms, providing what Harmonic calls a "machine-checkable guarantee of correctness." In simple terms? This AI literally cannot hallucinate when it comes to math.

The timing couldn't be better. As Harmonic points out, we've hit a curious bottleneck in the AI era: people now spend more time double-checking AI-generated content than actually creating it. Their solution? An AI that checks its own work, eliminating the trust issues that plague current systems.

And they're not just keeping this in the lab. Harmonic just launched a beta iOS app (with Android available too) where you can snap a photo of any math problem and get both the solution and the formal Lean code proof. Join the waitlist if you want to try it out. They're also developing a web app and API for enterprise use, with ambitions to expand beyond education into physics, statistics, and computer science.

Sometimes the best innovation isn't about doing everything, it's about doing one thing exceptionally well.

Here’s the rest of the news about AI today:

• Alibaba has introduced Wan2.2, the latest version of its open-source video generation model

• Google is introducing AI-powered shopping summaries in Chrome for users in the US

• Microsoft is negotiating with OpenAI to secure ongoing access to its technology, even if OpenAI achieves AGI

Top AI news

1. AI Startup Targets Mathematical Superintelligence Over AGI
Harmonic, an AI startup, has achieved a significant milestone by outperforming industry leaders OpenAI and Google DeepMind at the 2025 International Mathematical Olympiad with its model Aristotle. Unlike its competitors, Harmonic is not pursuing Artificial General Intelligence (AGI) but is instead focused on achieving 'mathematical superintelligence,' a specialized approach that could revolutionize mathematical problem-solving. Read online 🕶️

2. Alibaba's Wan2.2: Open-Source Video Generation Model
Alibaba has introduced Wan2.2, the latest version of its open-source video generation model. This model is capable of generating 720P videos on a single RTX 4090 GPU, making high-quality video production more accessible. Wan2.2 represents a significant step in democratizing video content creation through open-source technology. Read online 🕶️

3. Google Introduces AI-Powered Store Ratings in Chrome
Google is introducing AI-powered shopping summaries in Chrome for users in the US. This feature aims to enhance the online shopping experience by providing concise store ratings, allowing users to make informed decisions quickly. It's a significant step towards integrating AI into everyday consumer activities, promising more efficient and satisfying shopping experiences. Read online 🕶️

4. Microsoft Negotiates Access to OpenAI's Tech Beyond AGI
Microsoft is negotiating with OpenAI to secure ongoing access to its technology, even if OpenAI achieves AGI. This potential deal could transition OpenAI into a fully commercial enterprise, impacting investor returns and equity stakes. However, regulatory scrutiny and legal challenges, including Elon Musk's lawsuit, pose significant hurdles. Read online 🕶️

Tweet of the Day

Stay Connected

Feel free to contact us with any feedback or suggestions; we’d love to hear from you !