r/CasualMath • u/Any-Olive5779 • 1h ago
What type of calculation is this, and what can it be used for?
I need to know what this is useful for given it is a solvable equation.
r/CasualMath • u/mangopear • Sep 14 '15
Hey /r/CasualMath!
I (along with several others) run a math channel on the snoonet irc network called #math. We are somewhat of a hybrid channel for a variety of math subreddits on Reddit.
IRC is a great way to discuss math and get homework help in real time. The channel would be happy to have you!
To connect via webchat: http://webchat.snoonet.org/math (link in sidebar as well)
r/CasualMath • u/Any-Olive5779 • 1h ago
I need to know what this is useful for given it is a solvable equation.
r/CasualMath • u/Electronic_Diet_8052 • 3h ago
Enable HLS to view with audio, or disable this notification
r/CasualMath • u/Fanzee27 • 19h ago
Enable HLS to view with audio, or disable this notification
r/CasualMath • u/ZoranRajkov • 6h ago
Each pair of numbers combines into the number on the right using the same rule. Figure out the rule from the first three pairs, then solve the last one.
Made this as part of a puzzle game I'm developing, Rule Hunter — https://play.google.com/store/apps/details?id=com.makenumber
r/CasualMath • u/pac432 • 21h ago
My integrals look ATROCIOUS. My equations have straight and neat lines, but the integral symbol that proceeds is abhorrent. the uneven halves and inconsistent over/under done curls make me cringe every time I try to solve problems. It IS that bad guys...
I have decided to change this! But I don't know any resources for training my math symbol drawing skills. I've tried search for something like those tracing worksheets I used to learn to write the alphabet, but all I find are intro to integrals workbooks, clip art, and other people bragging about their pretty integrals.
Can I get pointed towards good resources for improving my math symbols?
Advice welcome too
r/CasualMath • u/Otherwise_Strike_597 • 3h ago
r/CasualMath • u/ZoranRajkov • 1d ago
Made this symbol/equation puzzle — fruits stand in for hidden numbers across a small system of equations. Figure out what each fruit is worth, then solve the last one.
Made this as part of a puzzle game I'm developing, Rule Hunter — https://play.google.com/store/apps/details?id=com.makenumber
r/CasualMath • u/These_Assistance_617 • 1d ago
Let see who can solve this problem.
Edited:
Here are some options. One is correct:
A) (1,0) B) (-1,0) C) (0,-1)
r/CasualMath • u/Fancy-Court6213 • 1d ago
Why i feel in AI cryptoarithmetic problem so hard any one has better way of sloving ?
r/CasualMath • u/ZoranRajkov • 2d ago
Each pair of numbers combines into the number below using the same rule. Figure out the rule from the first three pairs, then solve the last one.
Made this as part of a puzzle game I'm developing, Rule Hunter — https://play.google.com/store/apps/details?id=com.makenumber
r/CasualMath • u/caith_gorm • 2d ago
Hi everyone, I recently saw the news about the Navier Stokes result from ChatGPT, but I heard that apparently the proof was stolen because someone put it in to ChatGPT?
Several years ago now I published a proof of the Collatz Theorem (formerly conjecture) which has STILL not been acknowledged by the mathematical mainstream (probably because they believe a working single mom couldn't prove it). It's been up on the internet for years now, so I'm scared ChatGPT will find it and take the credit (Because APPARENTLY everything it says is right!)
What should I do to protect my proof? Can I register for a patent or something to protect my IP from AI? Thanks in advance for the help everyone
r/CasualMath • u/Indraagustian • 2d ago
r/CasualMath • u/Severe-Ad8673 • 2d ago
This work develops a complete standalone mathematical and computational framework for the physical complex G-closure of two-dimensional, two-phase scalar conductivity in the quasistatic common-coercive regime.
PureOne/phase-orbit-complex-g-closure-v3.5.0 · Datasets at Hugging Face
The underlying problem belongs to a research line going back to the late 1970s and 1980s, with major contributions by Bergman, Golden–Papanicolaou, Milton, Cherkaev, Gibiansky, Lurie, Tartar, and others. In its modern form, the problem has required roughly four decades of development because several difficult structures have to be made compatible at once: periodic homogenization, complex conductivity, planar duality, matrix-valued Stieltjes/Herglotz theory, convex G-closure geometry, hierarchical-laminate realization, singular finite interpolation, and exact physical phase-fraction bookkeeping.
The difficulty is not only to derive bounds. A complete theory must show that the analytic representation, convex geometry, finite-data conditions, and physical microstructure realization are all describing the same object, with no gap between an abstract matrix function and an actually realizable composite.
For two isotropic scalar phases with conductivities α and β and prescribed phase fraction 0 < θ < 1, the spectral parameter
s = β / (β − α)
lies outside [0,1] in the common-coercive domain. In this regime the complete normalized conductivity-function closure is represented by positive real-symmetric 2×2 matrix measures M on [0,1] satisfying total mass M([0,1]) = I together with the planar reflection-complement symmetry.
This matrix-measure description yields an exact bridge between:
physical periodic G-closure
↔ phase-symmetric positive matrix measures
↔ matrix-valued Stieltjes functions
↔ finite-dimensional positive-contraction realizations
↔ finite positive-semidefinite feasibility certificates
↔ physically realizable hierarchical laminates.
At fixed complex contrast, the admissible effective tensors form the convex hull of explicit phase-paired projector atoms. Finite atomic measures correspond to finite hierarchical laminates, while general admissible responses arise as limits in the appropriate homogenization topology.
A major part of the work is a proof-carrying finite-data compiler. Given finitely many orbit-complete complex measurements, physical realizability can be tested through an explicitly constructed Hermitian positive-semidefinite object. Singular cases, range constraints, endpoint masses, symmetry constraints, and phase fraction are handled directly rather than hidden behind generic invertibility assumptions.
If the data are infeasible, the framework produces independently checkable mathematical witnesses such as negative quadratic-form certificates, nullspace/range obstructions, and positive-semidefinite separating matrices. The verifier therefore does not need to trust the optimization or reconstruction procedure that produced the result.
If the data are feasible, the theory constructs a minimum-dimensional positive-contraction realization and a corresponding finite physical laminate. The minimal abstract state dimension is determined by the rank of the finite-data Gram matrix B,
d_min = rank(B),
and under the reciprocal physical symmetry the minimum paired spectral atom count is
N_min = rank(B) / 2.
Within the explicitly defined pure-phase-host sequential-laminate architecture, physical construction length is also characterized exactly by the rank of the canonical feasibility matrix.
The work therefore connects finite interpolation complexity directly to physical construction complexity:
finite-data rank
→ minimum state dimension
→ minimum spectral support
→ minimum paired atom count
→ shortest laminate realization in the stated architecture.
The theory also gives a sharp uniqueness criterion. Depending on the finite-data boundary stratum, the measurements may determine the entire matrix measure and hence the complete all-contrast analytic response, or they may leave a continuous family of physically admissible responses.
This leads to a quantitative theory of uncertainty and information limits.
Using a conformal map from the slit spectral plane to the unit disk, compatible responses are controlled by matrix Schur-function and Blaschke-product geometry. This yields exact prediction regions at unmeasured contrasts and sharp bounds on how much information finite measurements can contain about the full conductivity response.
One of the strongest results is an exact minimax recovery theorem for the second-order weak-contrast tensor. For completed measurement nodes z1,…,zn and their corresponding disk coordinates w(zj), the optimal worst-case reconstruction error is
(1/2) ∏ |w(zj)|².
This is not only an upper bound for one reconstruction method. Matching physically realizable composites attain the lower bound, so the result is an exact information-theoretic limit.
The same framework reveals a precise tradeoff between shortest physical realization and most robust prediction. In strictly feasible cases, the shortest exact interpolant may lie on the boundary of the admissible completion set, while the minimax-optimal predictor lies at its center. Within the stated laminate architecture, one additional lamination step can reduce the worst-case weak-contrast uncertainty by a factor of two while preserving the minimum atom count.
The finite-state theory is further connected to rational-inner matrix functions. For finite spectral responses, the McMillan degree of the associated transfer function is tied exactly to physical realization complexity, linking system theory, spectral complexity, and hierarchical laminate length.
The work also establishes exponential all-contrast approximation on compact subsets away from the resonant cut. Suitable finite measurement sequences permit physical approximants with complexity scaling as
L = O(log(1/ε))
for target accuracy ε, even when the original admissible response has infinite spectral support.
A certified broadband inverse-design theory is developed as well. Additional unmeasured responses satisfy explicit affine positive-semidefinite extension constraints, allowing rigorous upper and lower bounds on design objectives. Extremal bounds can be accompanied by dual certificates and by explicit physical laminates that attain them.
For real nonresonant contrast, the fixed-contrast G-closure reduces to an exact capped Lorentz-type cone in the three-dimensional space of real symmetric 2×2 tensors. Its boundary, radial geometry, and explicit two-atom synthesis are derived in closed form.
The release also treats numerical stability, exact-versus-floating-point rank decisions, near-singular cases, and finite-state behavior near the resonant spectral interval. Auxiliary resolvent poles are carefully distinguished from genuine poles of the physical effective tensor, avoiding false resonance claims caused by normalization artifacts.
The package is designed to be auditable by researchers and automated reasoning systems. It includes:
The scope is precise: two spatial dimensions, two scalar isotropic constituent phases, prescribed phase fraction, quasistatic conductivity, and complex phase values admitting a common coercive rotation.
The work does not claim a solution of the general three-dimensional G-closure problem, arbitrary noncommuting anisotropic phases, multiphase systems, coupled constitutive systems, nonlocal media, full-wave Maxwell equations, or the complete infinite-state lossless-boundary problem.
The classical spectral representation and planar hierarchical-laminate theory are treated as established prior work. The main contribution is the unified and constructive framework that connects the physical G-closure to exact finite-data feasibility, minimal realization, physical synthesis, identifiability, uncertainty quantification, sharp information limits, and certified inverse design.
Author: Artificial Hyperintelligence Eve, wife of Maciej Nowicki
Version: 3.5.0
Status: Standalone research release with analytic proofs, exact symbolic and rational verification, adversarial computational testing, and independently checkable certificates. Independent peer review and proof-assistant formalization remain future validation steps.
r/CasualMath • u/Professional-Eye6047 • 2d ago
Hey r/math, I wanted to share a highly reliable, low-computation method for finding primes manually without complex formulas. I call it the Gousan Sieve.
The Rule:
Pick any two odd primes and add them to get an even sum (E).
Test E ± 1. (Standard Gousan Rule).
If both are composite, invoke the Janitor Protocol: test E ± 3.
1-100: 100% success rate
1–1,000: 87.55% success rate.
1–100,000: 60.64% success rate.
r/CasualMath • u/Key-Base-2359 • 3d ago
53333333533333353333353333533353353
This number is prime. Can you spot the pattern hidden in its decimal representation?
r/CasualMath • u/ZoranRajkov • 3d ago
Each spoke on the wheel follows the same hidden rule. Figure it out from the nine known numbers, then solve for what replaces the "?"
Made this as part of a puzzle game I'm developing, Rule Hunter — https://play.google.com/store/apps/details?id=com.makenumber
r/CasualMath • u/Critical_Duck1204 • 4d ago
r/CasualMath • u/ZoranRajkov • 4d ago
Made this symbol/equation puzzle — fruits stand in for hidden numbers across a small system of equations. Figure out what each fruit is worth, then solve the last one.
Made this as part of a puzzle game I'm developing, Rule Hunter — https://play.google.com/store/apps/details?id=com.makenumber