
Bartosz Naskręcki is an Assistant Professor of Mathematics at Adam Mickiewicz University.
How media typically covers Bartosz Naskręcki
Based on 6 scored articles
Referenced in coverage
“Mathematician testing Astra on mathematics and proving statements live in Lean.”
“Mathematician commenting on pace of conjecture proofs expected to reach million solved problems by end of 2026.”
“Used GPT-5.5 in Codex to build an algebraic-geometry app from a single prompt in 11 minutes.”
“Assistant professor of mathematics who used GPT-5.5 in Codex to build an algebraic-geometry app from a single prompt in 11 minutes.”
“Used GPT-5.5 in Codex to build algebraic-geometry visualization app from single prompt in 11 minutes.”
AI tools are reshaping mathematical research by automating literature reviews, proof checks, and calculations, potentially freeing mathematicians to focus on deep creative thinking while raising concerns about displacement and the need for careful oversight.
“Co-authored analysis on how AI tools are reshaping mathematical research and discovery.”