Telegram Group & Telegram Channel
Telegram Group » Indonesia » Матразнобой » Telegram Webview » Post 272
Матразнобой
В честь позавчерашней статьи DeepMind об AlphaGeometry2 (обзор) вот те две геомы: 2018.6 и 2023.6, которые она не смогла решить. Красивые.

Делаем ставки: успеют ли люди записать решения все задач IMO в Lean вручную раньше, чем дипмайнды зарелизят AlphaProof и AlphaGeometry, которые сделают это автоматически.
www.group-telegram.com/id/razno_boy.com/272
781 viewsAltan, 



group-telegram.com/razno_boy/272
Create:
Last Update:

В честь позавчерашней статьи DeepMind об AlphaGeometry2 (обзор) вот те две геомы: 2018.6 и 2023.6, которые она не смогла решить. Красивые.

Делаем ставки: успеют ли люди записать решения все задач IMO в Lean вручную раньше, чем дипмайнды зарелизят AlphaProof и AlphaGeometry, которые сделают это автоматически.

BY Матразнобой





Share with your friend now:
group-telegram.com/razno_boy/272

View MORE
Open in Telegram


Telegram | DID YOU KNOW?

Date: |

'Wild West' Messages are not fully encrypted by default. That means the company could, in theory, access the content of the messages, or be forced to hand over the data at the request of a government. NEWS Now safely in France with his spouse and three of his children, Kliuchnikov scrolls through Telegram to learn about the devastation happening in his home country. "Like the bombing of the maternity ward in Mariupol," he said, "Even before it hits the news, you see the videos on the Telegram channels."
from id


В честь позавчерашней статьи DeepMind об AlphaGeometry2 (обзор) вот те две геомы: 2018.6 и 2023.6

 Матразнобой TG
Webview: 272
Матразнобой.Telegram Webview
Матразнобой Telegram TG Channel
Telegram Updated:
Telegram Матразнобой
FROM American