haferjonas.bsky.social @haferjonas.bsky.social · 07/10/2026Same here. I tried QAC0 vs Parity and unitary synthesis with a lot of “keep going”, but I made no progress. 040
Reposted by @haferjonas.bsky.socialTerence Tao @teorth.bsky.social · 11/09/2026A group of 25 Fields Medalists, including myself, have made a joint declaration on Math and AI: mathandai.org . We welcome additional signatories. See also this article in the Economist announcing the declaration: www.economist.com/science-and-...mathandai.orgDeclaration — Math and AIRead the declaration and add your name. 422078937
Reposted by @haferjonas.bsky.socialHenry Yuen @henryyuen.bsky.social · 01/08/2026Some initial thoughts, and a complicated mix of feelings. Wow. I mean, Erdos problems are cool (I genuinely mean that), I didn't know about the Jacobian conjecture before it got disproved. But this newest batch from OpenAI hits home in a way the previous announcements did not. 233072
Reposted by @haferjonas.bsky.socialQIP @qipconference.bsky.social · 13/07/2026We're pleased to announce the key dates for QIP 2027, as follows (refer to the website qipconference.org/2027/ for up-to-date information). We look forward to your participation! 02210
Reposted by @haferjonas.bsky.socialMichael Barany @mjb.mathstodon.xyz.ap.brid.gy · 02/06/2026Since September I've been working with an international group to develop what we hope can be a response from the mathematics community to artificial intelligence in maths. The Leiden Declaration is now posted and open for signatures: leidendeclaration.ai #LeidenDeclarationleidendeclaration.aiLeiden Declaration on Artificial Intelligence and MathematicsThis declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research. 77447
Reposted by @haferjonas.bsky.socialQuanta Magazine @quantamagazine.org · 17/02/2026Henry Yuen went into computer science to design video games, but he ended up studying the theoretical foundations of quantum computing. "Looking back, I couldn't have predicted any of the twists and turns that my interests have taken," he said.quantamagazine.orgA New Complexity Theory for the Quantum Age | Quanta MagazineHenry Yuen is developing a new mathematical language to describe problems whose inputs and outputs aren’t ordinary numbers. 0255
Reposted by @haferjonas.bsky.socialLance Fortnow @lance.fortnow.com · 04/12/2024Now in one place, my sixty favorite theorems covering the six decades of computational complexity. blog.computationalco...blog.computationalcomplexity.orgFavorite Theorems: The Complete ListNow in one place all of my sixty favorite theorems from the six decades of computational complexity (1965-2024). 2015-2024 Graph Isomorphism... 16614
