عملکرد Gemini در حل مسائل المپیاد جهانی ریاضی یک نشونهی جدیه از اینکه مدلهای زبانی در حال عبور از مرزهای سنتی پردازش زبان و ورود به قلمرو تفکر ریاضی، استدلال ساختاریافته و حتی بازبینی انتقادی خود هستن. دانشگاه UCLA بهتازگی مقالهای منتشر کرده که مدل Gemini 2.5 Pro چطور موفق شده ۵ مسئله از مجموع ۶ مسئله مسابقات جهانی ریاضی (IMO 2025) را با اثباتهایی دقیق و کامل حل کنه.
▪️تو این مقاله توضیح داده شده که Gemini چطور این کار رو انجام داده:
طراحی پرامپت:
به Gemini گفته شده به جای جوابهای سریع، دقت و سختگیری داشته باش، جوابهای ناقص یا حدسی نده، همه معادلات رو با LaTeX بنویس و یک روش و اثبات دقیق ارائه بده.
حلقه خودبازبینی:
بعد از حل هر مسئله، Gemini خودش راهحلش رو بررسی میکنه و بعد گزارشی از خطاهای مهم دریافت میکنه. راهحل رو اصلاح میکنه فقط وقتی راهحل ۵ بار پشت سر هم تایید شد، قبول میشه.
عملکرد Gemini در حل مسائل المپیاد جهانی ریاضی یک نشونهی جدیه از اینکه مدلهای زبانی در حال عبور از مرزهای سنتی پردازش زبان و ورود به قلمرو تفکر ریاضی، استدلال ساختاریافته و حتی بازبینی انتقادی خود هستن. دانشگاه UCLA بهتازگی مقالهای منتشر کرده که مدل Gemini 2.5 Pro چطور موفق شده ۵ مسئله از مجموع ۶ مسئله مسابقات جهانی ریاضی (IMO 2025) را با اثباتهایی دقیق و کامل حل کنه.
▪️تو این مقاله توضیح داده شده که Gemini چطور این کار رو انجام داده:
طراحی پرامپت:
به Gemini گفته شده به جای جوابهای سریع، دقت و سختگیری داشته باش، جوابهای ناقص یا حدسی نده، همه معادلات رو با LaTeX بنویس و یک روش و اثبات دقیق ارائه بده.
حلقه خودبازبینی:
بعد از حل هر مسئله، Gemini خودش راهحلش رو بررسی میکنه و بعد گزارشی از خطاهای مهم دریافت میکنه. راهحل رو اصلاح میکنه فقط وقتی راهحل ۵ بار پشت سر هم تایید شد، قبول میشه.
False news often spreads via public groups, or chats, with potentially fatal effects. Unlike Silicon Valley giants such as Facebook and Twitter, which run very public anti-disinformation programs, Brooking said: "Telegram is famously lax or absent in its content moderation policy." "There are a lot of things that Telegram could have been doing this whole time. And they know exactly what they are and they've chosen not to do them. That's why I don't trust them," she said. 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%. On December 23rd, 2020, Pavel Durov posted to his channel that the company would need to start generating revenue. In early 2021, he added that any advertising on the platform would not use user data for targeting, and that it would be focused on “large one-to-many channels.” He pledged that ads would be “non-intrusive” and that most users would simply not notice any change.
from it