{"schema":"postcutoff/topic@1","as_of":"2026-10-25T23:49:00+01:00","url":"https://postcutoff.com/topics/science/","md":"https://postcutoff.com/topics/science/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"topic":"science","label":"Science & math","count":319,"entries":["2018-12-02-alphafold-1-casp13","2020-02-20-halicin-ai-antibiotic","2020-07-08-mobile-robotic-chemist","2020-11-30-alphafold-2","2021-04-29-wagner-rl-counterexamples","2021-11-22-exominer-301-exoplanets","2021-12-01-deepmind-knot-theory-intuition","2022-02-16-deepmind-tokamak-plasma-control","2022-10-05-alphatensor-matrix-multiplication","2023-05-25-abaucin-ai-antibiotic","2023-06-07-alphadev-sorting","2023-07-11-rfdiffusion-protein-design","2023-09-19-alphamissense","2023-11-14-graphcast-weather","2023-11-29-gnome-millions-of-materials","2023-11-29-a-lab-autonomous-synthesis-dispute","2023-12-14-funsearch-cap-sets","2023-12-20-ai-new-antibiotic-structural-class","2023-12-20-coscientist-autonomous-chemistry","2024-01-09-microsoft-pnnl-battery-electrolyte","2024-01-17-alphageometry","2024-02-21-ai-avoids-tokamak-tearing-instabilities","2024-05-08-alphafold-3","2024-06-25-esm3-esmgfp","2024-07-22-neuralgcm","2024-07-25-alphaproof-imo-silver","2024-09-05-alphaproteo","2024-11-20-alphaqubit-quantum-error-correction","2024-12-04-gencast-ensemble-weather","2024-12-20-frontiermath-o3-25-percent","2025-01-15-ai-designed-antivenom","2025-01-16-mattergen","2025-02-19-google-ai-co-scientist","2025-02-19-evo-2-genome-model","2025-02-25-ecmwf-aifs-operational-ai-weather","2025-03-12-sakana-ai-scientist-v2-peer-review","2025-05-14-alphaevolve","2025-05-20-futurehouse-robin-ripasudil","2025-05-21-microsoft-aurora-earth-model","2025-05-27-intology-zochi-acl-2025","2025-06-25-alphagenome","2025-07-21-imo-gold-ai","2025-07-29-virtual-lab-ai-agents-nanobodies","2025-07-30-ai-discovers-dusty-plasma-physics","2025-08-14-mit-generative-ai-antibiotics","2025-08-20-gpt-5-pro-convex-optimization-proof","2025-09-04-deepmind-ligo-deep-loop-shaping","2025-09-10-math-inc-gauss-strong-pnt","2025-09-12-ai-generated-phage-genomes","2025-09-17-deepmind-unstable-singularities-fluids","2025-09-22-alphaevolve-hardness-of-approximation","2025-09-27-aaronson-gpt-5-qma-proof","2025-10-15-c2s-scale-gemma-cancer-hypothesis","2025-10-16-deepmind-cfs-torax-fusion","2025-10-17-gpt-5-erdos-problems-controversy","2025-10-22-agents4science-conference","2025-10-24-genentech-gneprop-antibacterial-screening","2025-11-05-ai-designed-antibodies-rfdiffusion","2025-11-05-alphaevolve-tao-67-problems","2025-11-05-kosmos-ai-scientist","2025-11-20-openai-gpt-5-science-acceleration","2025-12-01-ai-finds-1400-anomalies-hubble-archive","2025-12-01-hsu-gpt-5-physics-paper-dispute","2025-12-06-axiomprover-putnam-2025","2025-12-08-ai-erdos-problems-wave-late-2025","2026-01-06-erdos-728-gpt-5-2-aristotle","2026-02-05-gpt-5-ginkgo-autonomous-lab","2026-02-10-isomorphic-isodde","2026-02-11-deepmind-aletheia-deep-think-science","2026-02-13-gpt-5-2-single-minus-gluon-amplitudes","2026-02-14-first-proof-challenge","2026-02-28-knuth-claudes-cycles","2026-03-01-gauss-sphere-packing-formalization","2026-03-10-alphaevolve-ramsey-lower-bounds","2026-03-10-google-ai-mammography-nature-cancer-nhs","2026-03-25-raven-tess-118-new-planets","2026-03-30-erdos-650-exact-value-chatgpt-aristotle","2026-05-01-borsuk-conjecture-dimension-63","2026-05-03-erdos-1196-primitive-sets","2026-05-09-deepmind-ai-co-mathematician","2026-05-12-gaussian-completely-monotone-disproved","2026-05-20-ai-disproves-erdos-unit-distance-conjecture","2026-05-27-sum-product-conjecture-false-over-reals","2026-06-05-ai-designed-coronavirus-vaccine-trial","2026-06-29-ml-screened-kagome-superconductors","2026-07-01-grothendieck-group-scheme-counterexample","2026-07-14-gpt-5-6-zeroth-order-convex-lower-bound","2026-07-17-cycle-double-cover-conjecture-proved","2026-07-20-jacobian-conjecture-counterexample","2026-07-22-dinitz-garg-goemans-conjecture-disproved-gpt-5-6-pro","2026-07-22-shouqiao-wang-six-erdos-problems-gpt-5-6-sol-codex","2026-07-23-imo-2026-ai-perfect-scores","2026-07-24-hessian-conjecture-counterexample","2026-07-24-rota-flats-unimodality-disproved","2026-07-24-tao-icm-mathematics-in-the-age-of-ai","2026-07-25-sharp-thin-shell-inequality-gpt-5-6-pro","2026-07-27-crouzeix-conjecture-proved","2026-07-29-maxwell-point-charge-conjecture-false","2026-08-01-openai-astra-ten-advances","2026-08-01-openai-future-of-mathematics-summit","2026-08-03-schiffer-pompeiu-conjectures-disproved","2026-08-04-period-index-conjecture-false","2026-08-05-sendov-conjecture-proved","2026-08-05-hrt-conjecture-disproved","2026-08-06-weathernext-open-source","2026-08-10-claude-riemann-zeta-zeros-two-thirds","2026-08-12-claude-hadamard-matrices-below-2000","2026-08-13-banach-isometric-conjecture-solved","2026-08-17-alphaevolve-matrix-multiplication-exponent","2026-08-18-claude-protein-binders-wet-lab","2026-08-18-palomar-lean-registry","2026-08-19-yau-tian-donaldson-cscK-disproof-claim","2026-08-23-hopf-problem-s6-complex-structure","2026-08-23-elliptic-curve-rank-record-31","2026-08-26-erdos-rankin-large-prime-gaps-improved","2026-08-27-antigravity-teamwork-open-problems","2026-08-28-matrix-spencer-conjecture-proved","2026-08-30-bounded-prime-gaps-186","2026-09-02-nvidia-nemotron-ioi-2026","2026-09-02-krenn-nature-designing-physics-experiments-ai","2026-09-03-dying-percolation-theta-pc-zero","2026-09-03-erdos-sos-conjecture-proved-gpt-6-astra","2026-09-03-frontiermath-erdos-astra-disproves-erdos-problem-1","2026-09-03-smale-mean-value-conjecture-disproved-gpt-6-astra","2026-09-03-weathernext-3","2026-09-03-male-fruit-fly-connectome","2026-09-03-pppl-pacman-fusion-ai-control","2026-09-04-claude-formalizes-fermats-last-theorem","2026-09-04-reed-solomon-list-decoding-capacity-ai","2026-09-05-i3322-bell-inequality-infinite-dimensions","2026-09-06-collatz-positive-density-log-time-mazur-codex","2026-09-06-odin-ai-agent-positive-curvature-s3xs3-hopf-sign-conjecture","2026-09-07-koethe-conjecture-disproved","2026-09-07-anandkumar-euler-singularity-r3","2026-09-07-erdos-1122-monotone-additive-gpt-6-astra","2026-09-08-openai-navier-stokes-blowup","2026-09-08-alphagenome-atlas","2026-09-09-pierce-birkhoff-conjecture-disproved","2026-09-09-google-nasa-jpl-mapl-emit-methane","2026-09-10-insilico-rentosertib-phase-3","2026-09-10-astra-leanopenproblems-september-results","2026-09-10-igp24-inverse-galois-degree-24-humans-win","2026-09-10-pi-irrationality-measure-bai-gpt","2026-09-11-fields-medalists-letter-ai-mathematics","2026-09-11-medvedev-logic-undecidable","2026-09-14-k-server-conjecture-proved","2026-09-14-sylvester-conjecture-proved-burungale-tian","2026-09-14-friedgut-coalition-conjecture-resolved","2026-09-14-takeda-zasocitinib-fda-priority-review","2026-09-15-erdos-108-high-girth-problem-disproved-conjectures-io","2026-09-15-openai-foundation-public-data-for-health","2026-09-15-periodic-labs-neon","2026-09-16-chvatal-conjecture-proved","2026-09-16-liouville-goldbach-lean-proof","2026-09-17-zeta-5-irrational-fauzan-lean-verified","2026-09-17-claude-biomolecular-modeling-speedups","2026-09-17-stanford-virtual-biotech-37000-agents","2026-09-19-millennium-problems-for-biology","2026-09-21-grad-conjecture-counterexamples","2026-09-21-courtade-kumar-conjecture-proved","2026-09-21-openai-100-open-problems-claim","2026-09-22-mumford-shah-conjecture-astra-claim","2026-09-22-odlyzko-poonen-conjecture-proved","2026-09-23-claude-discovers-novel-enzyme-system","2026-09-24-viral-protein-complex-structures-alphafold-db","2026-09-25-claude-nine-loop-amplitude-n4-sym","2026-09-25-conjectures-io-erdos-green-bounty-solves","2026-09-25-lila-ai-lab-palladium-oer-catalysts","2026-09-25-zeta2-irrationality-measure-claude-lean","2026-09-26-mubayi-zarankiewicz-astra","2026-09-27-erdos-993-forest-independence-polynomials-unimodal","2026-09-27-poincare-conjecture-lean-formalization","2026-09-28-four-body-convex-central-configurations-unique-tomar","2026-09-28-schiffer-pompeiu-convex-higher-dimensions","2026-09-28-mathathon-joint-statement","2026-09-29-list-total-colouring-conjecture-false-astra","2026-09-29-lincodeevolve-record-binary-codes","2026-09-29-lovasz-conjecture-nearly-linear-bound-gpt-5-6-sol","2026-09-29-microsoft-quine-biology-world-model","2026-09-30-ai-assisted-conjecture-wave-summer-2026","2026-09-30-mt0-svg-ai-generated-tammes-15-robbins-frog-model-lean","2026-09-30-barvinok-log-concavity-totally-unimodular-astra","2026-09-30-google-era-flusight-flu-forecasting","2026-10-01-lehmer-permutation-conjecture-opus-5-5","2026-10-01-bootloops-claude-shaped-science","2026-10-02-kls-conjecture-proved-ai-assisted","2026-10-02-epsilon-dvoretzky-conjecture-klartag-moshe","2026-10-02-meta-muse-spark-six-math-papers","2026-10-02-tomon-triangle-free-box-graphs-astra","2026-10-04-linear-hadwiger-conjecture-proved-gpt-6-astra","2026-10-05-claude-refutes-3sum-apsp-hypotheses","2026-10-05-deepmind-alphaprotein-novo-enzyme-design","2026-10-05-rhombicosidodecahedron-not-rupert-claude","2026-10-05-decreasing-diagrams-complete-for-confluence-rta-problem-56","2026-10-06-artin-davenport-cubic-forms-ten-variables","2026-10-06-free-group-factors-isomorphism-openai","2026-10-06-hodge-conjecture-cm-abelian-varieties-openai","2026-10-06-openai-math-release-722-manuscripts","2026-10-06-quasi-riemann-hypothesis-openai","2026-10-06-unique-games-conjecture-openai","2026-10-06-finite-index-over-treeable-jkl-problem","2026-10-06-gch-above-strongly-compact-woodin-question","2026-10-06-irrationality-exponent-pi-openai","2026-10-06-openai-k-median-optimal-approximation-1-plus-2-over-e","2026-10-06-openai-release-3d-restriction-bochner-riesz-claims","2026-10-06-doubleai-high-girth-regular-graphs-8-5","2026-10-06-eleven-square-packing-optimality-lean","2026-10-06-explicit-tensors-border-rank-3n-gpt-6-astra","2026-10-06-multiplier-associativity-hard-for-resolution-gpt-5-6-sol","2026-10-06-polynomial-littlewood-offord-gpt-6-pro","2026-10-06-random-3-sat-threshold-upper-bound-4-268-llm","2026-10-07-colkitt-codex-integer-multiplication-exponent","2026-10-07-exact-overlaps-conjecture-gpt-6-astra","2026-10-07-lebrun-salamon-conjecture-proof","2026-10-07-multiple-unicast-conjecture-false-gpt-6","2026-10-07-toms-winter-conjecture-completed-chatgpt-astra-lemma","2026-10-07-bolzano-automated-open-problem-solving-charles-university","2026-10-07-cyclicity-conjecture-positive-operators-dobrick","2026-10-07-virtual-biology-initiative-1-8b-doe-nih-deepmind-meta","2026-10-07-ai-for-math-fund-2026-grants","2026-10-08-alphaproof-nexus-science-paper","2026-10-08-dualization-eth-lower-bound-gpt-6-astra","2026-10-08-hyperkahler-syz-conjecture-engel-mauri","2026-10-08-erdos-522-littlewood-polynomial-zeros-lean-kawada","2026-10-08-hilbert-number-lower-bound-gpt-5-6-sol-lean","2026-10-08-holomorphic-cancellation-problem-counterexample","2026-10-08-karagila-openai-partition-principle","2026-10-08-lyapunov-spectrum-random-neural-networks-gpt-6-astra","2026-10-08-ppt-entanglement-distillation-rains-bound-chatgpt-astra","2026-10-08-rank-3x3-matrix-multiplication-f2-is-23-lean-tomar","2026-10-08-antiquity-ai-archive-search-meteorite-rhinos","2026-10-08-claude-science-complete-uv-sky-map","2026-10-09-geometrization-conjecture-lean-formalization","2026-10-09-kinetic-krylov-safonov-pucci-conjecture-gpt-6-astra","2026-10-09-smale-sixth-problem-five-bodies-lean-tomar","2026-10-09-tao-math-2-0-caltech-lecture","2026-10-09-arxiv-ai-disclosed-results-early-october-2026","2026-10-09-deepmind-cryptids-smaller-turing-machines-goldbach-riemann-zf","2026-10-09-erdos-32-additive-complements-primes-radomskii","2026-10-09-nirenberg-conjecture-closed-asymptotic-curves-counterexample","2026-10-09-random-permutations-universal-alon-gpt-6-pro","2026-10-09-subset-sum-near-linear-time-gpt-astra-ultra","2026-10-09-ai-weather-models-gray-swan-dubai-2024","2026-10-09-ml-assisted-directed-evolution-plant-rubisco","2026-10-10-vaught-conjecture-infinitary-counterexample-lean","2026-10-10-erdos-problem-1117-maximum-modulus-gpt-6-codex","2026-10-11-landau-siegel-zeros-banks-explicit-account","2026-10-11-skryabin-conjecture-noetherian-hopf-algebra-antipode","2026-10-12-bloch-constant-conjecture-disproved","2026-10-12-cureton-thorner-dedekind-zeta-zero-free-axiomprover","2026-10-12-erdos-matching-conjecture-large-matchings-ai","2026-10-12-chow-polynomials-matroids-not-log-concave","2026-10-12-drouot-claude-opus-proof-bulk-conductances","2026-10-13-rational-exponents-conjecture-proof-paper-conlon","2026-10-13-thompson-group-f-nonamenable-kim-lodha-exposition","2026-10-13-ulam-problem-lie-groups-countably-representable-gpt-6-astra","2026-10-13-ai-assisted-results-october-2026","2026-10-13-k-median-better-than-2-approximation-epfl","2026-10-14-external-memory-integer-sorting-beats-comparison-bound-network-coding","2026-10-14-hardy-littlewood-chowla-mobius-shifted-primes-lu-wang-wu","2026-10-14-penrose-conjecture-bray-khuri-claude-openai-provenance","2026-10-14-ai-assisted-results-mid-october-2026","2026-10-14-baker-lab-de-novo-designed-proteases-nature","2026-10-14-microsoft-probabilistic-bias-correction-subseasonal-forecasts","2026-10-15-delsarte-lp-bound-exact-rate-salmon-opus","2026-10-15-hopf-conjecture-t3-symmetry-chatgpt-astra","2026-10-15-imaginary-quadratic-fields-class-number-2000-claude-lean","2026-10-15-cern-mistral-large-physics-model","2026-10-15-ghys-conjecture-codimension-one-intern-s2-lean","2026-10-15-llm-discovered-quantum-circuits-harvard-anthropic-mythos","2026-10-15-deepmind-antigravity-antimicrobial-peptide-walkthrough","2026-10-16-brennan-conjecture-openai-proof-binder-ivrii-prause-smirnov","2026-10-16-gauss-circle-problem-209-670-bound","2026-10-16-lonely-runner-constant-gap-hu-jing-chatgpt","2026-10-16-max-hamiltonian-cycles-tournaments-gpt-5-6-wormald","2026-10-16-openai-2d-area-law-lean-formalized-axiom","2026-10-16-smith-toda-v4-angeltveit-improves-openai","2026-10-16-yang-mills-claude-balaban-program-alpoge-sussman","2026-10-16-ai-assisted-results-october-15-listing","2026-10-16-das-sarma-exciton-superfluidity-claude-opus-codex-referee","2026-10-16-lean-leaders-how-to-formalize-all-of-mathematics","2026-10-16-lee-loh-sudakov-directed-cuts-altifina-lean","2026-10-16-sub-riemannian-sard-equiregular-counterexample-claude","2026-10-17-erdos-hajnal-all-paths-nguyen-astra-deepmind","2026-10-17-non-sofic-hyperbolic-group-sandhu-thom","2026-10-17-ai-assisted-results-october-16-listing","2026-10-18-ai-assisted-results-october-17-listing","2026-10-17-cma-fengqing-ai-ensemble-forecast-operational","2026-10-18-bake-ai-epi-autonomous-research-agent-120-records","2026-10-18-maggi-golden-or-dark-age-mathematics-tao-blog","2026-10-19-erdos-szemeredi-sunflower-conjecture-gpt-6-astra-pro","2026-10-19-integer-programming-linear-exponent-gpt-astra-ultra","2026-10-19-quasitrace-monotone-completeness-counterexamples-openai","2026-10-19-ai-assisted-results-october-19-listing","2026-10-19-ai-assisted-results-zenodo-october-17-19","2026-10-19-arveson-hyperrigidity-commutative-counterexamples-gpt-6-astra","2026-10-19-fahr-face-cancer-survival-face-photos","2026-10-19-lemniscate-irrationality-exponent-chudnovsky-chatgpt","2026-10-19-neumann-zagier-conjecture-tree-lattices-ai-proof","2026-10-20-double-cap-conjecture-witsenhausen-lean-ai","2026-10-20-mds-conjecture-even-characteristic-chatgpt-claude-lean","2026-10-20-ai-assisted-results-october-20-listing","2026-10-20-borodin-kostochka-threshold-4583-gpt-6-astra","2026-10-20-claude-scorpion-toxin-binders","2026-10-20-gale-conjecture-r3-counterexample-gpt-6-astra","2026-10-21-nagata-conjecture-openai-proof-tevelev-exposition","2026-10-21-barnette-conjecture-openai-proof-zhentao-li-exposition","2026-10-21-hochster-small-cohen-macaulay-counterexample-openai-anghel-survey","2026-10-21-ai-assisted-results-october-21-listing","2026-10-21-buckmaster-mathematics-subject-for-the-young","2026-10-21-gpt-rosalind-agents-perry-syndrome-lead","2026-10-22-critical-2d-kpz-process-chatgpt","2026-10-22-simon-l2-conjecture-disproved-chatgpt","2026-10-22-ai-assisted-results-october-22-listing","2026-10-22-microsoft-mai-dxo-science-sequential-diagnosis","2026-10-22-nakayama-local-height-without-hodge-conjecture-chatgpt-astra","2026-10-23-ai-assisted-results-october-23-listing","2026-10-24-ai-assisted-results-october-24-listing","2026-10-25-ai-assisted-results-october-25-listing"],"models":[],"videos":["sair-tao-yu-deng-why-we-build-open-math-model","ellie-sleightholm-openai-latest-maths-breakthrough","rest-is-science-mathematicians-canary-ai-coal-mine","alex-hyman-navier-stonks-lost-in-translation-informal-vs-lean","cyklop-hands-for-the-ghost","diamandis-722-math-problems-anthropic-cruelty-policy","numberphile-terence-tao-no-more-heroes-ai","world-science-festival-will-ai-destroy-mathematics","hexavaluation-ai-riemann-result-has-a-ceiling","caleb-writes-code-ai-solving-math-faster-than-verification","nate-b-jones-openai-700-math-papers-engineers-trust","two-minute-papers-openai-new-ai-doing-things-we-barely-understand","fox-hsiao-tsimerman-openai-tao-math-2-0","samuel-alexander-tao-math-2-0-slides-commentary","adem-b10-openai-verified-navier-stokes-proof-not-in-paper","bugx-openai-posted-722-math-papers","pretrained-pod-openai-navier-stokes-proof-might-be-wrong","singularity-research-labs-openai-722-math-papers","ai-search-700-math-breakthroughs-ai-news","animated-math-openai-bombshell-never-happened-in-math","mathify-openai-matrix-multiplication-2-25","ms-now-chilling-effect-openai-math-early-careers","bloomberg-odd-lots-ai-upending-mathematics","global-news-openai-agent-400-math-problems","house-of-el-openai-math-dump-ai-bubble-fatal-flaw","primetime-the-mathematics-are-mad","prof-gio-dont-understand-what-happened-to-mathematics","samuel-alexander-openai-withdraws-three-math-papers-sign-error","thursdai-openai-722-math-papers-mathematicians-split","adem-b10-722-math-papers-one-night-riemann","ai-copium-openai-glimpse-of-the-singularity","cnbc-squawk-box-buckmaster-openai-math-controversy","coldfusion-ai-keeps-pissing-off-mathematicians","easy-riders-openai-377-math-problems","joma-tech-chatgpt-for-dishwashing-parody","perplexity-quasi-riemann-hypothesis-explained","samuel-alexander-tao-responds-openai-proofs","simply-ai-openai-722-math-papers-tao-uneasy","timcast-irl-math-field-shook-openai-hundreds-problems","tvp-world-openai-700-math-papers-ai-takes-over-science","wes-roth-openai-alien-math-freaking-people-out","ai-revolution-openai-just-broke-math","alex-hyman-biggest-proof-dump-openai-722","binary-verse-ai-openai-integer-multiplication","binary-verse-openai-matrix-multiplication-2-25","lozano-robledo-oct-6-math-drop-historic-proportions","mathify-openai-722-math-papers-what-did-it-prove","momath-gala-panel-when-ai-solves-major-open-problems","myren-eario-openai-aperiodic-minecraft-tilings","pretrained-pod-ai-claimed-problems-mathematicians-decades","two-minute-papers-alphagenome-atlas","versors-how-openai-showed-ai-will-transform-math","zeta-explained-openai-zero-free-region-7-8","brendan-dell-most-hyped-ai-breakthrough-is-a-hack","wes-roth-openai-secret-model-broke-math","royal-institution-can-ai-solve-hardest-maths-problems","adem-b10-ai-checked-48-year-math-breakthrough-6-days","wsf-greene-buckmaster-moment-ai-changed-mathematics","startalk-did-ai-solve-one-of-maths-hardest-problems","numberphile-buckmaster-interview-navier-stokes","ellie-sleightholm-ai-took-on-riemann-hypothesis","asian-dad-energy-openai-math-falling-apart","cbs-news-claude-gene-editing-tool-and-openai-hack","anthropic-molecular-biology-lab","wes-roth-claude-just-found-hidden-dna","breaking-points-anthropic-ai-wet-lab","sky-news-mathematicians-overtaken-by-ai","standup-maths-millennium-prize-problem-solved-by-ai","3blue1brown-last-imo-problem-ai-could-not-solve","numberphile-solved-navier-stokes-cracked-by-ai","numberphile2-navier-stokes-solved-by-ai-extra","dwarkesh-noam-brown-agent-swarms-recursive-self-improvement","ipam-terence-tao-integrated-explicit-analytic-number-theory-network","quanta-why-navier-stokes-pushes-math-and-physics-to-the-edge","caleb-writes-code-openai-navier-stokes-explained","fads-openai-million-dollar-math-problem-didnt","fireship-openai-math-breakthrough-getting-ugly","citytutoringmath-did-ai-really-solve-navier-stokes","complexity-visualizing-openai-navier-stokes-solution","primetime-the-navier-stokes-situation-is-insane","up-and-atom-controversy-ai-million-dollar-math-problem","brain-station-advanced-controversy-openai-navier-stokes","kanal-zero-dragan-openai-navier-stokes-skandal","physics-by-oimeow-controversy-openai-navier-stokes","sabine-ai-solved-millennium-problem-everyones-angry","deepmind-alphagenome-atlas","samuel-alexander-allegations-openai-stole-navier-stokes","wes-roth-openai-just-solved-math-navier-stokes","deepmind-weathernext-3","big-think-terence-tao-6-essential-concepts-of-math","fireship-summer-math-fell-to-the-machines","simons-foundation-icm-2026-public-lecture-tao","tao-icm-2026-mathematics-in-the-age-of-ai","two-minute-papers-deepmind-alphaproof-nexus-strange-new-way","openai-the-erdos-breakthrough"]}