Bartosz Naskręcki

Profesor i badacz matematyki (geometria algebraiczna), prodziekan Wydziału Matematyki i Informatyki UAM w Poznaniu; uczestnik projektu FrontierMath badającego możliwości modeli językowych w rozumowaniu matematycznym oraz działający w obszarze formalizacji i weryfikacji dowodów.

Best podcasts with Bartosz Naskręcki

Ranked by the Snipd community

6 snips

Jan 8, 2026 • 1h 40min

#283 Sztuczna matematyka – modele językowe zaczynają zawstydzać matematyków | prof. Bartosz Naskręcki

Bartosz Naskręcki, profesor matematyki i prodziekan Wydziału Matematyki i Informatyki UAM, omawia rewolucję, którą modele językowe wprowadzają do matematyki. Podejmuje temat testowania takich modeli na nowych problemach matematycznych, gdzie LLM-y osiągnęły średnio 20% poprawności. Opowiada o weryfikowaniu prac matematycznych i naprawianiu błędów, w tym w wielkim twierdzeniu Fermata. Naskręcki replikuje, że te narzędzia mogą zrewolucjonizować sposób, w jaki postrzegamy rolę matematyków w przyszłości.

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!

Get the app