dwrensha

-- This file contains a heavily cleaned up version of the
-- solution [1] that AlphaProof produced for problem 2 on IMO 2024.
-- See the video [2] for more commentary about this proof.
-- See also DeepMind's announcement blog post [3].
--
-- [1] https://storage.googleapis.com/deepmind-media/DeepMind.com/Blog/imo-2024-solutions/P2/index.html
-- [2] https://youtu.be/5IARsdn78xE
-- [3] https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/

import Mathlib.FieldTheory.Finite.Basic

dwrensha

var capnp = require("capnp");

var SandstormHttpBridge =
    require("./sandstorm/sandstorm-http-bridge.capnp").SandstormHttpBridge;
var HackSessionContext =
    require("./sandstorm/hack-session.capnp").HackSessionContext;

var http = require('http');
http.createServer(function (req, res) {
  var sessionId = req.headers["x-sandstorm-session-id"];

dwrensha

Keybase proof

I hereby claim:

• I am dwrensha on github.
• I am dwrensha (https://keybase.io/dwrensha) on keybase.
• I have a public key whose fingerprint is 6B74 86EA 8735 76FD 7284 5C5E 50E4 D738 4B1B 4D65

To claim this, I am signing this object:

dwrensha

/*
  I start this in one terminal and in another I do `curl 127.0.0.1:3000` and immediately ctrl-C.
  The output is:
  
$ meteor
[[[[[ ~/Desktop/raw_connect_handler_test ]]]]]

=> Started proxy.
=> Started MongoDB.     
=> Started your app.   

dwrensha

struct Foo {
 x : Vec<int>, y : Vec<int>
}

fn main () {
    let foo = box Foo { x : vec![1,2,3], y : vec![4,5,6]};
    let box Foo { x, y } = foo;
}