Skip to main content
ENHU
Címlap

Main navigation

  • Felfedezés
    • Hírek
    • Események
    • Pályázatok
  • Kutatási területek
  • Anyagok
    • Publikációk
    • Letöltések
    • Kiadvány
  • Rólunk
  • Partnerek
  1. Címlap
2023.02.28.

A MILAB szemináriumán adott elő a Google kutatója

Széchenyi Plusz RRF

Christian Szegedy, a Google Research munkatársa angol nyelvű előadást tartott a MILAB Alapkutatás szemináriumán. A 2023. február 22-i, "AI for Mathematics and Autoformalization" című előadás online is megtekinthető. Christian Szegedy egyébként a MILAB társszervezésében rendezett AI & AUT EXPO során is tartott előadást.

A február 22-i előadás angol nyelvű absztraktja a következő:

This talk will focus on the role of artificial intelligence (AI) in mathematics and autoformalization. The use of AI in mathematics has gained significant attention in recent years, with applications ranging from theorem proving to generating mathematical conjectures. The talk will provide an overview of the various AI techniques that are used in mathematics, including neural networks, automated reasoning, and natural language processing. The second part of the talk will focus on autoformalization, which is the process of automatically verifying mathematical proofs using computers. The speaker will discuss the challenges associated with autoformalization and the recent advances in the field. Additionally, the talk will highlight the potential benefits of autoformalization, including increased rigor and reliability in mathematical proofs. Overall, this talk will provide a comprehensive overview of the role of AI in mathematics and autoformalization and will highlight the potential for these technologies to revolutionize the way mathematics is done.

Az előadás felvétele alant látható.

 

Research fields

Az MI alapjai

Tovább
Institutes
Tovább
Címlap

LinkedIn

Become a partner

Subscribe to newsletter

Send partnership request

Explore

  • News
  • Events
  • Tenders
  • Publications
  • Downloads
  • Partners

Kutatási területek

  • Az MI alapjai
  • Biztonság és személyes adatok védelme
  • Gépi látás és érzékelés
  • Gépi tanuláson alapuló intelligens gyártás, logisztika, távközés IoT megoldások fejlesztése
  • Nyelvtechnológia fejlesztése
  • Orvosi, egészségügyi alkalmazások

Contact us

Hungary, H-1111 Budapest,
Kende u. 13-17.
+36 1 279 6000
@email

© 2020-2021 Artifical Intelligence National Laboratory, Budapest