Nonlinear decision-making with enzymatic neural networks | Nature
https://www.nature.com/articles/s41586-022-05218-7

Poleidoscope (A kaleidoscope based on complex polynomials. Trippy.)

Dear colleagues and students –
 
I’m reaching out to you since you filled out the Ukrainian mathematician’s survey earlier this year.
 
Our department is about to start the next graduate admissions cycle. If you, your students or anyone you know are interested in a Mathematics PhD program in a Research I (Top Tier) University in US, please let us know. We have a very supportive department and provide a competitive package, which would include full assistantship with academic year stipend/tuition waiver and health insurance.
 
Mason is located in suburbs of Washington DC metropolitan area and is part of a vibrant research community including many academic institutions and national labs, as well as industry. Our department has a variety of research strengths in both pure and applied mathematics which might be potentially a good match for your background and interests.
 
If you are interested in learning more about this opportunity, please respond to my email as soon as possible so that I can connect you with our admissions committee and explain the details.
 
We also have two 2-year positions for faculty currently open (one in more pure math and the other in computational math areas), the deadline is Nov 1 and earliest start date is Jan 2023:
https://www.mathjobs.org/jobs/list/20800
https://www.mathjobs.org/jobs/list/20801
 
As Chair and someone deeply committed to helping mathematicians impacted by the ongoing crisis, I’m happy to answer any questions you might have.
 
Please spread the word!
 
Thanks!
Maria
 
 
-- 
-----------------------------------------------------------------------------------------------------------
Maria Emelianenko (she/her/hers)
Professor and Chair
Dept. of Mathematical Sciences
George Mason University
Fairfax, VA 22030
phone: (703) 993-9688
web: http://math.gmu.edu/~memelian
email: memelian@gmu.edu
 
Due to my work/family life balance, I may respond to your email outside of normal business hours. 

"Large language models can write informal proofs, translate them into formal ones, and achieve SoTA performance in proving competition-level maths problems!"

https://arxiv.org/abs/2210.12283

This is one of many recent results bringing us closer to a full automatization of mathematics. I expect that the role of human mathematicians will very soon be reduced to that of a guiding hand pointing toward the rough direction of interesting and useful mathematics while artificial intelligence will do the rest.

Quantum Chaos = Volume-Law Spatiotemporal Entanglement https://arxiv.org/abs/2210.14926

No one can hear you screaming in phase space (src)

"We are excited to share a significant advance in the field of AI and mathematics. Meta AI has built a neural theorem prover that has solved 10 International Math Olympiad (IMO) problems — 5x more than any previous AI system. Our AI model also improves upon the current state of the art by 20 percent on miniF2F, a widely used mathematics benchmark, and by 10 percent on the Metamath benchmark.

We have been able to solve the following problem:

Let a and b be natural numbers both prime with 7, and such that 7 is also prime with a + b, if we assume that 7^7 divides (a + b)^7 - a^7 - b^7, we need to show that a + b is at least 19."

https://ai.facebook.com/blog/ai-math-theorem-proving/