Synthesis Blog

Together, we’re building the future of computer vision and machine learning.
Featured Post

The Unreasonable Ineffectiveness of AI for Math

One of the most interesting AI-related news for me recently was a paper by DeepMind researchers that presented a new mathematical result found by large language models: new constructions for the cap set problem. In this post, we take a step back and discuss the general relation between math and AI. A mathematical proof is easy to verify but may be very hard to find. But there are AI-shaped holes in looking for a proof: math involves multi-step reasoning and planning, hard theorems need to be decomposed into lemmas, there are search strategies involved… However, mathematics has turned out to be unexpectedly difficult for AI. In this post we discuss what people have been doing with AI in math and how LLMs can help mathematicians right now.

Continue reading
All Posts
February 13, 2024

One of the most interesting AI-related news for me recently was a paper by DeepMind researchers that presented a new…

December 4, 2023

Here at Synthesis AI, we have decided to release the "Generative AI" series in an e-book form; expect a full-fledged…

October 10, 2023

This is the last post in the "Generative AI" series. Today, we look into the future and discuss where the…

September 20, 2023

Last time, we finished all intended mathematical content, so it is time for us to wrap up the generative AI…

August 9, 2023

Congratulations, my friends, we have finally come to the end of the series! Although… well, not quite (see below), but…

June 28, 2023

By this time, we have discussed nearly all components of modern generative AI: variational autoencoders, discrete latent spaces, how they…

All Series

Explore datasets and labels with our Data Visualizer

X