We have long pioneered the use of these types of neuro-symbolic systems starting with AlphaGo in 2016, through to AlphaZero. We'll be bringing all the goodness of AlphaProof and AlphaGeometry 2 to our mainstream #Gemini models very soon. Watch this space!
BIG TECH
-
DeepMind AlphaProof advances AI mathematics breakthrough
By
–
Check out this great @nytimes article https://
nytimes.com/2024/07/25/sci
ence/ai-math-alphaproof-deepmind.html
… by @sioroberts
. I think I disagreed with the title though, it should have been "Come over Mathematicians, we love you all!" 🙂 -

Jensen Huang Named Top 35 HPC Legend by HPCWire
By
–
We are honored to share that our CEO, Jensen Huang, has been named a top 35 #HPC legend by @HPCWire for his visionary leadership and groundbreaking advancements in accelerated computing. https://
nvda.ws/4fgsbFP -

DeepMind Releases AlphaGeometry 2 with Major AI Innovations
By
–
We created #AlphaGeometry 2 with lots of innovations: (a) one order of magnitude more synthetic data for the language model (Gemini-based, trained from scratch); (b) a symbolic engine that are two orders of magnitude faster, and (c) a novel knowledge-sharing mechanism to tackle
-
OpenAI launches SearchGPT prototype to enhance real-time search capabilities
By
–
we think there is room to make search much better than it is today. we are launching a new prototype called SearchGPT: https://
openai.com/index/searchgp
t-prototype/
… we will learn from the prototype, make it better, and then integrate the tech into ChatGPT to make it real-time and maximally helpful. -
OpenAI launches SearchGPT search engine competitor with publisher feedback
By
–
NEW: OpenAI is trialling a search competitor, SearchGPT, that will link to sources, built with feedback from news publishers.
-

OpenAI launches SearchGPT prototype challenging Perplexity search
By
–
🔴 SEARCHGPT SE HACE REALIDAD
— Carlos Santana (@DotCSV) 25 juillet 2024
El buscador de OpenAI sale a la luz, al menos como un prototipo accesible con wait list. La combinación de la tecnología GPT con las fuentes de información con las que Altman ha ido cerrando acuerdos en los últimos meses.
¿Un nuevo perplexity? https://t.co/jKby1yBumwSEARCHGPT SE HACE REALIDAD El buscador de OpenAI sale a la luz, al menos como un prototipo accesible con wait list. La combinación de la tecnología GPT con las fuentes de información con las que Altman ha ido cerrando acuerdos en los últimos meses. ¿Un nuevo perplexity?
-
OpenAI Tests AI Search Features Challenging Google Dominance
By
–
Check this out from @shiringhaffary with an assist from yours truly: OpenAI is testing new AI search features in a direct challenge to Google. it sounds a *lot* like the search product i reported in may that the company was working on! https://
bloomberg.com/news/articles/
2024-07-25/openai-tests-new-ai-search-features-in-direct-challenge-to-google?utm_source=website&utm_medium=share&utm_campaign=twitter
… via @technology -
Google DeepMind achieves exceptional breakthrough in AI research
By
–
Truly exceptional achievement, bravo. @GoogleDeepMind researchers shine again 👏 https://t.co/Z6CGVJ0Rha
— Nando de Freitas (@NandoDF) 25 juillet 2024Truly exceptional achievement, bravo. @GoogleDeepMind researchers shine again
-
Meta, OpenAI, Apple Launch Powerful LLMs; AI at Olympics
By
–
Big News: @Meta
, @OpenAI
, and @Apple have all unleashed powerful new LLMs! Plus, AI in the Summer Olympics? Discover the latest in AI advancements. #TechNews #Innovation