>this diagram of one of the mass graves resulting from collective lethal violence during the Linearbandkeramik period in the neolithic goes so hard lowkey

В треде по ссылке ещё картинки: https://twitter.com/policefala/status/1486908554623832064

🎓🔥 OpenAI обучили нейросеть для решения задач олимпиадой математики, способную доказывать теоремы

OpenAI создали нейронный прувер теорем, который научился решать множество сложных задач олимпиадой математики, включая задачи соревнований AMC12 и AIME.

Это языковая модель для построения формальных доказательств и утверждений. Формально — GPT-3 с 774M обучаемыми параметрами (36тислойный трансформер).

Обучение происходит по методологии expert iteration: каждый раз, когда находится новое доказательство, оно поступает в датесет новых данных для обучения, что улучшает нейронную сеть и позволяет ей итеративно находить решения для все более и более сложных задач.

📑 paper 📝 blog post

https://github.com/gorhill/uMatrix
look like an alternative
upd: even more cool stuff
https://digdeeper.neocities.org/ghost/addons.html

https://www.cambridge.org/core/elements/theoretical-computer-science-for-the-working-category-theorist/5F3499D1F326D2D77567AA1041627699#

Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of theoretical computer science. In this Element, readers will meet some of the deepest ideas and theorems of modern computers and mathematics, such as Turing machines, unsolvable problems, the P=NP question, Kurt Gödel's incompleteness theorem, intractable problems, cryptographic protocols, Alan Turing's Halting problem, and much more. The concepts come alive with many examples and exercises.

"Distributive laws for pseudomonads." by F. Marmolejo

Paper: http://directory.umm.ac.id/Journals/Journal_of_mathematics/TAC/n5_13.pdf

Video via @andre_videla

What are “shape rotators” and “wordcels”? An explanation: https://roonscape.substack.com/p/a-song-of-shapes-and-words

это из "очень элементарного введения в пучки" (пару дней назад на архив кто-то положил). Не воспринимаю всерьёз потому что автор не собирается отличать предпучки от пучков, из соображений элементарности изложения. Ну а для понятия предпучка вообще никакой интуиции как будто не нужно. Может, я и не прав

https://www.youtube.com/watch?v=6eWG7x_6Y5U
computational schizo-psychology meets Schrodinger equation
big shitpost energy

𝐐𝐓/ Quantum computing in silicon hits 99 percent accuracy

Quantum news biweekly vol.19, 28th January — 11th February

TL;DR
—Researchers have proven that near error-free quantum computing is possible, paving the way to build silicon-based quantum devices compatible with current semiconductor manufacturing technology.
—Scientists have achieved a key milestone toward the development of a fault-tolerant quantum computer. They were able to demonstrate a two-qubit gate fidelity of 99.5 percent — higher than the 99 percent considered to be the threshold for building fault-tolerant computers — using electron spin qubits in silicon, which are promising for large-scale quantum computers as the nanofabrication technology for building them already exists.
—Researchers at PSI have compared the electron distribution below the oxide layer of two semiconductors. The investigation is part of an effort to develop particularly stable quantum bits -and thus, in turn, particularly efficient quantum computers. They have now published their latest research, which is supported in part by Microsoft, in the scientific journal Advanced Quantum Technologies.
—A semiconducting material that performed a quantum “flip” from a conductor to an insulator above room temperature has been developed at the University of Michigan. It potentially brings the world closer to a new generation of quantum devices and ultra-efficient electronics.
—An experiment, performed by Istituto Nazionale di Ricerca Metrologica (INRIM) on 200 km of the Italian Quantum Backbone, in collaboration with Toshiba Europe, shows that coherent laser interferometry considerably improves the performances of quantum key distribution protocols in long-distance, real-world networks. The study has been published in Nature Communications.
—Quantum states of light have enabled novel optical sensing schemes, e.g., for measuring distance or position, with precisions impossible to achieve with classical light sources such as lasers. The field of quantum metrology has now been pushed even further as a team of researchers showed that photons that are engineered to be entangled in complex spatial structures have, due to quantum phenomena, an advantage for sensing the smallest rotations. The new method allows for more precise measurement than what could be achieved by conventional means.
—The research group at MagnetoCat SL (Alicante, Spain) published a fundamental theoretical work on magnetism in heterogeneous catalysis in ACS Catalysis. The group laid out a complex and comprehensive theoretical treatment linking electronic spin, magnetism and heterogeneous catalysis. This treatment concerns the behavior of correlated electrons in solids and the quantum mechanical “tricks” they implement to avoid each other while balancing repulsions and attractions
—Researchers from the Graduate School of Engineering Science at Osaka University used optical tweezers for the first time inside superfluid helium. With a strongly focused beam of light, they demonstrated the stable trapping of nanoparticles at ultralow temperatures. This work may help scientists better understand the conceptual boundary that separates classical and quantum effects.
—Scientists are now one step closer to better understanding how to live in a “quantum” world — and not just from watching the character “Ant-Man” in the Marvel movie franchise.
Top data scientists in the quantum computing industry.
—And more!

#Quantum #QT https://medium.com/paradigm-fund/qt-quantum-computing-in-silicon-hits-99-percent-accuracy-684ee26cfbf8