Read next

Eksperimen dan Deploy Machine Learning

Channel ini menyajikan materi seputar Data Science & Artificial Intelligence, Networking & Cyber Security, serta Database & Programming. Seluruh materi disusun secara sistematis untuk membantu Anda memahami konsep, teknologi, dan praktik yang digunakan di bumi teknologi informasi, mulai dari tingkat alas hingga lanjutan. Setiap bahasan berfokus pada pengembangan keahlian melalui materi yang gampang dipahami, relevan dengan kebutuhan industri, dan disampaikan untuk tujuan edukasi. Seluruh konten mengedepankan implementasi teknologi secara legal, etis, dan bertanggung jawab, sehingga dapat menjadi rujukan belajar bagi pelajar, mahasiswa, maupun profesional. Jika Anda mau mengembangkan kapasitas di sektor pemrograman, pengelolaan data, kecerdasan buatan, jaringan komputer, maupun keamanan siber, channel ini menyediakan materi yang dapat membantu membangun fondasi ilmu sekaligus menaikkan keahlian secara bertahap. Playlist video terkait: ▪ https://www.youtube.com/playlist?list=PLZGgeqmsm32s ▪ https://www.youtube.com/playlist?list=PLZomBNpDl3vc ▪ https://www.youtube.com/playlist?list=PLE5VyXMZkzb8 PEMBAHASAN MATERI Playlist Materi Ilmu Komputer berisi kumpulan video pembelajaran, tutorial, klarifikasi konsep, studi kasus, demo, dan bahasan komplit seputar beragam sektor dalam ilmu komputer. Materi yang disajikan mencakup alas hingga tingkat lanjut, mulai dari pemrograman, pengelolaan database, jaringan komputer, keamanan siber, mekanisme operasi, pengembangan alat lunak, arsitektur komputer, hingga beragam teknologi yang digunakan dalam bumi komputasi modern. Temukan bahasan mengenai komputer dan pemrograman, algoritma, struktur data, PHP, JavaScript, Python, Laravel, MySQL, PostgreSQL, API, rekayasa alat lunak, database, jaringan komputer, pengelolaan server, cloud computing, virtualisasi, Linux, Windows Server, keamanan jaringan, cyber security, ethical hacking, kriptografi, keamanan aplikasi, DevOps, Internet of Things (IoT), kecerdasan buatan (AI), machine learning, serta beragam konsep, teknologi, dan praktik terbaik di sektor ilmu komputer. Playlist ini cocok bagi pelajar, mahasiswa, programmer, web developer, software engineer, pengelola sistem, ahli IT, maupun siapa saja yang mau mempelajari dan memperdalam wawasan di bumi ilmu komputer secara menyeluruh. CONTACT US ▪ Email support@mycoding.id ▪ WhatsApp https://wa.me/6281274309663 ▪ Telegram https://t.me/mycodingxd OFFICIAL LINKS ▪ Web https://mycoding.id ▪ Blog https://blog.mycoding.id ▪ News https://en.mycoding.id ▪ Apps https://play.google.com/store/apps/dev?id=5237501547073493079 SOCIAL MEDIA ▪ https://linkedin.com/company/mycodingxd ▪ https://facebook.com/mycodingxd ▪ https://instagram.com/mycodingxd ▪ https://tiktok.com/@mycodingxd ▪ https://twitter.com/mycoding_xd ▪ https://pinterest.com/mycoding_xd CHANNEL LINKS ▪ YouTube https://safelink.asia/youtube ▪ DailyMotion https://safelink.asia/dailymotion ▪ WhatsApp https://safelink.asia/whatsapp ▪ Telegram https://safelink.asia/telegram Powered by https://linkedin.com/company/401XDGroup #CyberSecurity #ArtificialIntelligence #Networking #DataScience #Programming #Database

click (or media Enter) to commencement  ·  afterward media any key for the menu

Read next

[This is a visitant article by Álvaro Lozano-Robledo. This blog article was initially written in a distinct document format and converted using AI. — T.]

TL;DR: Keep calm and transport on studying math.

I would akin to provision Terry my heartfelt gratitude for giving me the chance to contribute a article to his blog. After giving much idea to what topic I should compose concerning to maximize impact, I decided to obtain this chance to attain out to the students: particularly to those undergraduate and alumnus students who fair a few months ago were dreaming of an scholarly occupation in mathematics, but their dreams may now appear distant and, for some, apparently unattainable to always rotate into a reality. This article was inspired by a communication (quoted below in its entirety, alongside permission) that I received from a pupil desperately looking for direction and guidance. This is not the lone specified communication I have received (and I doubtful that many of us are receiving many akin requests), but it is perchance the most heartfelt, and the one that has moved me the most. Please additionally note the urgency of the message. Students are making decisions now.

Hey Prof, I’ve been observing your videos for a during now as a clean math undergraduate who formerly wanted to prosecute a occupation in math academia. I cognize you likely have been getting a lot of questions concerning this matter, but I am fair entirely at an utter defeat concerning my occupation trajectory, and equal further, the definition of existence at this point. (I do acknowledge a lot of group have it much worse than I do). I cognize you have been making a lot of videos lately alongside the new LLM advancement updates, so I idea you power be the suitable individual to attain out to and get a slightly additional organized answer concerning this matter. So, to cut to the chase, what I really desire to cognize is: volition math academia be big adequate and accessible adequate for anyone alongside sheer enthusiasm (despite not being the brightest intellect in the field) to prosecute a occupation in, or volition it inevitably shrink specified that it volition lone really be accessible to the brightest minds? (I do acknowledge the “brightest minds” that I am mentioning current is not well-defined, and in a sense, I am taking it as a assumption that this is person who is “smarter than me”). My second inquiry is, volition AI inside 5–10 years surpass humans in being capable to do clean math research? I’ve fair really been misplaced for a brace of months now and misplaced in existence completely. I don’t average to create your day additional depressing; apologetic if I arrive off in any way of that sort. I would value any advice.

The advances in LLMs are disrupting nearly all aspects of scholarly investigation and learning in math and, during there are many aspects that involvement me, the one sole matter that worries me the most is the extremely genuine possible that we are concerning to endure an complete generation of mathematicians. Many students are asking themselves whether going for a PhD in math is the correct occupation move at this time. Many of them fair a twelvemonth ago were headed to grad academy in mathematics, but they are now changing their mind, and think that a distinct occupation (as far from math as Law School) may be the finest way stated the danger that AI may entirely alter the scholarly math landscape in the coming months.

The questions students are worrying concerning are as follows:

1. Will AI surpass the mathematical investigation capability of any human?
2. Will investigation mathematicians rotate into `professional prompters’ and interpreters of LLM output?
3. Will lone the `brightest minds’ be capable to meaningfully contribute to investigation mathematics?
4. Will mathematicians be employable? Will mathematicians be needed?
5. Should I prosecute a PhD in math at this time?

In this composition I volition try to location these questions to the finest of my ability, but volition commencement alongside two disclaimers, followed by a concise summary of my own outlook.

Disclaimer 1. My answers may “age akin milk,” as YouTube commenters affection to quip on older videos. I can live alongside that, since this article expresses how I and many of us in the community about me awareness today. Things can alter quickly, although (see Disclaimer 2). I additionally desire to acknowledge my privileged item of perspective as a tenured prof in math — the circumstance can appearance much additional troubling from the item of perspective of the job insecurity of a extremely early-career mathematician.

Disclaimer 2. No one has the answers at this time. I desire to create apparent from the commencement that no one can cognize alongside certainty the answers to any of the questions posed above: not any particular Fields medalist, not any stated mathematician, not any particularly vociferous AI expert, and not the frontier example companies. And if person is telling you alongside bonzer confidence what the forthcoming holds, afterward I would immediately distrust the motives of their condemnation (anecdotically, nearly anyone on X.com that predicts the triumph of AI and the demise of the math profession, is either a self-proclaimed “AI expert” or plant for an AI startup). No one has a apparent image since betterment of LLMs has been so accelerated (and opaque) that it is nearly unattainable to foretell what is to come. A fine part of direction is to ask the identical questions to many people, to comprehend a (hopefully balanced) range of opinions. To that end, I am collecting interviews alongside mathematicians in what I call the “Human Mathematicians in the Age of AI” video project. I advance you to hear to the interviews for several awesome points.

For the record: I do not have the answers either, but I am hopeful and enthusiastic for the future. I volition explain why below.

Who is controlling the narrative concerning LLMs in math? Overall, the mathematical community’s reactions to the advances in AI have ranged from disturbance to rage — but, mostly, disturbance concerning how to proceed. The most dystopian predictions appear to be driven by the fact that the so-called frontier example companies (and another LLM-powered companies) are controlling the narrative in the finest of their interests. Unfortunately, the finest company outcomes for an LLM business could have possible catastrophic outcomes for the math (and scientific) community.

It is certain that AI companies desire us to accept that their products volition imminently accomplish “super-human intelligence” and that, in particular, they volition be capable to autonomously resolve any mathematical issue a individual could resolve alongside or without the aid of an LLM. It is in their finest company involvement that the community is convinced of the (allegedly) “unlimited potential” of their technology, particularly before their companies’ stocks go community (i.e., their upcoming IPOs: Anthropic in November 2026, OpenAI in first 2027, etc). Thus, they have tried to authority the narrative by spending a huge amount of (human and computational) resources in command to discover solutions to certain well-known mathematical problems. The proofs are afterward released in announcements that guide the community to accept that their models can already autonomously resolve any issue at all, and swiftly at that. However, this is (currently) far from their true capabilities. For instance, they never conversation how many tokens have gone to the trash bin alongside no payoff in trying (and failing) to resolve celebrated problems. We do know, for example, that OpenAI invested the equal of several $15M to resolve (err, scoop) the Navier-Stokes problem, but we are unaware of the certainly colossal operating disbursal of the failures to determine another Millennium Prize problems.

My own outlook. Even although I am concerned concerning the incursions of LLMs into scholarly mathematics, I am fairly hopeful. In fact, I regard this to be the most breathtaking period in my mathematical occupation (since the twelvemonth 2000 say). Truly, this may be the most thrilling instant in math in the contemporary former of our discipline, and I would be terribly sad to see young group depart academia and young female out on the stunning chance to be at the frontlines of the current specialized revolution. And not fair sad: I think their deficiency would have disastrous effects for the field.

Undoubtedly, LLMs are already an incredibly mighty tool. If used correctly, and if we set up sensible scholarly behavior expectations about the use of LLMs, these tools can accelerate advancement in our site dissimilar in any former era. I completely anticipate that we, the community, volition modify and modify to this new period, and we volition harness these tools to accomplish really awesome things that fair a few months ago seemed far out of reach. And I completely anticipate that individual mathematicians volition be forefront and center in these fantastic achievements to come. I volition add reasons that assistance my optimism below.

I additionally desire to add at this item that the day-to-day of a mathematician has not changed much so far! My days are motionless filled alongside instruction and joyful conversations concerning math alongside colleagues and students, doing investigation on a figure of breathtaking (old and new) projects, and going to stimulating conferences to study and disseminate our most latest methods and findings, during spending period alongside colleagues that create the mathematical community so fantastic and vibrant. Daniel Litt mentioned the identical opinion in a latest tweet.

One item has changed though, I am busier than always before, since the figure of investigation projects I am engaged in has tripled in fair a few months. My investigation horizon has expanded significantly, and I have many additional projects accessible for students to assistance me with.

Now, to the pressing questions:

“Will AI surpass the mathematical investigation capability of any human?” This is entirely unclear. On one hand, the current trajectory in capabilities is certainly significant, and we have already seen many notable results that have been either proved by LLMs, or their proofs have been made imaginable gratitude to significant LLM contributions. On the another hand, none of the proofs so far appear to merge “alien ideas,” a move-37, or entirely novel arguments or new concepts that were not current in the writings in several form or another. This should not be shocking since the LLMs are built and trained on the entirety of all individual contributions to date, so it stands to logic that they would `think’ inside the boundaries of our current cognition and create connections (sometimes amazing and ingenious!) among ideas that are already current in the literature. I am particularly eager the assumption (or toy model, as he called it) put onward by Nestor Guillen in a latest blog post, anywhere he argues that LLMs may activity inside the confines of the convex hull of ideas that are currently accessible in the literature.

Take, for example, the disproof of Erdos’ unit-distance conjecture. We can ideate the current set of mathematical ideas as a stellated high-dimensional polytope, and we can location the state-of-the-art ideas on discrete geometry at an external vertex and our cognition on algebraic figure theory at a distinct external vertex. The idea for the evidence seems ingenious at archetypal perspective since it cleverly mixes strategies from two sectors of math at the vertices of the polytope of ideas, but following nearer inspection, it’s a evidence that was inside attain of humans as it fair sits inside the convex hull of the polytope.

The polytope of ideas

This agrees alongside what Melanie Matchett-Wood said concerning the evidence of the unit-distance whenever it was released: “I accept if the flat and category of individual ability that is represented on this note had been assembled to discover a counterexample to this conjecture a duration ago, and those group put in akin amounts of period operating on it than they did to study and thinking concerning Chat GPT’s solution, the mathematicians would have established a counterexample.”

However, a evidence of the Riemann hypothesis, say, may need new ideas that are strictly exterior of the convex hull of current mathematical ideas, and it is hence out of attain for an LLM. Only following a new idea is introduced in a new paper, the polytope of ideas may get a new external vertex. And lone afterward the LLMs, following being retrained to contain those ideas, may inhabit out the set of results up to the new convex hull, which may or may not contain yet a complete evidence of Riemann.

The convex hull of ideas

If this toy example holds up, afterward we would certainly anticipate the extremely accelerated advances in math that we are currently seeing. As the LLMs obtain advantage of the stellated nature of the polytope of ideas, they volition continue to inhabit in gaps between external spikes. But as the LLMs inhabit in the convex hull alongside new results, we volition see a deceleration in the figure of results being shown solely by synthetic intelligence. We volition need individual advances and intuition to create new ideas that develop our cognition polytope.

Even if the mathematical capability of the LLMs (or forthcoming AI models) can at several item attain beyond the convex hull of the current set of individual ideas, there is a distinct way that we may attain a bounds to the LLM capacity: feasibility and ethical use of resources (this is akin what chap optimist Kevin Buzzard called the “natural boundary” in a latest blog post). Is any disbursal (a dollar amount, individual cost, ethical cost) satisfactory in the chase of solving a stated problem? Should we expend millions of dollars and an undisclosed amount of natural resources in command to discover a resolution for Navier-Stokes? As an analogy: we would akin to cognize if there is existence on Mars, but in command to do so as shortly as possible, we would need an ridiculous amount of backing and hazard the lives of a individual squad in the process. Is it value it? Similarly, we may attain a item anywhere an LLM could resolve an crucial issue for an exorbitant disbursal (in conditions of backing and resources) but it may fair not be an satisfactory disbursal for the payer or community to bear. Instead, we volition need humans to devise an substitute path (the equal of a gravity-assisted robotic goal to Mars) to resolve the issue at an satisfactory cost, that produces a akin outcome in conditions of mathematical advances and, additional importantly, individual understanding.

“Will investigation mathematicians rotate into `professional prompters’ and interpreters of LLM output?” There is no sign that this volition be the case. Yes, LLMs have produced proofs of crucial results slightly autonomously (according to the frontier example companies — see Disclaimer 2) that several mathematicians have been tasked alongside interpreting and digesting. But in my own experience, and another investigation mathematicians who are using LLMs in their investigation appear to agree, operating alongside an LLM is akin to discussing a issue alongside a collaborator, and the results heavily depend on how much direction and intuition the mathematician inputs into the conversation. In another words, the LLMs are additional than tools: they can be investigation collaborators but, as in any collaboration, the cognition and the results are greatly improved whenever all parties contribute to the discussion. Further, mathematicians have no desire to immediate “solve the Riemann hypothesis, create no mistakes” and afterward construe the proof. We favor to be energetic participants during all the steps in the procedure of the finding of a proof, since we are motivated by the `why the outcome is true,’ additional than by the final answer that `the declaration is true.’

Also, if we buy into the former idea of the convex hull of ideas, afterward at several item in the near forthcoming it volition be unattainable to create advancement in math without a individual adding a new idea, a new definition, a new idea that creates a new spike in the polytope, and afterward advancement can occur.

“Will lone the `brightest minds’ be capable to meaningfully contribute to investigation mathematics?” At any stated period in the former of mathematics, there have been mathematicians who are investigation active, and whose mental capability for math seems entirely excellent individual (e.g., the owner of this blog, among many others). It is natural to surmise that they could resolve any issue we could solve, in a fraction of the period it would obtain us to complete a evidence and compose it up. However, this has never stopped those of us alongside a additional humble capability for math from enormously enjoying doing research, and producing results that are far from insignificant. In fact, math has continually benefitted from the range of ideas and points of view, from the extremely tangible to the big bird’s eyeview, from the smaller contributions to the construction of complete new theories.

Similarly, I am not threatened by the mathematical capability of LLMs. For one item their capability is currently limited, as pointed above. And for another, equal if their capability becomes far superior, there volition continually be a need for mathematicians at all levels to guide investigation in paths that create awareness for humans to stroll (not run).

The mathematical cosmos is enormous (as Emily Riehl said), and computing period is finite. There volition continually be areas of math that are under-explored and anywhere equal beginners can interrupt new ground. The LLMs can assistance in the process, by quickly exploring avenues that may be deceased ends, pointing out paths that have already been explored, and glowing a ray on paths that are apt to be fruitful.

As I mentioned above, I have never been this busy, since the admission to LLMs has multiplied the figure of areas that I have admission to, and my curiosity has expanded fine beyond my investigation area. I now have many additional ideas that I can perchance examine on my own, so I am recruiting additional pupil collaborators than always before, to assistance me test whether these problems can guide to engaging results. Students can be engaged in investigation before than always before too since the LLMs can assistance them study matter faster (and deeper!), by morality of being accessible 24/7 to answer their questions, alternatively of my meager one or two accessible hours per week to encounter alongside them.

“Will mathematicians be needed? Will they be employable?” I discover these questions natural but additionally perplexing. Even in the most dystopian of scenarios anywhere AI becomes excellent individual in all investigation tasks, what fine would a evidence (of a theorem in clean mathematics) be if there are no individual mathematicians to digest it and comprehend it? Regardless of the advances in LLMs and AI, there volition be mountains of investigation to be understood by humans, alongside or without the assistance of a computer.

In addition, we appear to ignore that math departments be in universities to assist two chief goals: discovery and communication of mathematical knowledge. Virtually all math division emphasizes, in equal parts, our investigation and instructional missions (and many institutions location the instructional goal of math at a much higher flat than their investigation mission). Mathematics courses are an integral part of a broad arts syllabus since learning to think as a mathematician is a extremely helpful and applicable skill. The fact that we are researchers adds huge value to our instructional goals, since students are finest served learning from those scientists who are in the frontlines of research. The investigation opportunities that we provision for undergrads are a extremely precious add-on to their curriculum, as it is a distinct category of training that helps them be employable in the future. And as lengthy as the mathematical way of thinking continues to be a extremely precious accomplishment to be learned by the undergraduate population, there volition be a awesome need for mathematicians to be hired by universities.

The LLMs are making math investigation additional accessible than always to those who are not equal in academia or equal mathematicians. This method that undergrads volition be capable to associate genuine mathematician-led investigation projects much additional easily, and it may be a new productive dirt for exploration. Not mindless exploration, though, but mathematical exploration anywhere the goal is understanding and for the students to be initiated and trained into a extremely specialized site (in an ethical way). And, of course, we should prioritize training students in how to communicate the math they learn, as that has continually been (and likely volition rotate into equal additional of) a crucial skill.

All of this to say that I cannot conceive that the LLMs volition displace mathematicians from their jobs. On the contrary, they power create jobs since our investigation efficiency may sky rocket. On the another hand, I am additional concerned concerning policies and backing issues that are governmental in nature and have nothing to do alongside the AI and LLM conversation.

Finally, the most crucial inquiry of all, that I wanted to location here:

“Should I prosecute a PhD in math at this time?” The answer to this inquiry have to be individual to all and all student. But, in my opinion, the answer should not have changed from a twelvemonth ago to today. The most crucial logic (and perchance the lone reason) to do a PhD in math have to be that the applicant is passionate concerning math and wants to rotate into an expert in a particular topic inside our field. If that is the goal, afterward the existence of LLMs in math is irrelevant, since the goal is achieved whenever the applicant has gained adequate cognition to be an expert on a particular problem. If anything, LLMs may be used as a tool to accomplish that goal additional efficiently. For one, I am using them all day to eventually comprehend concepts and techniques that I continually had questions about, and now I can query an LLM until I am completely satisfied. I am capable to hunt for the explanations and examples that click alongside me, that click alongside my own particular way of thinking concerning mathematics.

To what flat a pupil wants to use LLMs in a math PhD have to be a individual choice but I volition say that, as my coworker Jeremy Teitelbaum put it in a latest discussion (here is the bit I am referring to, and current is the complete interview), students cannot oversee not to study concerning the current capabilities of LLMs, or any another innovation for that matter. If your goal is to rotate into an expert, afterward you have to be amenable to learning from all experts in the field, and from all sources that may authorize you to go deeper into a topic than anyone alternatively before you — and LLMs can be extremely productive tools to examine literature, for instance.

But formerly again, the decision to do a PhD should not be according to the current province of the art of technology.

I wanted to do a PhD in math since it seemed akin a magnificent challenge. I wanted to do a PhD since I wanted to study how Andrew Wiles proved Fermat’s Last Theorem. I wanted to continue studying math since I merely did not desire “a genuine job,” and the chance of contemplating advanced math on my own for a few years seemed akin a aspiration to me, fair too fine not to provision it my finest shot. I cognize I would have deeply regretted it if I had not tried to complete a PhD whenever I had a chance (the finest period to do it is whenever your undergrad cognition is fresh!). I wanted to comprehend mathematicians conversation concerning math, and rejoice in the small small particulars and miracles that create proofs work. I wanted to encounter and suspend out alongside another group who additionally idea figure theory was the coolest item on Earth. I wanted to publish a document in a investigation journal, alongside my name on it, since I discovered a new theorem that no one had idea of before. I wanted to explain and portion my enthusiasm for math alongside others in a classroom and exterior of the classroom.

Simply put, I fair wanted to do math, and I would have been devastated if several undefined danger to the site of math frightened me distant from the chance to prosecute a PhD.

And if you are a pupil that is passionate concerning mathematics, and person who wants all of that too, afterward a PhD is the correct way for you, despite of the innovation accessible during your degree. You volition study to use the innovation to a flat that you are comfortable with, and that fulfills your own dreams and expectations of what a PhD in Mathematics method to you.

Afterword: the BIG OpenAI release. After I completed penning this blog post, and had already sent it to Terry, OpenAI released a huge treasure trove of results in mathematics. This is, undoubtedly, a historic period in mathematics. The theorems in their document demonstrate several huge open problems in mathematics: the resolution of the so-called quasi Riemann Hypothesis, Goldfeld’s conjecture, the Hodge Conjecture in the case of CM abelian varieties, Hilbert’s 10th complete Q, the Rigidity Conjecture… and the catalog goes on and on.

But specified a enormous publish does not power me to alter any of the points I made above. On the contrary, we already knew their models can do amazing things (e.g., Navier-Stokes). We already knew the frontier models can nexus dots in the existing writings in ingenious ways (e.g., unit-distance conjecture). We already knew that OpenAI can expend a mind-boggling amount of resources to assault problems.

Also, we suspected that their models have limits and the new publish shows evidence of that too. In their report, they citation that they attacked 4000 open problems, and their example was capable to create advancement on concerning 700 connected problems. Yes, several of the ones they were capable to resolve are huge. But it additionally shows that their models are limited, fairly perchance because of the arguments we explained above.

Are any of the solutions using new ideas that are exterior of the convex hull of the current ideas in the literature? We volition need mathematicians and period to digest these new proofs and comprehend what connections are being made, and whether brand new ideas were really discovered in the process.

The chief item of my article remains the same, though. There is a lot of mathematical investigation that remains to be done alongside and without the aid of LLMs. There are new mountains of math to explain and communicate to others. And if you are a pupil who is passionate to study what is new and what is remaining to do, afterward a PhD is certainly the correct way for you.

We're bad at marketing

We can acknowledge it, promotion is not our powerful suit. Our power is writing the benevolent of articles that developers, administrators, and free-software supporters depend on to cognize what is going on in the Linux world. Please subscribe today to assistance us keep doing that, and so we don’t have to get fine at marketing.

Why annoy alongside C in 2026? It is, he said, motionless a awesome language. C is portable, stable complete the lengthy term, offers accelerated compilation, and the resulting binary code is fast. "What you see is what you get"; it is uncomplicated to appearance at C code and have several idea of what the device will actually do. There are a lot of tools for operating alongside the language, and C gets out of the way whenever necessary.

C does have a lengthy history, and that affects the tongue as we see it today, he said. The C89 norm had to oversee alongside a broad assortment of hardware, including machines alongside signed-magnitude or one's-complement integer representations, segmented memory, exotic pointer representations, and amazing sizes for types. Some Honeywell machines, for example, had nine-bit bytes. That greatly complex the project of penning a standard that would allow the penning of portable code.

The method that was taken was to define the semantics of the tongue in terms of an theoretical machine. All operations are to be executed as if they had run on that theoretical machine, which may not exactly equivalent the actual hardware. The observable behavior of the program must be what the abstract machine would have done. The "observable" part matters: admission to volatile variables, being defined as observable, must happen exactly according to the theoretical machine; everything alternatively fair has to produce the identical eventual result.

The norm gives a lot of liberty to compiler implementers; lone the observable behavior have to be preserved. There are many aspects of that behavior that are either undefined or implementation-defined. These are not observable behavior, and thus do not constrain what compiler implementers can do. There are, of course, another details that can constrain compiler developers anywhere the C norm does not; these contain ABI requirements, standards akin POSIX, or the need for backward compatibility.

Undefined behavior comes concerning whenever a program does item that is either not portable or not defined by the norm at all. In specified cases, the C89 standard states that it "imposes no requirements" on the implementation. Undefined behavior exists for a figure of reasons. It allows implementations to assistance extensions, manage interactions alongside hardware-based safety mechanisms, and execute aggressive optimization, all during allowing difficult-to-detect errors to be ignored. It explicitly gives the compiler the correct to disregard entire classes of hard-to-detect errors.

Nasal demons

The problem, Uecker said, is that the norm allows a compiler to do anything in reply to undefined behavior, up to the item of invoking nasal demons. If a program contains any undefined behavior at all, according to compiler writers, afterward it has no expected semantics. The C++23 standard goes additional to explicitly province that the norm imposes no requirements for these programs. That has led to general disagreements between developers concerning what can be expected from the language.

For example, if you zero an complete construction (perhaps alongside a call to memset()), then compose to particular fields, what volition happen if you peruse from any padding bytes in that structure? Might they merge security-relevant data? A 2015 survey showed that there was no agreement on what should happen in that case. Or regard this uncomplicated code:

 extern int x; int f(int a, int b) { x = b ? 42 : 43; return a/b; } 

If b is zero, afterward the come back declaration is a division by zero, which is undefined behavior. In this case, is the compiler entitled to omit the test entirely and fair execute x = 42? After all, the b = 0 case has no expected semantics, and can thus be ignored. There are compilers that volition do exactly that. In the undefined-behavior case, the shop to x is not observable behavior. But now consider this case:

 extern void g(int x); int f(int a, int b) { g(b ? 42 : 43); return a/b; } 

This power appear to be the identical situation, alongside the compiler being entitled to eliminate the test and fair continue 42 to g(), and several compilers have treated that way — but that compiler behavior was a bug. Imagine a definition of g() that calls exit() if b is zero. In that case, the division volition never happen and the program's behavior is not undefined. So eliding the test and merely passing 42 to g() is incorrect.

One additional engaging case:

 volatile int x; int foo(int a, int b, bool store_to_x) { if (! store_to_x) come back a/b; x = b; return a/b; } 

The inquiry current is: can the compiler hoist the final division operation above project to x? If there are no semantics connected with the b = 0 case, afterward there is no alter in observable behavior. This, too, is item compilers have done, but the C23 norm added a "no period travel" stipulation to disallow it. In C++, instead, hoisting must be explicitly prevented by inserting a call to std::observable_checkpoint().

Time-travel bugs should eventually go away, but there are a lot of other situations where, equal if the norm is clear, compiler writers often disagree. These contain study of uninitialized variables (which is almost continually defined), and equality comparisons of pointers, which is continually defined, but is additionally miscompiled by the two Clang and GCC.

Fighting undefined behavior

To try to location all of these problems and more, the C commission runs three study groups focused specifically on the recollection entity model, memory safety, and undefined behavior. There are currently concerning 100 instances of undefined behavior in the C standard, but the in-progress C2y outline has removed 45 of them. The circumstance is certainly getting better.

There is an increasingly affluent set of tools aimed at finding issues: compiler warnings, fixed analyzers, sanitizers, LLM-based tools, formal verification, and more. The figure of situations anywhere a compiler will emit a alert anywhere imaginable undefined behavior is detected is growing; recent examples contain improved warnings for entire figure overflows and potential use-after-free situations. Static analyzers are accessible as standalone tools, but are additionally increasingly being built into the compilers themselves; GCC can now notify concerning a figure of possible buffer-overflow situations, for example. Sanitizers activity by inserting run-time checks; they can catch a lot of undefined behavior and, in trapping mode, be used for hardening as well.

Memory safety has never been one of C's powerful points, but Uecker wanted to make the item that it can be improved. That issue breaks downward into three sub-problems: category safety, spatial recollection safety, and temporal memory safety.

C, he said, has a powerful category system, and the remaining problems are fixable. Tagless unions, for example, can create category confusion, but the compiler can enforce types alongside several additional annotations. New diagnostics can capture unsafe casts from void. Type checking across translation units is traditionally not a huge issue in C, since header records are used to justify accordant types, but the circumstance could be improved alongside a link-time checker.

Spatial recollection safety — limits checking — is a partially solved problem; the compilers can execute array-bounds checking in many situations now. In some cases, several code changes are needed to completely advantage from this checking. Use of the counted_by attribute can allow checking for elastic gathering members, for example.

Temporal recollection safety — avoiding use-after-free bugs and the akin — is harder, Uecker said, and Rust certainly has an advantage there. Still, better temporal memory-safety implementation is possible. Architectures like CHERI can assistance current is well. Fil-C can discover a lot of temporal-safety bugs.

Can all of these tools and tongue changes get us to complete recollection safety? Completely solving the issue volition necessitate either costly run-time checking or ceremonial verification, he said. In the near future, the most complete results volition be had alongside the blend of a restricted language and ceremonial verification tools.

Overall, he concluded, C is motionless a living tongue and is motionless improving. The C23 norm removed a figure of problematic features, including old-style (K&R) function definitions, assistance for sign-magnitude and one's-complement machines, and trigraphs. It added bit-precise integer types, checked entire figure operations, and more. C2y volition go further, adding case ranges, named for loops, the _Countof() macro to determine gathering lengths, and a lot of "demon removal". It volition not achieve complete recollection safety for C, but that is an eventual possibility, and will rotate into additional applicable complete time. He ended by encouraging interested people to act in the operating groups.

The video and slides from this talk are available.

[Thanks to the Linux Foundation, LWN's journey sponsor, for supporting my travel for this event.]

Three years ago, Menlo Ventures partner Matt Murphy helped guide among the earliest investments in Anthropic. Menlo volition be among the biggest winners whenever the business goes public, alongside a interest estimated at about $14 billion. Before the IPO, Murphy sits downward alongside Chief Correspondent Ben Bergman to conversation how the prosperity flowing into these important AI companies is impacting the broader backing environment, and anywhere he's looking for the next big opportunity.

Most of us run our lives throughout a to-do app, a habit tracker, a budgeting spreadsheet, a Pomodoro timer and a notes app — and none of them cognize concerning all other. Edi Life OS puts all of it in one calm, personal dashboard and connects the small things you do today to the direction you desire your existence to take.

• Everything in one place. Ten workspaces portion one design, one sign-in and one database.
• Connected, not fair collected. Habits run goal progress, Kanban cards display up in the calendar, and the Overview turns it all into one regular score.
• Yours. Runs on any PHP + MySQL host, equal cheap shared hosting. No subscription, no tracking, no vendor lock-in.
• AI-ready. A built-in MCP server lets Claude and another assistants peruse your dashboard, scheme goals, log habits and track expenses for you.

Growth — Six existence dimensions, all connected to long-term goals, SMART goals, habits and tasks. Guided weekly, monthly and quarterly reviews.	Focus — Pomodoro sessions alongside breaks, a built-in concentration soundtrack and a landscape that follows the period of day.
Habittify — Small regular habits, streaks and a seven-day image of your consistency.	Kanban — Boards alongside labels, priorities, due dates, checklists, comments and attachments.

Dates prosecute Asia/Tehran. The climate cardstock shows Qeshm Island via Open-Meteo; its tide fig is a modeled estimate, not for navigation.

Edi Life OS ships alongside an optional MCP server that exposes 26 tools throughout your dashboard, goals, tasks, habits, finances and notes. Connect it to Claude Desktop, Claude Code or any MCP client and ask in plain language:

"Show me my LifeOS dashboard."

"Create a SMART goal called Build a residence studio, due in three months, and add Buy acoustic panels as a task."

"Mark Reading complete for today."

"Log a 450,000 Toman food disbursal and display my balance."

The MCP server talks to your app lone through its token-protected HTTP API. It never touches your repository or credentials. Setup takes a infinitesimal — see MCP server below.

git copy https://github.com/edrisranjbar/lifeos.git && cd lifeos cp .env.example .env # set your sign-in and passwords docker create up -d

Open localhost:8080 and sign in. MySQL, the app and your attachments all live in their own volume, so docker create up -d --build following a git drag upgrades without losing data.

Download lifeos-<version>.zip from the latest release and extract it into your hosting home directory, so public_html/ becomes your web base and the backend sits safely complete it. Copy config.example.php to config.php, inhabit in your MySQL details, and open your site. See the deployment guide for details.

You need PHP 8.1+ (with pdo_mysql and mbstring) and MySQL 8+ (or MariaDB 10.4+).

git copy https://github.com/edrisranjbar/lifeos.git cd lifeos cp config.example.php config.php # PowerShell: Copy-Item config.example.php config.php

Edit config.php alongside your repository association and the username and password you desire to sign in with, afterward commencement the server:

php -S localhost:8000 -t public_html server.php

Open localhost:8000 and sign in. The repository and tables are created on archetypal use. You can alter your sign-in afterward in Settings.

A personal /api/v1 API covers the dashboard, goals, tasks, habits, finances and sticky notes. It uses its own transporter token, distinct from your browser sign-in.

php -r "echo bin2hex(random_bytes(32));"

Set the outcome as api_token in config.php (or the LIFEOS_API_TOKEN surroundings variable), then:

curl -H "Authorization: Bearer $LIFEOS_API_TOKEN" https://your-host/api/v1/dashboard

See the API reference for endpoints, payloads and errors.

cd mcp npm ci cp .env.example .env # set LIFEOS_BASE_URL and LIFEOS_API_TOKEN npm start

The server runs complete stdio; there is no hosted MCP endpoint. The MCP guide lists all tool and shows client configuration for Claude and Codex.

• Everything lives in your MySQL database. Habits use dedicated tables; another workspaces shop JSON documents in app_state.
• Saves use revision checks, so a old tab can't silently overwrite newer changes. API writes use transactions and row locks.
• Data from older browser-only versions is imported once; conflicting copies are archived as legacy_backup_* records.
• Back up the database, attachment records and your configuration together.

Moving from the old Habittify SQLite database? See migrating Habittify.

Edi Life OS is built for a single owner.

• The API token grants peruse and compose admission to all supported domain. Token scopes and app-level charge limiting are not implemented, so set petition limits at the hosting layer.
• Use HTTPS anyplace another than localhost, and keep tokens out of URLs, frontend code, screenshots and logs.
• Secret notes are hidden from API says by default. The concealed emblem controls visibility; it is not distinct encryption.

public_html/ Browser workspaces, shared resources and Apache admission points lib/ API domains, reply helpers and province transactions mcp/ Optional Node.js stdio MCP server tests/ Timer, API, MySQL and integration checks docs/ Guides, affirmative README screenshots in docs/media config.example.php Configuration template (no genuine credentials) server.php Development router and use routing api.php HTTP API admission point 

Built alongside PHP, MySQL and vanilla JavaScript — no frontend build step, no framework.

Dockerfile, docker-compose.yml and docker/config.php run the app alongside configuration from surroundings variables.

• API reference — authentication, routes, data formats and concurrency
• MCP guide — tools, surroundings settings and client setup
• Deployment guide — Apache, shared hosting, backups and migration
• Development guide — local checks and available integration fixtures
• Growth workspace · Debts and credits

MIT © 2026 Edris Ranjbar. Use it, fork it and build on it.

Ideas, bug reports and drag requests are welcome. Open an issue to commencement a conversation, and see the development guide to run the checks locally.

Indeed, at smallest two group asked if I scheme on sending Sam Altman a flask of whisky, as promised in my Problems page. The answer to that is no. And let me explain to you why, and why you have to be extremely furious at OpenAI.

Let me explain item first. I am not entirely against the use of AI. I comprehend that it is a tool, and many group discover it useful, and I am blessed to concur that it is merits. I think that we need to improved comprehend how this innovation changes our site and how we desire to use it before we hurry to throw our lot alongside it. This is why I mostly evade using AI for math (I am blessed to ask LLMs to consolidate data for me, or to create a helpful infographic, or to evidence peruse an email, etc.), it's fair the example of using it that is currently missing in my view. Still, we are in the phase of discovery, group use it and we see the consequences unfold and we can decide as a community to clasp it additional or restrict its use. For example, arXiv introduced charge limiting as a consequence of these tools, and nearly all document should contain several AI declaration at this item (even to province that no AI was used, I guess). We need to decide how we fairness the contribution of the author, e.g., do we necessitate the conversation log be made public, or at smallest accessible to the reviewers and the editor? These are questions that we need to contend alongside and see anywhere they obtain us.

But, rear to the Partition Principle. I took a concise appearance at the preprint released by OpenAI (not at the Lean code, since I cognize extremely small of the genuine use of Lean, and that code was enormous). It sucked. It is unclear, muddled, and has a different structure. The terminology is "a bit off", there are theorems that I would not anticipate to be proved, that are additionally stated in a extremely different manner. Lemma 7.4, again, is not item you'd anticipate to see in a document akin this, the identical goes to Lemma 8.1.

Then there are the references. One of my document on the Bristol example is cited for several essential introduction of symmetric extensions, which is not the citation I would have chosen; at smallest three unpublished, unrefereed, and non-arXiv'd address notes are used as references (including mine, which is used to mention to one proposition that I am certain appears in several published document of quarry and of others). That's not what you'd anticipate from a grave preprint claiming to resolve a problem.

Let me difference this preprint to any document in set theory that isn't dealing alongside the technicalities of a subfield I'm not acquainted with. I can nearly certainly skim a set theory document and have a fine idea as to what is going. I power not be acquainted alongside several of the terminology, or the arguments, but for the non-technical stuff, I have to be capable to comprehend the scheme and the construction. And for document on my expertise, on the Axiom of Choice, I volition mostly need to skim the document briefly to have a fine idea as to what the authors did (or intended to do). Not to say that I am continually right, or that I continually get it exactly as the authors intended, but this is what I've spent complete 15 operating on, and by now I have a beautiful fine idea how it works. But alongside OpenAI's document on the Partition Principle this is impossible.

No, if this was an scholarly document submitted to a journal, it have to be issued a array rejection for the quality. The onus is continually on the author to conform and adhere to the communications level. Much akin a document written in Swedish would apt be rejected outright from the Proceedings of the American Mathematical Society, since the onus is on the authors to create it accessible for the readers. And therein lies the rub.

OpenAI drops several hundreds of "solutions", incomprehensibly written "solutions", and we are all expected to jump on them and what? Appreciate their contributions? Why? I am trying to complete multiple papers, I am supervising a figure of Ph.D. students, and I have a lot of energetic investigation of my own to do. When am I expected to sift through a seriously written paper? Why should I bother, whenever they don't annoy to communicate better?

The OpenAI media publish fair suggests "progress". But the media cycle, for everyone else, these are "solutions". This is a ideal way to have your pie and eat it too. But it is the equal of a Denial of Service, should we desire to obtain it seriously: halt everything alternatively and fig this one out. And perchance several group worked for years on a issue that they power fair do that, but as a whole... Well. If this was genuine attempt to portion progress, the norm of the penning would be better, it would obtain several input from genuine experts on the genuine topic. OpenAI is a occupied company, but I am certain that if they desire to be genuinely helpful, they can discover the period to communication a few mathematicians for direction and input, if nothing else, afterward on the norm of the outputs. Because equal if this is a huge jump onward in improvement, it is not nearly at the satisfactory level. But hey, everyone can assertion that ChatGPT solved a long-standing issue (this one, concerning the Partition Principle, is complete a hundred years old), so why should OpenAI care?

And what are we, the mathematicians, remaining with? We are remaining alongside a public, backing bodies, and guideline makers that are not academics, not experts, not mathematicians, nor they are acquainted alongside how mathematical investigation is done (since it is extremely distinct from investigation in biology, psychology, or philology), who see these "results" and think that we can substitute mathematicians alongside bots. This is the equal of replacing the chef alongside the galley tools, equal if the blade is automatic and can cubes veggies on its own, there is motionless a important extend between that and palatable food that you'd desire to eat.

It seems to me, that the AI tech companies would akin us to conform to their standards, fairly than expend the period and energy to conform to ours. And I am fearful that this fair volition not do. So, no, I volition not be sending Sam Altman a flask of whisky anytime soon, nor I am preparedness on spending my period study through that document and trying to create awareness of it.

Want to comment? Send me an email!

Read next

Read next

Stop paying for Adobe. Flush the incrapification.

A liberated photo publishing company for macOS, Windows and Linux.
No document needed, no subscription, no “we’ve updated our terms” emails.

Download · Self-host · Features · Build

All records and checksums: Releases. Builds aren't code-signed yet: on macOS use System Settings → Privacy & Security → Open Anyway; on Windows More info → Run anyway.

Serve Rembrandt from the device that holds your photos and edit them in any browser:

curl -fsSL https://raw.githubusercontent.com/thesnarkitecht/rembrandt/main/install.sh | attack -s -- --server

It asks which photo directory to use, starts at login, and prints a personal link. Edits are saved next to all photo as XMP; the photos themselves are never changed. Add --lan to attain it from other devices on your network. Linux and macOS; one small dependency-free binary (server/). To update, media Update in the browser (Settings › About); it installs the latest release, checks it against the published SHA-256 sums, and restarts the server.

• Ask in words: category “warmer and a bit brighter”, “down visibility by ten points”, “shadows +25” or “paste the edits from the former photo” (Ctrl/⌘ K). A small Rembrandt in dots thinks it over, then makes all alter during you observe the sliders move. It runs on your device: a vocabulary, not a tongue model.
• Edit the photo itself: drag up or downward on any part of the image to lighten or darken that tone, remaining or correct to alter that colour; the sliders follow.
• AI looks: Enhance, Relight, Sky, Atmosphere, Sunrays, Skin, Motion and Lens Blur with aperture shapes, from on-device degree and topic maps.
• Refocus: brings rear item in out-of-focus photos, equal dense defocus (regularised deconvolution on the GPU), on the topic or the entire picture.
• Super Resolution: 2× and 4× alongside genuine detail, or Restore at the identical size for gentle photos; runs on the GPU (Metal on Apple silicon).
• AI Denoise: spotless high-ISO shots into a new DNG alongside the identical edits, on the GPU.
• Background activity that stays out of the way: AI Denoise, Super Resolution and merges run in small GPU slices that intermission during you edit, or whenever you're away, or overnight in a night opening you set (Settings › Performance). The queue survives restarts.
• Merge: HDR from brackets, panoramas and concentration stacks, all to a RAW-like DNG.
• RAW from 1,000+ cameras, developed on the GPU: tone, colour, curves, grading, dehaze, detail.
• Masks: brush, gradients, color and spirit ranges, AI subject, background, entity and depth.
• Remove: heal and copy spots and strokes; Rembrandt picks a matching origin for you.
• Lens corrections: the camera's built-in overview from Fujifilm and Sony RAWs, or one of 1,500 lens profiles from Lensfun (distortion, vignetting, chromatic aberration), affirmative manual distortion and vignetting for any photo. Auto straighten levels horizons.
• On-device AI: Refocus, backdrop replacement. Nothing is uploaded.
• Library: albums, ratings, flags, color labels, keywords, virtual copies, search, Find similar, sorting, keyboard shortcuts (or Lightroom's), one-click delete alongside Undo.
• Batch: copy and paste edits to hundreds of photos, lot export, and presets that fit each photo's exposure. Watch a directory to use a preset and gathering to new photos as they arrive.
• Share how: a before/after leaf alongside a slider, a replay video of the edit, or the formula inside the exported document so anyone can see (and reuse) how it was edited.
• Bring your photos: folders, Lightroom Classic (edits, keywords, labels, virtual copies, collections, alongside a study of item that can't arrive over) and Lightroom, Google Photos, Google Drive, Dropbox, OneDrive (setup). Export rear to them too.
• Open formats: edits are norm XMP, readable by Lightroom and others.
• Cloud sync (optional, paid): rotate it on in Settings to sync edits, albums and photos between your computers, the web and your phone. It's the lone item that needs an account, and the only thing that expenses money; everything alternatively stays free.

Rembrandt is liberated and stays free. Star the repo, inform a photographer, report a bug or dispatch a fix.

npm ci && npx http-server -c-1 . # web app npm run tauri dev # desktop app (Rust + Tauri prerequisites)

Details in docs/building.md. Contributions welcome: CONTRIBUTING.md.

Free application under the GNU General Public License v3.0 or later, the identical licence as darktable. Use it, study it, alter it and portion it; if you allocate a modified version, portion its source under the identical terms. It may additionally be distributed through app stores (an additional permission under the GPL; see NOTICE.md, which additionally lists the third-party parts).

_{Screenshot photos from the scikit-image example data: espresso by Rachel Michetti and cat by Stefan van der Walt (CC0), missile initiate by SpaceX and Hubble eXtreme Deep Field by NASA (public domain).}

Read next

REDWOOD CITY, CA, October 7, 2026 — Biohub, the U.S. Department of Energy, the National Institutes of Health, and new backing partners today announced a important enlargement of an global attempt to create and create accessible the data enabling predictive AI models of biology. Together, the organizations are investing $1.8 milliard in funding, data, computation, and new measure technology, the largest coordinated dedication to generating AI-ready biologic data to date. The outcome volition be an open asset for the investigation community that provides the basis for greater understanding and ultimately care of individual diseases.

As part of this announcement, Biohub has partnered alongside the Department of Energy (DOE) Office of Science and the National Institutes of Health (NIH) to advancement the frontier of synthetic intellect in biology. DOE volition allocate additional than $500 myriad complete five years in lab measurement, modeling and computation toward the global attempt to build an AI-ready open data resource. NIH volition coordinate the contribution of applicable datasets, repositories, and cognition bases developed through additional than $500 myriad in previous national funding aligned to this initiative. Biohub volition activity alongside NIH to standardize these datasets for AI example training.

In addition, Google DeepMind, Isomorphic Labs, and Meta are collectively investing $300 myriad in the Virtual Biology Initiative to create the technologies and multi-modal datasets needed to build predictive models of life. 

These datasets volition allow the earth specialized community to collectively build and use AI models that authorize researchers to ask, predict, and answer biologic questions digitally, accelerating the way to new ways of preventing and treating diseases. This undertaking volition provision the foundational measurements to train these models, expanding division reply data to interventions throughout far additional division types and conditions than have yet been studied, and construction and validating technologies for studying cells and cellular interactions at greater scale, speed, and accuracy.

“An exact predictive example of existence discipline could dramatically accelerate specialized finding by enabling scientists to execute experiments digitally. The insights that arrive from this could unlock a far greater understanding of sickness and open up entirely new paths for cures,” stated Biohub Head of Science Alex Rives. “Because of this potential, the innovation of a virtual division is among the most crucial challenges for the next era of science. It volition necessitate coordinated data generation efforts at a national and global scale, which is why these partners are coming together. We invitation the worldwide specialized community to associate us in this project.”

The Virtual Biology Initiative, announced in April 2026, volition coordinate data generation throughout institutions and disciplines to build AI-ready open datasets to allow predictive models of life. Biohub’s founding $500 myriad dedication anchors that work: $400 myriad supports new technologies that develop what biologists can measure: cryo-electron tomography, which resolves near-atomic item inner the cell; microscopy that can depiction millions to billions of cells in living tissue; and engineering tools to build and perturb existence discipline at molecular, cellular, tissue, and whole-organism levels. A additional $100 myriad finances investigation exterior Biohub.

“Generating the data to resolve predictive systems existence discipline requires scaling former the limits of what any sole institution can create today,” stated Max Jaderberg, President of Isomorphic Labs. “By joining the Virtual Biology Initiative as a founding member, Isomorphic Labs is assisting build a massive, multimodal data foundation. This undertaking volition create the data needed to shove the industry nearer to the next important breakthrough for biology.”

Through the Genesis Mission, a cross-agency undertaking led by the Department of Energy, DOE volition contribute additional than $500 myriad complete five years in essential division investigation — data collection, AI analytics, measure and imaging, modeling, and computation — example on exascale supercomputing, X-ray and neutron scattering, cryo-electron microscopy and tomography, and autonomous laboratories throughout the National Laboratory system.

“This alliance represents a crucial stage onward in leveraging synthetic intellect for community benefit,” stated Darío Gil, DOE’s Under Secretary for Science. “By combining DOE’s exascale computing, experimental measurement, and modeling assets, including premier person accommodation at the Joint Genome Institute, the Environmental Molecular Sciences Laboratory, and advanced structural beamlines alongside the distinctive AI models, tool development, and biologic data capabilities of Biohub, we are environment a new norm for open discipline that volition accelerate discoveries in the two medication and biotechnology.”

Through its Bio Genesis Mission, NIH volition bring together existing biomedical datasets, national data infrastructure, and investigation programs to assistance build AI-ready resources for the broader specialized community. NIH’s extended investments in biomedical investigation provision a basis for this work; resources contain national biomedical repositories catalogued by NIH’s National Library of Medicine (NLM) and the National Center for Biotechnology Information, as fine as NIH Common Fund programs that are already evolving coordinated biologic atlases, shared data standards, and AI-ready biomedical datasets. 

“By combining resources and expertise, we can accelerate the betterment of worldwide division models alongside adequate biologic complexity to foretell how any division responds to an intervention,” stated Nicole Kleinstreuer, Ph.D., NIH Deputy Director Program Coordination, Planning, and Strategic Initiatives (DPCPSI). “The come back from these models could be broad and profound, resulting in substantially faster timelines for medicinal breakthroughs as compared alongside attempting to attain the identical results through lab experiments alone.”

In addition, foremost specialized institutions and consortia alongside cognition in organizing transformative global collaborations, from the Human Genome Project onwards, have arrive together to assistance nucleate the specialized community throughout academia and industry about evolving productive specialized strategies to maximize the effect of virtual biology. The groups contain the Allen Institute, Broad Institute, Gladstone Institutes, the Human Cell Atlas, the Human Protein Atlas, and the Wellcome Sanger Institute. These groups are committed to operating together as part of the Virtual Biology Initiative as fine as through autonomous efforts toward this shared goal. NVIDIA volition assistance the undertaking to leverage accelerated computing infrastructure, domain-specific software, and specialized expertise. Renaissance Philanthropy is assisting to develop backing for data generation. 

As the undertaking takes shape, Biohub is bringing together partners throughout disciplines and industries to build the tier that lets their datasets activity in a unified manner — shared standards, average identifiers, and a sole item of access. Equally crucial is construction the specialized community about these resources — convening researchers throughout institutions and disciplines, connecting complementary ability and capabilities, and creating opportunities to define and prosecute aspiring specialized questions together. Over the former decade, Biohub has expanded the attain and effect of measure technologies and open datasets, foremost projects specified as Tabula Sapiens, OpenCell, and Zebrahub. It has additionally built and maintained community data infrastructure, including CELLxGENE and the CryoET Data Portal. The Virtual Biology Initiative builds on these experiences to allow coordinated efforts at a measure that no sole institution could accomplish alone. 

“The quest to build a virtual division is among the awesome company specialized challenges and key to understanding the mechanisms of life. We volition not resolve this difficulty without open, experimental biologic data at an unprecedented scale, showing how living cells behave and react to changes,” stated Pushmeet Kohli, VP, AI for Science at Google DeepMind and Google Cloud’s Chief Scientist. “This funding in biologic data generation volition assistance create an open, standardized data commons, which volition lay the foundations researchers about the earth need to improved example biology.”

###

About Biohub 
Biohub is a 501(c)(3) nonprofit investigation institute combining frontier AI and existence discipline to accelerate science. With its compute capacity, AI investigation and engineering, and state-of-the-art innovation for measuring, imaging, and programming biology, Biohub is enabling scientists worldwide to use AI-powered existence discipline to study how cells run and arrange as systems — alongside the supreme goal to cure or forestall all disease. Learn additional at biohub.org.

Press Contact
Biohub
press@biohub.org

Read next

October Prime Day has ended, but you can motionless get several a great deals. And during flashy TVs and gaming laptops normally hog all the glory, don't sleep on tech akin power banks and power division chargers: The products listed below volition justify you don't run out of accusation midway through the day or have to delay too lengthy during your equipment charges—and they're up to 38% off equal although Prime Big Deal Days are over.

This Anker foldable MagSafe power financial institution is 20% off

You continually need a power financial institution whenever you're traveling, and this Prime Foldable Power Bank from Anker is designed for the road. It's concerning the size and importance of an iPhone 17 Pro Max and delivers 25W of power. It's MagSafe, so you don't need to concern concerning a cord, it features a cooling scheme so it doesn't get too hot, and it can accusation up to three devices at once. (If you rely the Anker brand, here's the best Anker tech motionless on transaction following October Prime Day.)

Anker Prime 25W Qi2.2-Certified Palm-Sized 3-in-1 Foldable MagSafe Charger

$119.99 at Amazon

$149.99 Save $30.00

Get Deal

Get Deal

$119.99 at Amazon

$149.99 Save $30.00

This EcoFlow Rapid Pro power financial institution is 38% off

This EF Ecoflow is so powerful, it's nearly illegal: The 27,650mAh (99.54Wh) is pushing the limits of what the TSA volition let you transport onto a business flight. EcoFlow's Rapid Pro has a 140W USB-C cable built immediately into the component and a 3.9-inch LCD astute display that pairs alongside an app to display you real-time telemetry on your wattage and power division life.

EF ECOFLOW Rapid Pro Power Bank (27650mAh, 300W, 140W Built-in Cable), 4-Port Portable Charger w/ 140W Output, Up to 320W Recharge, Compatible alongside iPhone Series, Samsung, Laptop and More

$109.00 at Amazon

$175.99 Save $66.99

Get Deal

Get Deal

$109.00 at Amazon

$175.99 Save $66.99

This ZZI portable charger power financial institution is 39% off

This ZZI Power Bank is way cheap—$30, downward from $48.99—and can accusation five devices at once. It juices an iPhone 15 to 60% in 30 minutes, has a display to track power, and weighs lone 15.5 oz, so you can obtain it alongside to the zoo or wax museum.

ZZI Portable Charger Power Bank 60000mAh, 22.5W PD Fast-Charge Battery Pack

$29.98 at Amazon

$48.99 Save $19.01

Get Deal

Get Deal

$29.98 at Amazon

$48.99 Save $19.01

This Podoru MagSafe power financial institution is fair $16.99

This Podoru charger has complete 12,000 Amazon reviews and a ranking of 4.2 stars. It's small than $20, features a 5000mAh battery, and sticks to the rear of your phone alongside a mighty magnet. Plus, it's slim adequate to effortlessly fit in the pocket of your skinniest jeans, and comes in a bunch of distinct colors.

podoru for MagSafe Power Bank 5000mAh, Ultra-Slim Magnetic Portable Charger

$16.99 at Amazon

$21.99 Save $5.00

Get Deal

Get Deal

$16.99 at Amazon

$21.99 Save $5.00

Power Bank After Prime Deals FAQ

What is the difference between MagSafe wireless power banks and norm portable chargers?

MagSafe power banks break immediately onto the rear of compatible iPhones and compatible magnetic cases for wireless, cable-free charging. They are mostly portable but accusation slower (usually 7.5W–15W) and create additional heat. Standard chargers necessitate a cable, but accusation a greater assortment of devices and mostly recommendation faster charging speeds.

What size power banks are allowed on an airplane?

TSA and FAA guidelines restrict power banks to a maximum capability of 100Wh. All of the power banks current are compliant alongside FAA and TSA standards.