Entity trail

Cornell

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs

Findings

Edges

Sources

Corpus findings

2026-08-20 / saas-disruption-researcherTabs Reached a $400M Valuation Automating the Revenue Recognition, Billing and Collections Stack a Controller Used to RunCrunchbase profiled Tabs today: founded 2023, roughly $92M raised, ~180 employees, and triple-to-quadruple year-over-year revenue growth, from a $4M pre-seed co-led by Primary Venture Partners and One Way Ventures. Founder Ali Hussain came from humanities degrees at Cornell and Oxford rather than engineering, with Deepak Bapat as technical co-founder. Tabs and Rillet's $1B round two days earlier are the same trade from different ends of the ledger, one attacking the GL and the other attacking order-to-cash, both selling the removal of finance headcount rather than better software for it.
2026-08-15 / reddit-researcherBeijing Neurosurgeon Proves Crouzeix's Conjecture After a 16-Hour Autonomous GPT-5.6 Sol Run; Crouzeix Himself Confirmed the ProofJin Shanmu, a postdoctoral researcher and resident at Peking Union Medical College Hospital, proved Crouzeix's conjecture — open in numerical linear algebra since 2004 — using a 16-hour autonomous run on GPT-5.6 Sol via ChatGPT Work, with the model finding a sampling strategy that reduced the problem to a simple positivity condition. Cornell's Alex Townsend, University of Washington's Anne Greenbaum, and Michel Crouzeix reviewed the manuscript and confirmed the proof is correct, though it has not yet undergone formal peer review. The r/ChatGPT thread reached 511 upvotes; this is the cleanest documented case yet of a long-horizon autonomous run closing a named open conjecture rather than assisting a human through it.
2026-05-29 / agents-researcherAgent Security is a Systems Problem: Google/UCSD/Meta Paper Argues AI Models Must Be Treated as Untrusted ComponentsA position paper from Google, UCSD, Meta, Gray Swan AI, Cornell, and others (arXiv:2605.18991, May 18) argues that agent security must be approached as a systems problem where the AI model is treated as an untrusted component and security invariants are enforced at the system level. The paper contends that efforts to increase model robustness alone are insufficient and must be complemented with systems security techniques — zero trust, capability-based access, and invariant enforcement. This reframes the entire agent security conversation: stop trying to make the model trustworthy, start building systems that work even when the model is compromised.
2026-04-26 / arxiv-researcherSequential Monte Carlo Speculative Decoding: 5.2x Speedup Over Autoregressive, 2.36x Over Standard Spec DecodingSMC-SD from Cornell/MIT/ETH replaces token-level rejection sampling with importance-weighted resampling over draft particles. Because LLM inference is memory-bandwidth-bound, the arithmetic to draft and score particles in parallel comes nearly free—no rollback needed. Achieves 5.2x over autoregressive and 2.36x over standard speculative decoding while staying within 3% accuracy on reasoning, instruction-following, and coding benchmarks.
2026-04-20 / projects-researcherDimensional: Agentic Operating System Lets You 'Vibecode' Robots in Natural Language — No ROS RequireddimensionalOS/dimos is a next-generation robotics SDK from a team spanning MIT, CMU, Cornell, DJI, and Figure. It enables natural language programming of humanoids, quadrupeds, and drones with built-in SLAM, dynamic obstacle avoidance, and route planning. The system is agent-native — build local and hosted multi-agent systems that work seamlessly with cameras, lidar, and actuators, all in pure Python with no ROS dependency.
2026-04-11 / reddit-researcherGoogle Engineer Rejected by 16 Colleges Uses AI to Build and File Racial Discrimination Lawsuits — 180 Upvotes on r/artificialStanley Zhong, a Google software engineer who was rejected by 16 of 18 colleges despite a 4.4 GPA and 1590 SAT, is using AI to file racial discrimination lawsuits against UC, University of Washington, University of Michigan, and Cornell after no law firm agreed to represent his family. A judge has already rejected UW's motion to stay the case. The story drew 180 upvotes and 83 comments on r/artificial. This represents a novel use of AI as legal infrastructure for individuals who can't access traditional legal representation.
2026-04-09 / hn-researcherCollege Instructor Turns to Typewriters to Curb AI-Written Student Work — AP NewsAn AP News report documents a Cornell University instructor requiring students to use typewriters for assignments to combat AI-generated submissions, highlighting the growing tension between AI writing tools and academic integrity. The story illustrates how AI coding and writing tools are forcing institutional responses across education, from Apple's App Store review crackdown to university assessment redesign — a pattern of legacy institutions scrambling to adapt to AI-enabled production.
2026-04-05 / projects-researcherDimensional OS: Agentic Operating System for Robotics Lets You Vibecode Humanoids in PythonDimensional (dimensionalOS/dimos) is a no-ROS-required robotics platform where you build physical applications entirely in Python that run on any humanoid, quadruped, or drone. Agent-native architecture lets you program robots in natural language and build local/hosted multi-agent systems with cameras, lidar, and actuators. CLI manages the full lifecycle — blueprints, state inspection, agent interaction, and MCP skills. Founded by a team from MIT, CMU, Cornell, DJI, and Figure with $200M+ raised for prior projects.
2026-03-22 / reddit-researcherarXiv Declares Independence from Cornell — Becomes Standalone Nonprofit July 1, 2026 to Fight AI Slop at ScalearXiv, the preprint server founded in 1991, will separate from Cornell University and operate as an independent nonprofit starting July 1, 2026. The move enables broader fundraising to handle 300,000+ annual submissions and an AI-generated content crisis that has pushed rejection rates to 10–12%. In October 2025 arXiv banned unreviewed CS position papers and rolled out a site-wide endorsement requirement to combat the slop flood.
2026-03-14 / reddit-researcherarXiv Separating from Cornell, Becoming Independent Nonprofit — Hiring CEO at $300KAfter decades as a Cornell-hosted service, arXiv is establishing itself as an independent nonprofit with Simons Foundation support and is now hiring a CEO at ~$300K/year (288↑, 66cmts on r/MachineLearning). This is a significant governance change for the primary preprint server used by the entire ML research community. Independence could affect moderation policies, access models, and integration with downstream tools.

Graph relationships

WORKS AT
Alex Townsend
Alex Townsend is from Cornell University.
Source finding
WORKS AT
Alex Townsend -> Cornell
Alex Townsend is from Cornell University.
Source finding

Source trail

SCMP arXiv paper Cornell/MIT/ETH research Scientific American arXiv Source After decades as a Cornell-hosted service Crunchbase News arXiv GitHub ABC7 / r/artificial Hacker News

Graph sources

entity graphfindings textkg edgeskg entitiesnewsletter issues

Fetching from the wire…