Hvor mye kraft krever egentlig bitcoin-utvinning? Seminar 14. september, Litteraturhuset, Oslo. Cambridge, EBEA og Ola Borten Moe. Gratis. Se mer på våre hjemmesider.

We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.

Hvor mye kraft krever egentlig bitcoin-utvinning? Seminar 14. september, Litteraturhuset, Oslo. Cambridge, EBEA og Ola Borten Moe. Gratis. Se mer på våre hjemmesider.

Regimeskifte i Washington: Nå kan bitcoin stige til $1.000.000 min kommentar: investornytt.no/kommentar/re…

Ny episode Bitcoinsnakk! Håkon Sandbakken, nyvalgt leder av BPI snakker bl.a. om vervekampanjen til BPI som er det mest asymmetriske bettet du får, rett etter det å kjøpe Btc i 2008. 210 kr kan sende deg til 🇸🇻 eller kanskje en reporter fra Bitcoinsnakk? open.spotify.com/episode/5BD…

I have decided to leave math academia. Not because of burnout, the academic job market, or a loss of love for mathematics. Surprisingly, it is because of how much mathematics I could do with LLMs over the last few months. For most of my life, pursuing mathematics felt like the obvious choice. It gave me a sense of purpose, rooted in the search for hidden truths in God’s Book. Over the past few months, that conviction has been shaken. With LLMs, I could get several breakthroughs on problems I care deeply about and had worked on for years during my PhD. This progress might have taken years of my academic life if not for LLMs. This could have strengthened my conviction that mathematics was my calling. Instead, it undermined it. With each passing week, my role in the discovery loop seemed to grow smaller. What made mathematics meaningful to me was never just the final answer. It was the struggle: months or years of exploration, failed approaches, and deep thought before a hidden structure finally became visible. That struggle gave me a sense that the result was truly mine. Prompting my way to answers, without the struggle that once defined the process, no longer felt like the same vocation. The answer might be just as beautiful, but it did not feel earned in the same way. I now believe that we are rapidly approaching a world in which most answers from God’s Book will be only a prompt away. Once I truly internalized that possibility, dedicating much of my life to finding those answers slightly earlier no longer felt as meaningful as it once had. But one problem kept bothering me: How do we know the oracle is right? Intelligence (and hence the amount of math papers) is becoming abundant and cheaper by the day. Trust is not. The proofs produced by these systems can be highly sophisticated, and their errors can be extremely subtle. Determining whether an apparent breakthrough was actually correct sometimes took me days. Until it is verified, a beautiful proof is not different from slop. That gap drew me toward formal verification and eventually toward formalizing math proofs in Lean, including proofs of several longstanding conjectures and Erdős problems discovered with the help of LLMs. I began to see verification as a central intellectual bottleneck. Intelligence is useful only when its outputs can be trusted. So I am leaving math academia. I am shifting my attention from discovering answers to building systems that can certify them. I am very excited to be joining @PramaanaLabs to work on this challenge. Over the next few years, I hope to help build a future in which increasingly powerful systems are not merely intelligent, but provably correct and reliable across problems far beyond mathematics.

Er bitcoin vinneren av krigen mot Iran? Vi inviterer til debatt under Arendalsuka. Mandag 10. august kl. 14.00 hos SpareBank 1 Sør-Norge, Torvet 10. 🧵

Brazil vs Norway was something else🇳🇴🇧🇷