No one can hear you screaming in phase space (src)

"We are excited to share a significant advance in the field of AI and mathematics. Meta AI has built a neural theorem prover that has solved 10 International Math Olympiad (IMO) problems — 5x more than any previous AI system. Our AI model also improves upon the current state of the art by 20 percent on miniF2F, a widely used mathematics benchmark, and by 10 percent on the Metamath benchmark.

We have been able to solve the following problem:

Let a and b be natural numbers both prime with 7, and such that 7 is also prime with a + b, if we assume that 7^7 divides (a + b)^7 - a^7 - b^7, we need to show that a + b is at least 19."

https://ai.facebook.com/blog/ai-math-theorem-proving/

Is AI Driven Design a Computational Dead End in Engineering?
https://www.designforam.com/p/is-ai-driven-design-a-computational

Inverse scaling can become U-shaped https://arxiv.org/abs/2211.02011

MinD-Vis: диффузия для чтения мыслей

Представлена диффузионная модель, которая умеет декодировать то, что видит человек по его мозговой активности (fMRI).

Сначала авторы обучили self-supervised модель для получения универсальных эмбеддингов мозговой активности (одинаковых для разных людей). Далее они взяли предобученную Latent Diffusion и добавили к ней cross-attention на эти мысленные репрезентации. После короткого файнтюна на 1.5к парах картинка-fMRI модель смогла полноценно декодировать то, что видит перед собой человек!

Данные для обучения и код выложены в открытый доступ, веса моделей дают по запросу.

Статья, GitHub, блог

https://www.science.org/doi/full/10.1126/sciadv.abq3356
crows know λ