ریاضیدان: بهتره بساطم رو جمع کنم.
عقل سلیم: چی شده؟
ریاضیدان: لم ۳.۴ مقالهام رو AI اثبات کرد.
عقل سلیم: سخت بود؟
ریاضیدان: نه خیلی، از یه قضیه سال ۱۹۸۷ استفاده کرد و لم ۳.۴ مقالهام رو اثبات کرد.
عقل سلیم: به اون ارجاع داد؟ خودش گشت؟
ریاضیدان: نه، ارجاع نداد. من بهش گفتم، ولی اون لم ۳.۴ رو اثبات کرد.
عقل سلیم: آهان، پس تو گفتی؟
ریاضیدان: آره، ولی لم ۳.۴ رو اون اثبات کرد.
عقل سلیم: اگه بساطت رو جمع کنی، کی بهش میگه؟
ریاضیدان: بقیه ریاضیدانها.
عقل سلیم: اگه همه جمع کنند بساطشون رو چی؟ کی بهش بگه؟
ریاضیدان: پولدارها، ثروتمندها، شرکتها...
عقل سلیم: چی رو بگه؟
ریاضیدان:
Let f,g : [0, 1] → [0, 1] be two continuous functions. If g is non-decreasing
and f ◦ g = g ◦ f, prove that f and g have a common fixed point in [0, 1].
عقل سلیم: براشون مهم هست؟ اصلا این که گفتی یعنی چی؟
ریاضیدان: نه، مهم نیست. ولی AI لم ۳.۴ رو اثبات کرده.
عقل سلیم: تو درس میدی، دانشجوها رو راهنمایی میکنی، با بقیه در خصوص ریاضیات تعامل داری، در قبال کارهات مسئولی و...
ریاضیدان: ولی اون لم ۳.۴ رو اثبات کرده.
✍MathematicalMusings
