Telegram Group & Telegram Channel
Я надеюсь все прочитали что такое AlphaGeometry, как она работает и как решает олимпиадные задачи. Потому что в этом видео сравнивается решение AlphaGeometry (да, его следует перетерпеть), и решение человека.

И видно что человек старается найти решение намного короче и КРАСИВЕЙ. А AlphaGeometry просто херачит какие-то шаги, которые дадут результат. Поэтому пока что системы автоматического доказательства может и дадут какие-то факты, но они не дадут реально нового ЗНАНИЯ.

https://youtu.be/ZrjarkXS0Fo



group-telegram.com/optorepost/48
Create:
Last Update:

Я надеюсь все прочитали что такое AlphaGeometry, как она работает и как решает олимпиадные задачи. Потому что в этом видео сравнивается решение AlphaGeometry (да, его следует перетерпеть), и решение человека.

И видно что человек старается найти решение намного короче и КРАСИВЕЙ. А AlphaGeometry просто херачит какие-то шаги, которые дадут результат. Поэтому пока что системы автоматического доказательства может и дадут какие-то факты, но они не дадут реально нового ЗНАНИЯ.

https://youtu.be/ZrjarkXS0Fo

BY optorepost




Share with your friend now:
group-telegram.com/optorepost/48

View MORE
Open in Telegram


Telegram | DID YOU KNOW?

Date: |

Elsewhere, version 8.6 of Telegram integrates the in-app camera option into the gallery, while a new navigation bar gives quick access to photos, files, location sharing, and more. The picture was mixed overseas. Hong Kong’s Hang Seng Index fell 1.6%, under pressure from U.S. regulatory scrutiny on New York-listed Chinese companies. Stocks were more buoyant in Europe, where Frankfurt’s DAX surged 1.4%. The news also helped traders look past another report showing decades-high inflation and shake off some of the volatility from recent sessions. The Bureau of Labor Statistics' February Consumer Price Index (CPI) this week showed another surge in prices even before Russia escalated its attacks in Ukraine. The headline CPI — soaring 7.9% over last year — underscored the sticky inflationary pressures reverberating across the U.S. economy, with everything from groceries to rents and airline fares getting more expensive for everyday consumers. Andrey, a Russian entrepreneur living in Brazil who, fearing retaliation, asked that NPR not use his last name, said Telegram has become one of the few places Russians can access independent news about the war. "Russians are really disconnected from the reality of what happening to their country," Andrey said. "So Telegram has become essential for understanding what's going on to the Russian-speaking world."
from br


Telegram optorepost
FROM American