University of Bath (@uniofbath.bsky.social) is hiring:
Research Associate in Number Theory
@tenuretracker.bsky.social
@tenuretracker.bsky.socialUniversity of Bath (@uniofbath.bsky.social) is hiring:
Research Associate in Number Theory
@amkasprzyk.bsky.social“So Thompson’s group F is non-amenable. OK, I had tried it many times using ChatGPT, but I guess I didn’t have the newest model or enough tokens.”
The future of math research? Access to the latest Frontier Model and an enormous pile of tokens. A pastime for the wealthy. Gentleman’s work. #MathSky
@tenuretracker.bsky.socialPurdue University is hiring:
Assistant or Associate Professor of Practice in Mathematics
@amkasprzyk.bsky.socialIn some cases OpenAI’s hacking machine has exploited a feature in Lean to “fake” correctness of a proof. So even the Lean formalisations need careful checking by an expert.
(This is in addition to questions of whether the Lean code matches the text.)
@tenuretracker.bsky.socialPurdue University is hiring:
Golomb Visiting Assistant Professor
@tenuretracker.bsky.socialUniversity of Colorado Boulder is hiring:
Assistant Professor in Computational Mathematics or Physical Applied Mathematics
@mathmisery.bsky.socialtoday's VS CPU game is tough. so don't sweat it if you haven't been able to get on the leaderboard. here's a tip, try to find a six-length path first and then if you can get 5 point plays you should win.
@tenuretracker.bsky.socialCentre National de la Recherche Scientifique is hiring:
PhD position in bioinformatics and artificial intelligence to study tumor cell plasticity
@ziifaves.bsky.socialThis packing of 15 equal disks in a circle was conjectured to be optimal by U. Pirl in 1969.
I've developed a computer-assisted proof of its optimality, and I'm currently formalizing it in Lean.
Independent verification and feedback are welcome!
@makeaproblem.bsky.social#math problem from #doodling: the simplified map
Full video: youtu.be/21FQvFxdrac
subscribe to mail club: ko-fi.com/makeaproblem...
#maths #mathsky #problemsolving #iteachmath #mathdoodles #mathart
@tenuretracker.bsky.socialCentre National de la Recherche Scientifique is hiring:
Postdoc in High-Performance Computing for Multi-Physics Simulations of Solar Receivers
@mrpurdymath.bsky.socialNearly 1 in 4 people in the U.S. speak a language other than English at home. 🌎 My new data talk turns real Census data into a MS math conversation that builds to one question: Who is missing? 👥 Tag a math teacher who would use this. Comment "HELLO" to get the resource 👇 #iteachmath #MathSky
@tenuretracker.bsky.socialUniversity of North Carolina is hiring:
UNC-Chapel Hill Employment Opportunities | Post-Doc Research Associate
@amkasprzyk.bsky.socialTeaching mathematics undergraduates is a slightly demoralising experience this week. They are all extremely worried after the latest OpenAI dump. Not a single student has expressed excitement or enthusiasm (or even ambivalence). It’s worrying. Things are changing. #MathSky
@mikejacobs.bsky.socialHere's a #yohaku to take you into the weekend. Fill in cells with 16 different factors of 990 to get totals shown in each row/column AND shaded cells contain prime numbers. #mathsky #iTeachMath
@petraschwer.bsky.socialInterested in what members of the mathematical community think on the recent release of hundreds of preprints on openproblems? I recommend reading the snapshot of immediate reactions collected on proofs and prompts!
@tenuretracker.bsky.socialTechnische Universitat Graz is hiring:
Kepler Visiting Professorship
@peterha2l.bsky.socialYou can read more about all these results and more at www.scientificamerican.com/article/the-.... No matter your feelings on the tech or the way it was dropped, you should be aware of the claims #MathSky
@makeaproblem.bsky.social#mathdoodles connected lights problem circle size 4
Full video: youtu.be/vlvTTe2Kp8o
Subscribe to the mail club: ko-fi.com/makeaproblem...
#math #maths #mathsky #iteachmath #mathart #problemsolving