MISANU

PROGRAM

Predavanja možete pratiti i online putem MITEAM stranice Seminara iz matematičke logike:
https://miteam.mi.sanu.ac.rs/asset/YzAEvpbA8ZY8E34pu

Petak, 16.10.2026. u 16:15, Kneza Mihaila 36, sala 301f i Online
Stepan Milošević, FTN Novi Sad
COFINAL TYPES AND TOPOLOGICAL GROUPS
The purpose of this note is to start the systematic analysis of cofinal types of topological groups.

Petak, 30.10.2026. u 16:15, Kneza Mihaila 36, sala 301f i Online
Diskusija
PANEL DISKUSIJA: AI AND LOGIC
Mnogi smatraju da je, od nedavno, matematika postala poligon za prikazivanje neverovatnih sposobnosti veštačke inteligencije; sajt vibemathed.com (pokušava da) prati probleme u kojima je rezultat dobijen korišćenjem veštačke inteligencije. Tako je sredinom avgusta objavljen prvi rad iz logike u kome je rezultat dobijen uz pomoć AI, a od tada se stvari razvijaju neverovatnom brzinom. Samo noćas, 6.oktobra, je OpenAI postavio rešenja više od 700 matematičkih problema dobijenih u prehodnih dve nedelje. github.com. Medju njima je i negativno rešenje Hilbertovog 10. problema za polje racionalnih brojeva, kao i još neki 'manji' logički problemi. Posebno alarmantno deluje podatak da je prosecno vreme za dobijanje resenja oko 3 sata... Mnoga se pitanja nameću ... Uvodnu reč daće jedan od prvih logičara koji je koristio AI, Kyle Gannon, BICMR, University of Peking.

OBAVEŠTENJA:

Ukoliko zelite mesecne programe ovog Seminara u elektronskom obliku, obratite se: tane@mi.sanu.ac.rs. Programi svih seminara Matematickog instituta SANU nalaze se na sajtu: www.mi.sanu.ac.rs

Beograd,
Srdacan pozdrav,
Predrag Tanovic,
rukovodilac seminara