Maryna Viazovska

mentions 4 type Person feed RSS

// recent coverage 4 mentions

21:14

2026-09-11

officechai.com

ai-safety

25 Fields Medal Winners Including Terence Tao Sign Declaration Saying Rapid AI Proofs Are Harming Math In “Severe Misalignment”

Twenty-five Fields Medal winners, including Terence Tao, Peter Scholze, Maryna Viazovska, Caucher Birkar, June Huh, Martin Hairer, Maxim Kontsevich, James Maynard, Manjul Bhargava and 2026 medalist Yu…

09:20

2026-08-19

promptcube3.com

artificial-intelligence

AI Takes on the Prime Number Challenge

Axiom Math's AI system, AxiomProver, has verified the 246 theorem on prime gaps, building on Yitang Zhang's 2013 proof and James Maynard's refinement to 600, and creating a reusable library of results…

13:00

2026-08-17

spectrum.ieee.org

artificial-intelligence

AI Used to Verify Toughest Mathematics Proof Yet

Axiom Math's AI system AxiomProver has automatically verified the proof of the '246 theorem' about prime numbers, marking the first time this theorem has been formally verified. The theorem, which sta…

17:36

2026-08-11

empirical.health

artificial-intelligence

Sphere packing, AI, and mathematical beauty

OpenAI announced it has solved ten open mathematical problems, including an improved Cohn-Elkies bound for sphere packing, a field where Maryna Viazovska earned a Fields Medal in 2022 for work in dime…

// co-occurs with top 8 entities

Axiom Math 2 AxiomProver 2 Ken Ono 2 Math, Inc. 2 Sidharth Hariharan 2 OpenAI 2 Gauss agent 1 Carnegie Mellon University 1

// topics top 6 topics

artificial intelligence 4 ai research 3 ai tools 2 ai safety 1 ai policy 1 large language models 1