Mathematician. Full of contradictions. Opinions are entirely my own. Retweets =/= endorsements. Likes are often bookmarks or acknowledgements. He/him/his.
Vancouver, BC
Joined March 2011
- Tweets61K
- Following4.1K
- Followers4.4K
- Likes32.5K
Mark Mac Lean retweeted
BC's eye-watering deficit spending rolls on after Saturday's election, no matter who wins.
My latest in @BIVnews:
biv.com/news/commentary/rob-…
Mark Mac Lean retweeted
Melody Tung Chan, born around 1984 in the United States, is an American mathematician and Professor of Mathematics at Brown University.
She specializes in combinatorial algebraic geometry, tropical geometry, and graph theory. Chan earned her PhD from UC Berkeley in 2012 under Bernd Sturmfels and has advanced the moduli of tropical curves and metric graphs.
With Galatius and Payne, she proved exponential growth in the cohomology of moduli spaces of curves, overturning conjectures. She has received the Alice T. Schafer Prize, Sloan Fellowship, AWM-Microsoft Research Prize, AMS Fellowship, and Simons Fellowship.
Mark Mac Lean retweeted
I’m excited to announce that I will be working at the Mathematical AI Safety Institute (MAISI) full-time as its founding Scientific Director! This means I will not be joining OpenAI as an employee, though I will still be collaborating with them, and I’m happy to announce that OpenAI will be supporting MAISI. They have offered us $10MM in API credits, and access to their latest models for our research use. Moreover, they will be participating in a multi-lab AI safety workshop we are organizing for next year with other frontier AI labs.
As an independent research institute, we are also in conversations with other labs and AI safety orgs about how MAISI can collaborate with them and contribute quickly to AI safety research across the industry. As we’ve seen over the past few weeks, the need for action on AI safety is extremely urgent. Research is an important part of that, and mathematicians have an important role to play!
Mark Mac Lean retweeted
How can the math community forge the best path forward in the AI age? We're committing $15M to workshops and initiatives — plus free AI computing resources for foundation-supported researchers — through new partnerships with @AnthropicAI and @OpenAI: bit.ly/4zpfIbW
#math #science #AI
Mark Mac Lean retweeted
Thomas Hales on Terry Tao’s blog: “Mathematicians have been weighing in on what they value about mathematics. For me, what matters is the consistency of math and its unparalleled reliability in support of science and civilization.”
terrytao.wordpress.com/2026/…
"That is, OpenAI didn’t understand its own model’s proof. And still, more than a month later, no one fully does."
The Scientific American article is an interesting read.
Q: How often do mathematicians find a proof path they don't yet understand even though they make it work?
Fascinating … “Rumors that OpenAI’s “Navier-Stokes” solution stole the work of two mathematicians may have been overblown … When you go to the details, it is a different approach,” says Gonzalo Cao-Labora, a mathematician at EPFL … All said that it’s increasingly clear that the company’s proof does not follow the Spanish program.”
scientificamerican.com/artic…
Mark Mac Lean retweeted
Fields medallist Hugo Duminil-Copin was deeply shaken by OpenAI’s release of more than 700 AI-generated mathematical manuscripts, including work on 16 questions directly relevant to his research.
“On Tuesday night, I cried, and it woke up my daughter”
“They have annihilated my field of research.”
lemonde.fr/sciences/article/…
Mark Mac Lean retweeted
The overall fiscal cost is not stated in the proposal. I estimate this would cost approximately $2.5 billion, which (for context) would increase the deficit by roughly ~20%.
Mark Mac Lean retweeted
The research community is in uproar after OpenAI released a trove of more than 700 mathematical preprints entirely generated by AI on 6 October
go.nature.com/4rUx91I
Mark Mac Lean retweeted
If the @Conservative_BC plan to change ICBC's auto insurance, they should tell voters before they tell the the group that stands to make millions from the change. My latest in @BIVnews:
biv.com/news/commentary/rob-…
Mark Mac Lean retweeted
Major fiasco BC Conservatives halfway point of campaign. Secret letter tells lawyers, industry insiders plans for auto insurance before telling public. Assuming letter won't be leaked. Saying "everything is on table." Doerkson has some explaining to do.
Mark Mac Lean retweeted
As you read this meticulously researched article, keep in mind: Danielle Smith and the UCP made it all easier, not harder, for these guys to control our political agenda.
Don't for a moment think it stops at one referendum question, either.
Say no to the 9 and remain.
Mark Mac Lean retweeted
"CBC News and Radio-Canada were able to link the Rise of Alberta website and Keith Wilson via the emails used to set up their respective websites...Rise of Alberta website also listed the same mailing address as Wilson’s law firm in St. Albert, Alta." cbc.ca/news/canada/calgary/r…
Mark Mac Lean retweeted
Separatists promise Alberta sovereignty while offering Washington oil and water, and importing Republican campaign tech that exposed nearly 3 million voters’ data.
The ties to Trump are tighter than we thought. Bombshell reporting:
theglobeandmail.com/gift/70a…
Mark Mac Lean retweeted
Only 18 of Harvard College’s 50 concentrations have department-wide restrictions on how seniors can use artificial intelligence in their theses, according to a Crimson review of departmental policies.
@SebastianC4784 and @summerellenrose report.
thecrimson.com/article/2026/…
Yup.
Rob Shaw's TikTok account is worth following. It's given me a new appreciation for his humour and in this election, we could use some humour.
Mark Mac Lean retweeted
An Anthropic AI solved a problem considered a “holy grail” of percolation theory—the math of how water passes through a porous solid, like coffee grounds. The landmark proof came just days after a Fields medalist predicted it.
spklr.io/6017EpVkL
Mark Mac Lean retweeted
The advisory group on mathematics and artificial intelligence has just published a set of recommendations concerning the responsible release of mathematical results generated by AI companies using internal models. 1/3
agmai.org/general-sep29/
One need only look to Alberta to see the nonsense that can arise when elected MLAs act as if a political party's membership determines who can ask for the confidence of the legislature to form government.
A convergence of the right under the BC Cons is unlikely to be stable.
If the BC Conservatives win, Doerkson's status as premier could be challenged in court: Sharma dlvr.it/TVfMwv
