Search Articles — Sudonull

Search Results

In this project

Spring AI ONNX Vulnerabilities: injections and model substitution

https://sudonull.com/spring-ai-onnx-vulnerabilities-injections-and-model-substitution

Analysis of SQL injections in Spring AI, JSONPath and check bypass in ONNX. Checklist for Information Security specialists and DevOps. Inventory your AI stack and patch vulnerabilities.

AI in Mathematics: 50 Erdős Victories According to Tao

https://sudonull.com/ai-in-mathematics-50-erdo-s-victories-according-to-tao

Terence Tao Analyzes AI in Mathematics: 50 Solutions from the Erdős Catalog, Model Limitations, Co-author Role. Human-AI Symbiosis for Science. Read the Details.

AI Won't Replace IT Specialists: 9 Facts

https://sudonull.com/ai-won-t-replace-it-specialists-9-facts

Learn why AI won't take jobs from developers: failed forecasts, low ROI, model errors. Facts and data for middle/senior IT. Adapt skills to reality.

AI-agent KOMPAS-3D: models and drawings

https://sudonull.com/ai-agent-kompas-3d-models-and-drawings

AI controls KOMPAS-3D: builds parts, checks geometry, generates DXF. Tools for model state and scripts. Set up automation in 15 min for CAD tasks.

From other projects

AI model Pythia predicts CRISPR results: breakthrough in gene editing

https://ymaho.com/ai-model-pythia-predicts-crispr-results-breakthrough-in-gene-editing

Neural network Pythia from scientists in Zurich and Ghent predicts DNA repair after CRISPR, enabling precise gene insertion into non-dividing cells. Learn how AI is changing gene therapy.

COPD Model on Organoids: Studying Preclinical Stages

https://ymaho.com/copd-model-on-organoids-studying-preclinical-stages

A new COPD model on human lung organoids allows studying early stages of the disease. Learn how it changes preclinical research and saves billions.

OpenAI GPT-Rosalind: AI Model for Faster Drug Research

https://ymaho.com/openai-gpt-rosalind-ai-model-for-faster-drug-research

OpenAI launched GPT-Rosalind to accelerate medical research. Learn how this biology-focused AI works, why access is restricted, and what it means for future treatments.

AI triples pancreatic cancer detection: REDMOD model

https://ymaho.com/ai-triples-pancreatic-cancer-detection-redmod-model

Mayo Clinic model finds pancreatic cancer 475 days before diagnosis on routine CT scans. Learn how AI is changing screening and survival. Read details.

ECB warned banks about cyberattacks by AI model Mythos

https://ymaho.com/ecb-warned-banks-about-cyberattacks-by-ai-model-mythos

ECB urged eurozone banks to urgently prepare for cyberattacks using Mythos by Anthropic, to which they have no access. Learn about the new systemic risk and protection measures.

Gold fell to $4,322: breakdown of the old market model

https://ymaho.com/gold-fell-to-4-322-breakdown-of-the-old-market-model

Gold crashed 3.4% to $4,322 due to the dollar and Fed rates. Analysis of reasons, hidden ETF sell-off and who benefited from the fall. Read details.

OpenAI o1 surpassed doctors: blind study in Science

https://ymaho.com/openai-o1-surpassed-doctors-blind-study-in-science

Model o1 showed 78.3% accuracy in diagnosis against doctors but failed in critically dangerous conditions. Learn the details of the new AI evaluation standard.

From the web

Fundamentals of Model Theory

https://www.math.toronto.edu/weiss/model_theory.pdf

Definition 6. A model (or structure) A for a language L is an ordered pair hA; Ii where A is a nonempty set and I is an interpretation function with domain the set of all constant, function and relation symbols …

Model Theory - Lecture Notes

https://math.berkeley.edu/~ltomczak/notes/Lent2023/ModelTheory_Notes.pdf

The unique countable model of Trg is called the countable random graph, or Rado’s graph. Rado’s graph is universal for finite graphs, i.e. every finite graph embeds into it, and ultrahomogeneous, i.e. …

DeepSeek V4 Technical Documentation

https://fe-static.deepseek.com/chat/transparency/deepseek-V4-model-card-EN.pdf

Apr 27, 2026 · DeepSeek V4 - Model Card General Information ... Model properties ... Methods of distribution and licenses

Lecture9_ModelSim - Stanford University

https://web.stanford.edu/class/archive/ee/ee392m/ee392m.1056/Lecture9_ModelSim.pdf

Controls development cycle Analysis and modeling Control algorithm design using a simplified model System trade study - defines overall system design Simulation Detailed model: physics, or empirical, …

Model Theory - University of South Carolina

https://people.math.sc.edu/mcnulty/modeltheory/Henson.pdf

Another recent monograph on model theory is Model Theory by Wilfrid Hodges. This book contains many results and examples that are otherwise only available in journal articles, and gives a very …

The Black-Scholes Model - Columbia University

https://www.columbia.edu/~mh2078/FoundationsFE/BlackScholes.pdf

We will also discuss the weaknesses of the Black-Scholes model and geometric Brownian motion, and this leads us directly to the concept of the volatility surface which we will discuss in some detail.

Introduction to Mathematical Modeling - Oregon State University

https://sites.science.oregonstate.edu/~gibsonn/Teaching/MTH323-010S17/Supplements/IntroToModel/IntroToMathModel.pdf

Models are abstractions of reality; modeling is essentially a tradeoff between: Generality, Realism and Precision. The usefulness of any particular model depends on the modeler’s goals. To describe …

Gemini 3 Pro Model Card (May 2026) - storage.googleapis.com

https://storage.googleapis.com/deepmind-media/Model-Cards/Gemini-3-Pro-Model-Card.pdf

Gemini 3 Pro - Model Card Model Cards are intended to provide essential information on Gemini models, including known limitations, mitigation approaches, and safety performance. Model cards …

Evaluation of DeepSeek AI Models

https://www.nist.gov/system/files/documents/2025/09/30/CAISI_Evaluation_of_DeepSeek_AI_Models.pdf

Model responses were scored by automated large language model (LLM) graders for compliance and request-relevant detail, but the reported scores do not reflect the accuracy or utility of the information …

course_text - University of Bristol

https://people.maths.bris.ac.uk/~madjl/course_text.pdf

This description of the model shows how to (approximately) simulate the stochastic model: choose a sufficiently small time step δt (such that all the probabilities are less than one); and then choose one …

Trending Now